Anne is furry. Anne is green. Fiona is smart. Harry is cold. Harry is furry. Harry is green. Harry is white. All red things are smart. If Harry is white and Harry is cold then Harry is green.
Harry is not white.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Fiona is smart.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6 OR ((triple7 triple4) -> rule2))] Harry is white.[(triple7)]