Fiona is furry. Fiona is round. Fiona is smart. Harry is blue. Harry is not cold. Harry is furry. Harry is red. Harry is rough. Harry is round. Harry is smart. If Harry is furry then Harry is not cold.
Fiona is not furry.
@0: Fiona is furry.[(triple1)] Fiona is round.[(triple2)] Fiona is smart.[(triple3)] Harry is blue.[(triple4)] Harry is furry.[(triple6)] Harry is not cold.[(triple5 OR ((triple6) -> rule1))] Harry is red.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)]