Anne is cold. Anne is not green. Anne is nice. Anne is not red. Anne is rough. Anne is white. Anne is young. Bob is green. Bob is white. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is white. White, young things are nice. All young things are nice. If something is green and young then it is nice. If something is cold then it is nice. If Anne is rough and Anne is cold then Anne is nice. If something is nice then it is white.
Bob is not nice.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple7) -> rule2) OR ((triple5 triple1) -> rule5) OR ((triple6 triple7) -> rule1))] Anne is not green.[(triple2)] Anne is not red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple5 triple1) -> rule5)) -> rule6))] Anne is young.[(triple7)] Bob is green.[(triple8)] Bob is white.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12 OR ((triple10) -> rule4))] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple12) -> rule6) OR ((((triple10) -> rule4)) -> rule6))]