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