Anne is blue. Bob is big. Gary is furry. Harry is blue. Kind people are red. Big people are kind.
Gary is not furry.
@0: Anne is blue.[(triple1)] Bob is big.[(triple2)] Gary is furry.[(triple3)] Harry is blue.[(triple4)] @1: Bob is kind.[(((triple2) -> rule2))] @2: Bob is red.[(((((triple2) -> rule2)) -> rule1))]