Fiona is blue. Fiona is furry. Fiona is kind. Fiona is round. Fiona is smart. Gary is cold. Gary is furry. If something is furry then it is smart. All furry, cold things are young. Cold, young things are blue.
Gary is not blue.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5 OR ((triple2) -> rule1))] Gary is cold.[(triple6)] Gary is furry.[(triple7)] @1: Gary is smart.[(((triple7) -> rule1))] Gary is young.[(((triple7 triple6) -> rule2))] @2: Gary is blue.[(((triple6 ((triple7 triple6) -> rule2)) -> rule3))]