Anne is blue. Anne is cold. Anne is red. Harry is blue. Harry is green. Harry is nice. Harry is red. If Anne is nice then Anne is blue. All green, red things are nice. All green, red things are nice.
Harry is nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5)] Harry is nice.[(triple6 OR ((triple5 triple7) -> rule2) OR ((triple5 triple7) -> rule3))] Harry is red.[(triple7)]