Dave is furry. Dave is nice. Dave is round. Fiona is red. Fiona is rough. Harry is green. Harry is red. If Fiona is round and Fiona is cold then Fiona is furry. If something is rough then it is red. If something is rough then it is cold.
Dave is not red.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is round.[(triple3)] Fiona is red.[(triple4 OR ((triple5) -> rule2))] Fiona is rough.[(triple5)] Harry is green.[(triple6)] Harry is red.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule3))]