Bob is big. Bob is blue. Bob is round. Dave is big. Dave is blue. Dave is not green. Dave is red. Dave is round. Gary is round. Harry is big. Harry is green. Harry is not smart. Big, smart things are round. Blue, green things are red. All big, round things are red. If Dave is round and Dave is green then Dave is not blue. If Bob is red then Bob is smart. Rough things are not blue. Rough things are blue. If something is red and not big then it is smart.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is not green.[(triple6)] Dave is red.[(triple7 OR ((triple4 triple8) -> rule3))] Dave is round.[(triple8)] Gary is round.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is not smart.[(triple12)] @1: Bob is red.[(((triple1 triple3) -> rule3))] @2: Bob is smart.[(((((triple1 triple3) -> rule3)) -> rule5))]