Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Charlie is big. Charlie is white. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is white. If Dave is green then Dave is quiet. If Anne is blue and Anne is green then Anne is rough. Green, big things are nice. All white things are big. If something is blue then it is white. Big things are green. All quiet, nice things are green. If something is big and nice then it is rough.
Anne is not white.
@0: Anne is big.[(triple1 OR ((((triple2) -> rule5)) -> rule4))] Anne is blue.[(triple2)] Anne is green.[(triple3 OR ((triple1) -> rule6) OR ((triple5 triple4) -> rule7) OR ((((((triple2) -> rule5)) -> rule4)) -> rule6))] Anne is nice.[(triple4 OR ((triple3 triple1) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule3) OR ((triple3 ((((triple2) -> rule5)) -> rule4)) -> rule3) OR ((((triple1) -> rule6) ((((triple2) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6) triple1) -> rule3) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6) ((((triple2) -> rule5)) -> rule4)) -> rule3))] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple1 triple4) -> rule8) OR ((triple2 triple3) -> rule2) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule8) OR ((triple2 ((triple1) -> rule6)) -> rule2) OR ((triple2 ((triple5 triple4) -> rule7)) -> rule2) OR ((triple1 ((((triple1) -> rule6) triple1) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) triple4) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) ((triple3 triple1) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule6) triple1) -> rule3)) -> rule8) OR ((triple1 ((triple3 ((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule2) OR ((triple1 ((((triple1) -> rule6) ((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) ((triple3 ((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule6) ((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((triple1 ((((((((triple2) -> rule5)) -> rule4)) -> rule6) triple1) -> rule3)) -> rule8) OR ((triple1 ((((((((triple2) -> rule5)) -> rule4)) -> rule6) ((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) ((((((((triple2) -> rule5)) -> rule4)) -> rule6) triple1) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4) ((((((((triple2) -> rule5)) -> rule4)) -> rule6) ((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule8))] Charlie is big.[(triple7 OR ((triple8) -> rule4))] Charlie is white.[(triple8)] Dave is big.[(triple9 OR ((triple15) -> rule4) OR ((((triple10) -> rule5)) -> rule4))] Dave is blue.[(triple10)] Dave is green.[(triple11 OR ((triple9) -> rule6) OR ((triple13 triple12) -> rule7) OR ((((triple15) -> rule4)) -> rule6) OR ((((((triple10) -> rule5)) -> rule4)) -> rule6))] Dave is nice.[(triple12 OR ((triple11 triple9) -> rule3) OR ((triple11 ((triple15) -> rule4)) -> rule3) OR ((((triple9) -> rule6) triple9) -> rule3) OR ((((triple9) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((triple11 ((((triple10) -> rule5)) -> rule4)) -> rule3) OR ((((((triple15) -> rule4)) -> rule6) triple9) -> rule3) OR ((((triple9) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3) OR ((((((triple15) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((triple15) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) triple9) -> rule3) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3))] Dave is quiet.[(triple13 OR ((triple11) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((((triple15) -> rule4)) -> rule6)) -> rule1) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6)) -> rule1))] Dave is rough.[(triple14 OR ((triple9 triple12) -> rule8) OR ((triple9 ((triple11 triple9) -> rule3)) -> rule8) OR ((((triple15) -> rule4) triple12) -> rule8) OR ((((triple15) -> rule4) ((triple11 triple9) -> rule3)) -> rule8) OR ((triple9 ((triple11 ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((triple9 ((((triple9) -> rule6) triple9) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) triple12) -> rule8) OR ((triple9 ((((triple9) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((triple11 ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((triple9) -> rule6) triple9) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((triple11 triple9) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((triple9) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((triple11 ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((triple9) -> rule6) triple9) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((triple9) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((triple9 ((triple11 ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((triple9 ((((((triple15) -> rule4)) -> rule6) triple9) -> rule3)) -> rule8) OR ((triple9 ((((triple9) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((triple9 ((((((triple15) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((triple11 ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((((triple15) -> rule4)) -> rule6) triple9) -> rule3)) -> rule8) OR ((triple9 ((((((triple15) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((triple9) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((((triple15) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((triple11 ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((triple15) -> rule4)) -> rule6) triple9) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((((triple15) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((triple9) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((triple15) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((triple15) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((triple9 ((((((((triple10) -> rule5)) -> rule4)) -> rule6) triple9) -> rule3)) -> rule8) OR ((triple9 ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((((((triple10) -> rule5)) -> rule4)) -> rule6) triple9) -> rule3)) -> rule8) OR ((triple9 ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((((triple10) -> rule5)) -> rule4)) -> rule6) triple9) -> rule3)) -> rule8) OR ((((triple15) -> rule4) ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((((triple10) -> rule5)) -> rule4)) -> rule3)) -> rule8))] Dave is white.[(triple15 OR ((triple10) -> rule5))] @1: Anne is white.[(((triple2) -> rule5))] Charlie is green.[(((triple7) -> rule6) OR ((((triple8) -> rule4)) -> rule6))] @2: Charlie is nice.[(((((triple7) -> rule6) triple7) -> rule3) OR ((((triple7) -> rule6) ((triple8) -> rule4)) -> rule3) OR ((((((triple8) -> rule4)) -> rule6) triple7) -> rule3) OR ((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule3))] @3: Charlie is rough.[(((triple7 ((((triple7) -> rule6) triple7) -> rule3)) -> rule8) OR ((triple7 ((((triple7) -> rule6) ((triple8) -> rule4)) -> rule3)) -> rule8) OR ((((triple8) -> rule4) ((((triple7) -> rule6) triple7) -> rule3)) -> rule8) OR ((((triple8) -> rule4) ((((triple7) -> rule6) ((triple8) -> rule4)) -> rule3)) -> rule8) OR ((triple7 ((((((triple8) -> rule4)) -> rule6) triple7) -> rule3)) -> rule8) OR ((triple7 ((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule3)) -> rule8) OR ((((triple8) -> rule4) ((((((triple8) -> rule4)) -> rule6) triple7) -> rule3)) -> rule8) OR ((((triple8) -> rule4) ((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule3)) -> rule8))]