Bob is furry. Bob is white. Dave is blue. Dave is furry. Dave is rough. Dave is round. Gary is blue. Gary is furry. Gary is quiet. Gary is rough. Gary is not round. Gary is white. Harry is not furry. Harry is quiet. Harry is rough. Harry is round. If something is rough and not furry then it is white. If something is round and quiet then it is white. White, rough things are blue.
Gary is round.
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Gary is blue.[(triple7 OR ((triple12 triple10) -> rule3))] Gary is furry.[(triple8)] Gary is not round.[(triple11)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Gary is white.[(triple12)] Harry is not furry.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is round.[(triple16)] @1: Harry is white.[(((triple15 triple13) -> rule1) OR ((triple16 triple14) -> rule2))] @2: Harry is blue.[(((((triple15 triple13) -> rule1) triple15) -> rule3) OR ((((triple16 triple14) -> rule2) triple15) -> rule3))]