Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is white. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is white. If something is white and rough then it is nice. If something is blue and big then it is red. Nice, green things are blue.
Dave is not nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4 triple3) -> rule3) OR ((((triple7 triple6) -> rule1) triple3) -> rule3))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple7 triple6) -> rule1))] Anne is red.[(triple5 OR ((triple2 triple1) -> rule2) OR ((((triple4 triple3) -> rule3) triple1) -> rule2) OR ((((((triple7 triple6) -> rule1) triple3) -> rule3) triple1) -> rule2))] Anne is rough.[(triple6)] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9 OR ((triple11 triple10) -> rule3) OR ((((triple14 triple13) -> rule1) triple10) -> rule3))] Dave is green.[(triple10)] Dave is nice.[(triple11 OR ((triple14 triple13) -> rule1))] Dave is red.[(triple12 OR ((triple9 triple8) -> rule2) OR ((((triple11 triple10) -> rule3) triple8) -> rule2) OR ((((((triple14 triple13) -> rule1) triple10) -> rule3) triple8) -> rule2))] Dave is rough.[(triple13)] Dave is white.[(triple14)]