Anne is white. Bob is red. Gary is furry. If Anne is furry and Anne is nice then Anne is young. If someone is furry then they are nice. If Gary is smart then Gary is red. All smart, white people are nice. All furry people are smart. If Anne is smart then Anne is nice.
Bob is furry.
@0: Anne is white.[(triple1)] Bob is red.[(triple2)] Gary is furry.[(triple3)] @1: Gary is nice.[(((triple3) -> rule2))] Gary is smart.[(((triple3) -> rule5))] @2: Gary is red.[(((((triple3) -> rule5)) -> rule3))]