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