TSTP Solution File: NLP005+1 by Mace4---1109a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Mace4---1109a
% Problem : NLP005+1 : TPTP v6.4.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : mace4 -t %d -f %s
% Computer : n012.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32218.75MB
% OS : Linux 3.10.0-327.36.3.el7.x86_64
% CPULimit : 300s
% DateTime : Wed Feb 8 09:59:07 EST 2017
% Result : CounterSatisfiable 150.64s
% Output : FiniteModel 150.64s
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : NLP005+1 : TPTP v6.4.0. Released v2.4.0.
% 0.00/0.11 % Command : mace4 -t %d -f %s
% 0.05/0.70 % Computer : n012.star.cs.uiowa.edu
% 0.05/0.70 % Model : x86_64 x86_64
% 0.05/0.70 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.05/0.70 % Memory : 32218.75MB
% 0.05/0.70 % OS : Linux 3.10.0-327.36.3.el7.x86_64
% 0.05/0.70 % CPULimit : 300
% 0.05/0.70 % DateTime : Tue Feb 7 20:09:03 CST 2017
% 0.05/0.70 % CPUTime :
% 150.64/152.28 % SZS status CounterSatisfiable
% 150.64/152.28 ============================== Mace4 =================================
% 150.64/152.28 Mace4 (32) version 2009-11A, November 2009.
% 150.64/152.28 Process 5735 was started by sandbox2 on n012.star.cs.uiowa.edu,
% 150.64/152.28 Tue Feb 7 20:09:05 2017
% 150.64/152.28 The command was "/export/starexec/sandbox2/solver/bin/mace4 -t 300 -f /tmp/Mace4_input_5702_n012.star.cs.uiowa.edu".
% 150.64/152.28 ============================== end of head ===========================
% 150.64/152.28
% 150.64/152.28 ============================== INPUT =================================
% 150.64/152.28
% 150.64/152.28 % Reading from file /tmp/Mace4_input_5702_n012.star.cs.uiowa.edu
% 150.64/152.28
% 150.64/152.28 set(prolog_style_variables).
% 150.64/152.28 set(print_models_tabular).
% 150.64/152.28 % set(print_models_tabular) -> clear(print_models).
% 150.64/152.28
% 150.64/152.28 formulas(sos).
% 150.64/152.28 -(((exists U exists V exists W exists X exists Y exists Z exists X1 exists X3 exists X4 (seat(U) & furniture(U) & front(U) & hollywood(V) & city(V) & event(W) & chevy(X) & car(X) & white(X) & dirty(X) & old(X) & street(Y) & way(Y) & lonely(Y) & barrel(W,X) & down(W,Y) & in(W,V) & Z != X1 & fellow(Z) & man(Z) & young(Z) & fellow(X1) & man(X1) & young(X1) & Z = X3 & in(X3,U) & X1 = X4 & in(X4,U))) -> (exists X5 exists X6 exists X7 exists X8 exists X9 exists X10 exists X11 exists X12 exists X14 exists X15 (seat(X5) & furniture(X5) & front(X5) & seat(X6) & furniture(X6) & front(X6) & hollywood(X7) & city(X7) & event(X8) & street(X9) & way(X9) & lonely(X9) & chevy(X10) & car(X10) & white(X10) & dirty(X10) & old(X10) & barrel(X8,X10) & down(X8,X9) & in(X8,X7) & X11 != X12 & fellow(X11) & man(X11) & young(X11) & fellow(X12) & man(X12) & young(X12) & X11 = X14 & in(X14,X5) & X12 = X15 & in(X15,X6)))) & ((exists X16 exists X17 exists X18 exists X19 exists X20 exists X21 exists X22 exists X23 exists
% X25 exists X26 (seat(X16) & furniture(X16) & front(X16) & seat(X17) & furniture(X17) & front(X17) & hollywood(X18) & city(X18) & event(X19) & street(X20) & way(X20) & lonely(X20) & chevy(X21) & car(X21) & white(X21) & dirty(X21) & old(X21) & barrel(X19,X21) & down(X19,X20) & in(X19,X18) & X22 != X23 & fellow(X22) & man(X22) & young(X22) & fellow(X23) & man(X23) & young(X23) & X22 = X25 & in(X25,X16) & X23 = X26 & in(X26,X17))) -> (exists X27 exists X28 exists X29 exists X30 exists X31 exists X32 exists X33 exists X35 exists X36 (seat(X27) & furniture(X27) & front(X27) & hollywood(X28) & city(X28) & event(X29) & chevy(X30) & car(X30) & white(X30) & dirty(X30) & old(X30) & street(X31) & way(X31) & lonely(X31) & barrel(X29,X30) & down(X29,X31) & in(X29,X28) & X32 != X33 & fellow(X32) & man(X32) & young(X32) & fellow(X33) & man(X33) & young(X33) & X32 = X35 & in(X35,X27) & X33 = X36 & in(X36,X27))))) # label(co1) # label(negated_conjecture).
% 150.64/152.28 end_of_list.
% 150.64/152.28
% 150.64/152.28 % From the command line: assign(max_seconds, 300).
% 150.64/152.28
% 150.64/152.28 ============================== end of input ==========================
% 150.64/152.28
% 150.64/152.28 ============================== PROCESS NON-CLAUSAL FORMULAS ==========
% 150.64/152.28
% 150.64/152.28 % Formulas that are not ordinary clauses:
% 150.64/152.28 1 -(((exists U exists V exists W exists X exists Y exists Z exists X1 exists X3 exists X4 (seat(U) & furniture(U) & front(U) & hollywood(V) & city(V) & event(W) & chevy(X) & car(X) & white(X) & dirty(X) & old(X) & street(Y) & way(Y) & lonely(Y) & barrel(W,X) & down(W,Y) & in(W,V) & Z != X1 & fellow(Z) & man(Z) & young(Z) & fellow(X1) & man(X1) & young(X1) & Z = X3 & in(X3,U) & X1 = X4 & in(X4,U))) -> (exists X5 exists X6 exists X7 exists X8 exists X9 exists X10 exists X11 exists X12 exists X14 exists X15 (seat(X5) & furniture(X5) & front(X5) & seat(X6) & furniture(X6) & front(X6) & hollywood(X7) & city(X7) & event(X8) & street(X9) & way(X9) & lonely(X9) & chevy(X10) & car(X10) & white(X10) & dirty(X10) & old(X10) & barrel(X8,X10) & down(X8,X9) & in(X8,X7) & X11 != X12 & fellow(X11) & man(X11) & young(X11) & fellow(X12) & man(X12) & young(X12) & X11 = X14 & in(X14,X5) & X12 = X15 & in(X15,X6)))) & ((exists X16 exists X17 exists X18 exists X19 exists X20 exists X21 exists X22 exists X23 exists
% X25 exists X26 (seat(X16) & furniture(X16) & front(X16) & seat(X17) & furniture(X17) & front(X17) & hollywood(X18) & city(X18) & event(X19) & street(X20) & way(X20) & lonely(X20) & chevy(X21) & car(X21) & white(X21) & dirty(X21) & old(X21) & barrel(X19,X21) & down(X19,X20) & in(X19,X18) & X22 != X23 & fellow(X22) & man(X22) & young(X22) & fellow(X23) & man(X23) & young(X23) & X22 = X25 & in(X25,X16) & X23 = X26 & in(X26,X17))) -> (exists X27 exists X28 exists X29 exists X30 exists X31 exists X32 exists X33 exists X35 exists X36 (seat(X27) & furniture(X27) & front(X27) & hollywood(X28) & city(X28) & event(X29) & chevy(X30) & car(X30) & white(X30) & dirty(X30) & old(X30) & street(X31) & way(X31) & lonely(X31) & barrel(X29,X30) & down(X29,X31) & in(X29,X28) & X32 != X33 & fellow(X32) & man(X32) & young(X32) & fellow(X33) & man(X33) & young(X33) & X32 = X35 & in(X35,X27) & X33 = X36 & in(X36,X27))))) # label(co1) # label(negated_conjecture) # label(non_clause). [assumption].
% 150.64/152.28
% 150.64/152.28 ============================== end of process non-clausal formulas ===
% 150.64/152.28
% 150.64/152.28 ============================== CLAUSES FOR SEARCH ====================
% 150.64/152.28
% 150.64/152.28 formulas(mace4_clauses).
% 150.64/152.28 seat(c1) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 seat(c1) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 furniture(c1) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 front(c1) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 hollywood(c2) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 city(c2) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 event(c3) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 chevy(c4) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 car(c4) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 white(c4) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 dirty(c4) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 old(c4) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 street(c5) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 way(c5) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 lonely(c5) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 barrel(c3,c4) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 down(c3,c5) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 in(c3,c2) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 c7 != c6 | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c6) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c6) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c6) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 fellow(c7) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 man(c7) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.28 young(c7) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 young(c7) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c8 = c6 | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c8,c1) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 c9 = c7 | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 in(c9,c1) | -seat(A) | -furniture(A) | -front(A) | -hollywood(B) | -city(B) | -event(C) | -chevy(D) | -car(D) | -white(D) | -dirty(D) | -old(D) | -street(E) | -way(E) | -lonely(E) | -barrel(C,D) | -down(C,E) | -in(C,B) | F = V6 | -fellow(V6) | -man(V6) | -young(V6) | -fellow(F) | -man(F) | -young(F) | V7 != V6 | -in(V7,A) | V8 != F | -in(V8,A) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | seat(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | furniture(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | front(c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | seat(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | furniture(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | front(c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | hollywood(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | city(c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | event(c13) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | street(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | way(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | lonely(c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | chevy(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | car(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | white(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | dirty(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | old(c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | barrel(c13,c15) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | down(c13,c14) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | in(c13,c12) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | c17 != c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | fellow(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | man(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | young(c16) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | fellow(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | man(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | young(c17) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | c18 = c16 # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | in(c18,c10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | c19 = c17 # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | in(c19,c11) # label(co1) # label(negated_conjecture).
% 150.64/152.29 -seat(A) | -furniture(A) | -front(A) | -seat(B) | -furniture(B) | -front(B) | -hollywood(C) | -city(C) | -event(D) | -street(E) | -way(E) | -lonely(E) | -chevy(F) | -car(F) | -white(F) | -dirty(F) | -old(F) | -barrel(D,F) | -down(D,E) | -in(D,C) | V6 = V7 | -fellow(V7) | -man(V7) | -young(V7) | -fellow(V6) | -man(V6) | -young(V6) | V8 != V7 | -in(V8,A) | V9 != V6 | -in(V9,B) | -seat(V10) | -furniture(V10) | -front(V10) | -hollywood(V11) | -city(V11) | -event(V12) | -chevy(V13) | -car(V13) | -white(V13) | -dirty(V13) | -old(V13) | -street(V14) | -way(V14) | -lonely(V14) | -barrel(V12,V13) | -down(V12,V14) | -in(V12,V11) | V15 = V16 | -fellow(V16) | -man(V16) | -young(V16) | -fellow(V15) | -man(V15) | -young(V15) | V17 != V16 | -in(V17,V10) | V18 != V15 | -in(V18,V10) # label(co1) # label(negated_conjecture).
% 150.64/152.29 end_of_list.
% 150.64/152.29
% 150.64/152.29 ============================== end of clauses for search =============
% 150.64/152.29 % SZS output start FiniteModel
% 150.64/152.29
% 150.64/152.29 % There are no natural numbers in the input.
% 150.64/152.29
% 150.64/152.29 c1 : 0
% 150.64/152.29
% 150.64/152.29 c2 : 0
% 150.64/152.29
% 150.64/152.29 c3 : 0
% 150.64/152.29
% 150.64/152.29 c4 : 0
% 150.64/152.29
% 150.64/152.29 c5 : 0
% 150.64/152.29
% 150.64/152.29 c6 : 0
% 150.64/152.29
% 150.64/152.29 c7 : 0
% 150.64/152.29
% 150.64/152.29 c8 : 0
% 150.64/152.29
% 150.64/152.29 c9 : 0
% 150.64/152.29
% 150.64/152.29 c10 : 0
% 150.64/152.29
% 150.64/152.29 c11 : 1
% 150.64/152.29
% 150.64/152.29 c12 : 0
% 150.64/152.29
% 150.64/152.29 c13 : 0
% 150.64/152.29
% 150.64/152.29 c14 : 0
% 150.64/152.29
% 150.64/152.29 c15 : 0
% 150.64/152.29
% 150.64/152.29 c16 : 0
% 150.64/152.29
% 150.64/152.29 c17 : 1
% 150.64/152.29
% 150.64/152.29 c18 : 0
% 150.64/152.29
% 150.64/152.29 c19 : 1
% 150.64/152.29
% 150.64/152.29 car :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 chevy :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 city :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 dirty :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 event :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 fellow :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 1
% 150.64/152.29
% 150.64/152.29 front :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 1
% 150.64/152.29
% 150.64/152.29 furniture :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 1
% 150.64/152.29
% 150.64/152.29 hollywood :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 lonely :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 man :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 1
% 150.64/152.29
% 150.64/152.29 old :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 seat :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 1
% 150.64/152.29
% 150.64/152.29 street :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 way :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 white :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 0
% 150.64/152.29
% 150.64/152.29 young :
% 150.64/152.29 0 1
% 150.64/152.29 -------
% 150.64/152.29 1 1
% 150.64/152.29
% 150.64/152.29 barrel :
% 150.64/152.29 | 0 1
% 150.64/152.29 --+----
% 150.64/152.29 0 | 1 0
% 150.64/152.29 1 | 0 0
% 150.64/152.29
% 150.64/152.29 down :
% 150.64/152.29 | 0 1
% 150.64/152.29 --+----
% 150.64/152.29 0 | 1 0
% 150.64/152.29 1 | 0 0
% 150.64/152.29
% 150.64/152.29 in :
% 150.64/152.29 | 0 1
% 150.64/152.29 --+----
% 150.64/152.29 0 | 1 0
% 150.64/152.29 1 | 0 1
% 150.64/152.29
% 150.64/152.29 % SZS output end FiniteModel
% 150.64/152.29 ------ process 5735 exit (max_models) ------
% 150.64/152.29
% 150.64/152.29 User_CPU=150.39, System_CPU=0.01, Wall_clock=150.
% 150.64/152.29
% 150.64/152.29 Exiting with 1 model.
% 150.64/152.29
% 150.64/152.29 Process 5735 exit (max_models) Tue Feb 7 20:11:35 2017
% 150.64/152.29 The process finished Tue Feb 7 20:11:35 2017
% 150.64/152.29 Mace4 ended
%------------------------------------------------------------------------------