Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is round. Anne is white. Charlie is rough. Dave is big. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is white. Harry is big. Harry is green. Harry is round. All green people are cold. If someone is green and rough then they are white. White, round people are green. If someone is rough and white then they are round. Cold people are green. If Harry is big and Harry is round then Harry is cold. If Charlie is cold and Charlie is round then Charlie is white. If someone is round then they are rough.
Harry is not green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule1) OR ((((triple6 triple5) -> rule3)) -> rule1))] Anne is green.[(triple3 OR ((triple2) -> rule5) OR ((triple6 triple5) -> rule3))] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple3 ((triple5) -> rule8)) -> rule2) OR ((((triple2) -> rule5) ((triple5) -> rule8)) -> rule2))] Charlie is rough.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9 OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple11 triple13) -> rule4)) -> rule3))] Dave is quiet.[(triple10)] Dave is rough.[(triple11 OR ((triple12) -> rule8))] Dave is round.[(triple12 OR ((triple11 triple13) -> rule4) OR ((triple11 ((triple9 triple11) -> rule2)) -> rule4))] Dave is white.[(triple13 OR ((triple9 triple11) -> rule2) OR ((triple9 ((triple12) -> rule8)) -> rule2))] Harry is big.[(triple14)] Harry is green.[(triple15 OR ((((triple14 triple16) -> rule6)) -> rule5))] Harry is round.[(triple16)] @1: Anne is rough.[(((triple5) -> rule8))] Dave is cold.[(((triple9) -> rule1) OR ((((triple13 triple12) -> rule3)) -> rule1) OR ((((triple13 ((triple11 triple13) -> rule4)) -> rule3)) -> rule1))] Harry is cold.[(((triple15) -> rule1) OR ((triple14 triple16) -> rule6))] Harry is rough.[(((triple16) -> rule8))] @2: Harry is white.[(((triple15 ((triple16) -> rule8)) -> rule2) OR ((((((triple14 triple16) -> rule6)) -> rule5) ((triple16) -> rule8)) -> rule2))]