Anne is cold. Anne is nice. Anne is red. Dave is green. Dave is nice. Fiona is kind. Fiona is nice. Fiona is red. Harry is cold. Harry is green. Harry is red. Harry is young. If something is green and cold then it is young. Cold things are young.
Harry is cold.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12 OR ((triple9) -> rule2) OR ((triple10 triple9) -> rule1))] @1: Anne is young.[(((triple1) -> rule2))]