Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. Gary is furry. Gary is nice. Gary is rough. Gary is round. Harry is green. Harry is rough. Harry is smart. All round, nice things are cold. All green, smart things are round.
Fiona is not cold.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is round.[(triple4 OR ((triple2 triple5) -> rule2))] Fiona is smart.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is green.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is cold.[(((triple4 triple3) -> rule1) OR ((((triple2 triple5) -> rule2) triple3) -> rule1))] Gary is cold.[(((triple9 triple7) -> rule1))] Harry is round.[(((triple10 triple12) -> rule2))]