Bob is nice. Gary is red. Gary is smart. All furry people are kind. All red people are kind. All blue people are nice. Furry people are red. All smart, kind people are blue. All kind people are round.
Gary is red.
@0: Bob is nice.[(triple1)] Gary is red.[(triple2)] Gary is smart.[(triple3)] @1: Gary is kind.[(((triple2) -> rule2))] @2: Gary is blue.[(((triple3 ((triple2) -> rule2)) -> rule5))] Gary is round.[(((((triple2) -> rule2)) -> rule6))] @3: Gary is nice.[(((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3))]