Anne is red. Anne is rough. Anne is smart. Dave is rough. Fiona is rough. Fiona is smart. Harry is cold. Harry is furry. Harry is rough. Harry is smart. If Harry is rough then Harry is round. If Dave is cold then Dave is furry. If something is smart and furry then it is red. If something is blue and round then it is cold. If something is furry then it is cold. Blue, round things are furry.
Fiona is not smart.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Dave is rough.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Harry is cold.[(triple7 OR ((triple8) -> rule5))] Harry is furry.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Harry is red.[(((triple10 triple8) -> rule3))] Harry is round.[(((triple9) -> rule1))]