Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is smart. If something is smart then it is cold. Furry things are cold. If something is smart and not big then it is cold. If something is kind then it is cold. All cold, red things are kind. If something is smart and not big then it is kind.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple4) -> rule2) OR ((triple5) -> rule4))] Anne is furry.[(triple4)] Anne is kind.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8 OR ((triple10) -> rule4) OR ((triple12) -> rule1) OR ((triple9) -> rule2))] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((triple8 triple11) -> rule5) OR ((((triple12) -> rule1) triple11) -> rule5) OR ((((triple9) -> rule2) triple11) -> rule5))] Gary is red.[(triple11)] Gary is smart.[(triple12)]