Fiona is blue. Fiona is cold. Fiona is quiet. Gary is blue. Gary is cold. Gary is green. Gary is young. If Gary is green and Gary is nice then Gary is big. All blue things are nice.
Gary is not big.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is quiet.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is young.[(triple7)] @1: Fiona is nice.[(((triple1) -> rule2))] Gary is nice.[(((triple4) -> rule2))] @2: Gary is big.[(((triple6 ((triple4) -> rule2)) -> rule1))]