Fiona is rough. Fiona is round. Fiona is smart. Gary is blue. Gary is cold. Gary is furry. Gary is rough. Rough people are round. All cold, round people are blue.
Fiona is furry.
@0: Fiona is rough.[(triple1)] Fiona is round.[(triple2 OR ((triple1) -> rule1))] Fiona is smart.[(triple3)] Gary is blue.[(triple4 OR ((triple5 ((triple7) -> rule1)) -> rule2))] Gary is cold.[(triple5)] Gary is furry.[(triple6)] Gary is rough.[(triple7)] @1: Gary is round.[(((triple7) -> rule1))]