Anne is cold. Anne is rough. Anne is white. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is white. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is white. If something is red then it is cold. If Anne is nice then Anne is green. All red things are quiet. Rough things are green. If Anne is cold and Anne is nice then Anne is quiet. If something is nice then it is white. All green things are nice. Nice things are rough.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3 OR ((((((triple2) -> rule4)) -> rule7)) -> rule6))] Gary is cold.[(triple4 OR ((triple8) -> rule1))] Gary is green.[(triple5 OR ((triple9) -> rule4) OR ((((triple6) -> rule8)) -> rule4))] Gary is nice.[(triple6 OR ((triple5) -> rule7) OR ((((triple9) -> rule4)) -> rule7))] Gary is quiet.[(triple7 OR ((triple8) -> rule3))] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple6) -> rule8) OR ((((triple5) -> rule7)) -> rule8))] Gary is white.[(triple10 OR ((triple6) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((((triple9) -> rule4)) -> rule7)) -> rule6))] Harry is cold.[(triple11)] Harry is green.[(triple12 OR ((((triple13) -> rule8)) -> rule4))] Harry is nice.[(triple13 OR ((triple12) -> rule7))] Harry is quiet.[(triple14)] Harry is white.[(triple15 OR ((triple13) -> rule6) OR ((((triple12) -> rule7)) -> rule6))] @1: Anne is green.[(((triple2) -> rule4))] Harry is rough.[(((triple13) -> rule8) OR ((((triple12) -> rule7)) -> rule8))] @2: Anne is nice.[(((((triple2) -> rule4)) -> rule7))] @3: Anne is quiet.[(((triple1 ((((triple2) -> rule4)) -> rule7)) -> rule5))]