Anne is blue. Anne is cold. Anne is kind. Gary is cold. Gary is furry. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is white. All red, green people are kind. Kind people are furry. All kind, white people are red.
Gary is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple10) -> rule2) OR ((((triple11 triple9) -> rule1)) -> rule2))] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((triple11 triple9) -> rule1))] Harry is red.[(triple11 OR ((triple10 triple12) -> rule3))] Harry is white.[(triple12)] @1: Anne is furry.[(((triple3) -> rule2))]