Anne is big. Gary is young. Harry is red. If something is young then it is furry. All furry, nice things are big. If something is big then it is white. If Anne is white then Anne is young. All nice things are red. Furry things are not red.
Gary is not furry.
@0: Anne is big.[(triple1)] Gary is young.[(triple2)] Harry is red.[(triple3)] @1: Anne is white.[(((triple1) -> rule3))] Gary is furry.[(((triple2) -> rule1))] @2: Anne is young.[(((((triple1) -> rule3)) -> rule4))] Gary is not red.[(((((triple2) -> rule1)) -> rule6))] @3: Anne is furry.[(((((((triple1) -> rule3)) -> rule4)) -> rule1))] @4: Anne is not red.[(((((((((triple1) -> rule3)) -> rule4)) -> rule1)) -> rule6))]