Bob is red. Dave is nice. Dave is red. Dave is round. Dave is young. Gary is nice. Gary is rough. Harry is quiet. Harry is smart. Harry is young. If Harry is young then Harry is rough. All smart, quiet things are nice. Young, red things are nice. All red things are nice. Smart, red things are quiet. If Dave is smart then Dave is not quiet. Nice, quiet things are not round. If Bob is round and Bob is not red then Bob is rough.
Gary is not nice.
@0: Bob is red.[(triple1)] Dave is nice.[(triple2 OR ((triple3) -> rule4) OR ((triple5 triple3) -> rule3))] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Bob is nice.[(((triple1) -> rule4))] Harry is nice.[(((triple9 triple8) -> rule2))] Harry is rough.[(((triple10) -> rule1))] @2: Harry is not round.[(((((triple9 triple8) -> rule2) triple8) -> rule7))]