Anne is cold. Anne is white. Gary is blue. Gary is green. Gary is quiet. Gary is red. Harry is blue. Harry is not cold. Harry is green. Harry is not red. All blue things are white. All rough things are cold. If something is white and rough then it is red. Cold things are not quiet. All red, white things are quiet. All rough, green things are quiet. If something is blue then it is quiet. If Gary is quiet then Gary is red.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Gary is blue.[(triple3)] Gary is green.[(triple4)] Gary is quiet.[(triple5 OR ((triple3) -> rule7) OR ((triple6 ((triple3) -> rule1)) -> rule5))] Gary is red.[(triple6 OR ((triple5) -> rule8) OR ((((triple3) -> rule7)) -> rule8))] Harry is blue.[(triple7)] Harry is green.[(triple9)] Harry is not cold.[(triple8)] Harry is not red.[(triple10)] @1: Anne is not quiet.[(((triple1) -> rule4))] Gary is white.[(((triple3) -> rule1))] Harry is quiet.[(((triple7) -> rule7))] Harry is white.[(((triple7) -> rule1))]