Anne is blue. Dave is green. Fiona is cold. Gary is white. If Gary is green and Gary is big then Gary is blue. If someone is green then they are big. If someone is rough and green then they are not big. If someone is green then they are round. White people are green. If Gary is rough and Gary is not big then Gary is not cold.
Fiona is round.
@0: Anne is blue.[(triple1)] Dave is green.[(triple2)] Fiona is cold.[(triple3)] Gary is white.[(triple4)] @1: Dave is big.[(((triple2) -> rule2))] Dave is round.[(((triple2) -> rule4))] Gary is green.[(((triple4) -> rule5))] @2: Gary is big.[(((((triple4) -> rule5)) -> rule2))] Gary is round.[(((((triple4) -> rule5)) -> rule4))] @3: Gary is blue.[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule2)) -> rule1))]