Anne is green. Anne is nice. Anne is white. Anne is young. Dave is young. Harry is nice. Harry is red. All white things are nice. All green, red things are cold.
Harry is not cold.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule1))] Anne is white.[(triple3)] Anne is young.[(triple4)] Dave is young.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)]