Anne is nice. Fiona is white. Gary is furry. Furry things are big. If something is red then it is big. If something is green then it is red. If something is big then it is red. If something is red and not furry then it is nice. If Fiona is red and Fiona is not big then Fiona is white.
Fiona is white.
@0: Anne is nice.[(triple1)] Fiona is white.[(triple2)] Gary is furry.[(triple3)] @1: Gary is big.[(((triple3) -> rule1))] @2: Gary is red.[(((((triple3) -> rule1)) -> rule4))]