Erin is red. Fiona is big. Gary is nice. Harry is red. If something is nice then it is red. If something is white then it is red. All red things are young.
Fiona is not red.
@0: Erin is red.[(triple1)] Fiona is big.[(triple2)] Gary is nice.[(triple3)] Harry is red.[(triple4)] @1: Erin is young.[(((triple1) -> rule3))] Gary is red.[(((triple3) -> rule1))] Harry is young.[(((triple4) -> rule3))] @2: Gary is young.[(((((triple3) -> rule1)) -> rule3))]