Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is young. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is smart. All cold things are nice. Nice things are red. If something is nice and not red then it is not green. Red, cold things are green. If something is red and not round then it is young. If something is red and not green then it is not young.
Harry is not nice.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule4) OR ((((triple3) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule1)) -> rule2) triple1) -> rule4))] Anne is nice.[(triple3 OR ((triple1) -> rule1))] Anne is red.[(triple4 OR ((triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9 OR ((((triple10) -> rule2) triple8) -> rule4) OR ((((((triple8) -> rule1)) -> rule2) triple8) -> rule4))] Harry is nice.[(triple10 OR ((triple8) -> rule1))] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Harry is red.[(((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))]