Anne is cold. Anne is not furry. Anne is green. Anne is quiet. Anne is rough. Gary is furry. Gary is rough. Gary is white. Harry is green. Harry is kind. If something is white then it is kind. All green things are quiet. If Anne is white and Anne is green then Anne is not quiet. If something is cold then it is not white. If something is quiet and green then it is cold. If something is green and not cold then it is not rough.
Anne is not green.
@0: Anne is cold.[(triple1 OR ((triple4 triple3) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5))] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is quiet.[(triple4 OR ((triple3) -> rule2))] Anne is rough.[(triple5)] Gary is furry.[(triple6)] Gary is rough.[(triple7)] Gary is white.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] @1: Anne is not white.[(((triple1) -> rule4) OR ((((triple4 triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule2) triple3) -> rule5)) -> rule4))] Gary is kind.[(((triple8) -> rule1))] Harry is quiet.[(((triple9) -> rule2))] @2: Harry is cold.[(((((triple9) -> rule2) triple9) -> rule5))] @3: Harry is not white.[(((((((triple9) -> rule2) triple9) -> rule5)) -> rule4))]