Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is smart. Erin is big. Gary is big. Gary is furry. Gary is kind. If someone is big and not furry then they are blue. If someone is green and smart then they are blue. If Gary is big and Gary is smart then Gary is green. All furry people are smart. If someone is green and not furry then they are kind. If someone is big then they are kind. If someone is smart and not blue then they are kind. All kind people are cold.
Erin is furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple5) -> rule8) OR ((((triple1) -> rule6)) -> rule8))] Anne is furry.[(triple4)] Anne is kind.[(triple5 OR ((triple1) -> rule6))] Anne is smart.[(triple6 OR ((triple4) -> rule4))] Erin is big.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((triple8) -> rule6))] @1: Erin is kind.[(((triple7) -> rule6))] Gary is cold.[(((triple10) -> rule8) OR ((((triple8) -> rule6)) -> rule8))] Gary is smart.[(((triple9) -> rule4))] @2: Erin is cold.[(((((triple7) -> rule6)) -> rule8))] Gary is green.[(((triple8 ((triple9) -> rule4)) -> rule3))] @3: Gary is blue.[(((((triple8 ((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule2))]