Dave is big. Dave is blue. Dave is furry. Dave is round. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is blue. Gary is furry. Gary is round. Gary is smart. Gary is white. Gary is young. If Dave is smart and Dave is big then Dave is round. If something is blue and furry then it is big. Blue things are smart.
Dave is not white.
@0: Dave is big.[(triple1 OR ((triple2 triple3) -> rule2))] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is round.[(triple4 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple2 triple3) -> rule2)) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1) OR ((((triple2) -> rule3) ((triple2 triple3) -> rule2)) -> rule1))] Dave is smart.[(triple5 OR ((triple2) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8 OR ((triple9 triple10) -> rule2))] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12 OR ((triple9) -> rule3))] Gary is white.[(triple13)] Gary is young.[(triple14)]