Anne is cold. Anne is green. Anne is kind. Anne is rough. Bob is cold. Bob is not green. Harry is cold. Harry is kind. Harry is rough. Harry is young. All green things are blue. If Bob is blue then Bob is young. If Anne is cold and Anne is not blue then Anne is nice. If something is young and not cold then it is nice. All rough things are young. If something is green and not cold then it is young. All kind, cold things are young. Nice, rough things are not kind.
Bob is rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Bob is cold.[(triple5)] Bob is not green.[(triple6)] Harry is cold.[(triple7)] Harry is kind.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10 OR ((triple9) -> rule5) OR ((triple8 triple7) -> rule7))] @1: Anne is blue.[(((triple2) -> rule1))] Anne is young.[(((triple4) -> rule5) OR ((triple3 triple1) -> rule7))]