Anne is blue. Anne is furry. Fiona is blue. Fiona is rough. Fiona is round. Harry is cold. Harry is furry. If someone is cold then they are round. All cold people are rough.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Fiona is blue.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] @1: Harry is rough.[(((triple6) -> rule2))] Harry is round.[(((triple6) -> rule1))]