Anne is nice. Anne is smart. Bob is green. Bob is nice. Bob is red. Bob is white. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is not smart. Charlie is white. Harry is nice. Harry is red. Harry is rough. Nice things are rough. If Charlie is smart and Charlie is nice then Charlie is rough. If something is green and not smart then it is white.
Charlie is not green.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is not smart.[(triple11)] Charlie is red.[(triple9)] Charlie is rough.[(triple10)] Charlie is white.[(triple12 OR ((triple8 triple11) -> rule3))] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((triple13) -> rule1))] @1: Anne is rough.[(((triple1) -> rule1))] Bob is rough.[(((triple4) -> rule1))]