Fiona is big. Fiona is blue. Fiona is nice. Gary is big. Gary is blue. Gary is green. Gary is quiet. If Fiona is round then Fiona is green. If something is green and round then it is cold. Blue things are round.
Gary is cold.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] @1: Fiona is round.[(((triple2) -> rule3))] Gary is round.[(((triple5) -> rule3))] @2: Fiona is green.[(((((triple2) -> rule3)) -> rule1))] Gary is cold.[(((triple6 ((triple5) -> rule3)) -> rule2))] @3: Fiona is cold.[(((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]