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