Anne is rough. Anne is smart. Bob is cold. Bob is furry. Bob is rough. Bob is smart. Erin is cold. Erin is furry. Erin is nice. Erin is young. If someone is nice and rough then they are cold. Young people are red. Furry, red people are rough. Nice, furry people are smart. Cold, red people are rough. All smart people are red.
Anne is not cold.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is rough.[(triple5 OR ((triple3 ((triple6) -> rule6)) -> rule5) OR ((triple4 ((triple6) -> rule6)) -> rule3))] Bob is smart.[(triple6)] Erin is cold.[(triple7 OR ((triple9 ((triple8 ((triple10) -> rule2)) -> rule3)) -> rule1) OR ((triple9 ((triple8 ((((triple9 triple8) -> rule4)) -> rule6)) -> rule3)) -> rule1))] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is young.[(triple10)] @1: Anne is red.[(((triple2) -> rule6))] Bob is red.[(((triple6) -> rule6))] Erin is red.[(((triple10) -> rule2) OR ((((triple9 triple8) -> rule4)) -> rule6))] Erin is smart.[(((triple9 triple8) -> rule4))] @2: Erin is rough.[(((triple7 ((triple10) -> rule2)) -> rule5) OR ((triple8 ((triple10) -> rule2)) -> rule3) OR ((triple7 ((((triple9 triple8) -> rule4)) -> rule6)) -> rule5) OR ((triple8 ((((triple9 triple8) -> rule4)) -> rule6)) -> rule3))]