Bob is rough. Bob is round. Bob is not smart. Gary is blue. Gary is red. Gary is rough. Gary is smart. Harry is blue. Harry is smart. Harry is white. All red people are not round.
Bob is white.
@0: Bob is not smart.[(triple3)] Bob is rough.[(triple1)] Bob is round.[(triple2)] Gary is blue.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] Harry is blue.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Gary is not round.[(((triple5) -> rule1))]