Anne is smart. Bob is green. Gary is not blue. Kind people are young. If someone is young then they are white. Green people are white. White people are blue. If someone is blue and not young then they are furry. If someone is blue then they are furry.
Gary is furry.
@0: Anne is smart.[(triple1)] Bob is green.[(triple2)] Gary is not blue.[(triple3)] @1: Bob is white.[(((triple2) -> rule3))] @2: Bob is blue.[(((((triple2) -> rule3)) -> rule4))] @3: Bob is furry.[(((((((triple2) -> rule3)) -> rule4)) -> rule6))]