Anne is green. Anne is nice. Anne is quiet. Anne is red. Charlie is cold. Charlie is green. Charlie is quiet. Dave is cold. Dave is red. Dave is young. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is white. If something is young and white then it is cold. Red, cold things are white.
Anne is green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Dave is cold.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16 OR ((triple15 triple11) -> rule2))] @1: Dave is white.[(((triple9 triple8) -> rule2))]