Bob is red. Bob is rough. Gary is blue. If Gary is blue then Gary is red. If Gary is rough and Gary is furry then Gary is not smart. All blue, smart things are not white. Rough things are smart. If Bob is white and Bob is not blue then Bob is rough. Blue things are rough.
Bob is quiet.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Gary is blue.[(triple3)] @1: Bob is smart.[(((triple2) -> rule4))] Gary is red.[(((triple3) -> rule1))] Gary is rough.[(((triple3) -> rule6))] @2: Gary is smart.[(((((triple3) -> rule6)) -> rule4))] @3: Gary is not white.[(((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3))]