Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is red. Gary is furry. Gary is green. Gary is red. Harry is big. Harry is cold. Harry is furry. Harry is not green. Harry is quiet. Harry is red. Harry is white. If someone is green then they are cold. All furry, quiet people are cold. If Gary is big then Gary is not red. All white people are furry. All big people are white. If Gary is quiet and Gary is cold then Gary is not green.
Gary is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule1) OR ((((((triple1) -> rule5)) -> rule4) triple4) -> rule2))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is red.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10 OR ((triple11 triple13) -> rule2) OR ((((triple15) -> rule4) triple13) -> rule2) OR ((((((triple9) -> rule5)) -> rule4) triple13) -> rule2))] Harry is furry.[(triple11 OR ((triple15) -> rule4) OR ((((triple9) -> rule5)) -> rule4))] Harry is not green.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15 OR ((triple9) -> rule5))] @1: Anne is white.[(((triple1) -> rule5))] Gary is cold.[(((triple7) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule5)) -> rule4))]