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