Anne is furry. Anne is nice. Anne is red. Anne is smart. Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. If someone is big and nice then they are kind. If someone is red and kind then they are smart. Nice people are cold. If Anne is red and Anne is kind then Anne is furry. Red people are nice. All smart people are cold.
Erin is smart.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule5))] Anne is red.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7 OR ((triple5 triple8) -> rule1) OR ((triple5 ((triple9) -> rule5)) -> rule1))] Erin is nice.[(triple8 OR ((triple9) -> rule5))] Erin is red.[(triple9)] Erin is smart.[(triple10 OR ((triple9 triple7) -> rule2) OR ((triple9 ((triple5 triple8) -> rule1)) -> rule2) OR ((triple9 ((triple5 ((triple9) -> rule5)) -> rule1)) -> rule2))] @1: Anne is cold.[(((triple2) -> rule3) OR ((triple4) -> rule6) OR ((((triple3) -> rule5)) -> rule3))] Erin is cold.[(((triple10) -> rule6) OR ((triple8) -> rule3) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple9 triple7) -> rule2)) -> rule6) OR ((((triple9 ((triple5 triple8) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 ((triple5 ((triple9) -> rule5)) -> rule1)) -> rule2)) -> rule6))]