Anne is red. Bob is rough. Gary is rough. All red, rough things are blue. If Bob is blue then Bob is smart. Rough things are white. If something is kind then it is blue. All smart, kind things are blue. If something is white then it is kind.
Gary is not nice.
@0: Anne is red.[(triple1)] Bob is rough.[(triple2)] Gary is rough.[(triple3)] @1: Bob is white.[(((triple2) -> rule3))] Gary is white.[(((triple3) -> rule3))] @2: Bob is kind.[(((((triple2) -> rule3)) -> rule6))] Gary is kind.[(((((triple3) -> rule3)) -> rule6))] @3: Bob is blue.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))] Gary is blue.[(((((((triple3) -> rule3)) -> rule6)) -> rule4))] @4: Bob is smart.[(((((((((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule2))]