Erin is not cold. Erin is furry. Erin is kind. If Erin is furry and Erin is kind then Erin is green. If Erin is cold then Erin is smart. All furry things are not smart. If Erin is furry and Erin is not cold then Erin is kind. If something is green and not cold then it is red. Kind things are red. If something is furry and not smart then it is green. Cold, green things are rough.
Erin is not furry.
@0: Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple2 triple1) -> rule4))] Erin is not cold.[(triple1)] @1: Erin is green.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule7) OR ((triple2 ((triple2 triple1) -> rule4)) -> rule1))] Erin is not smart.[(((triple2) -> rule3))] Erin is red.[(((triple3) -> rule6) OR ((((triple2 triple1) -> rule4)) -> rule6) OR ((((triple2 triple3) -> rule1) triple1) -> rule5) OR ((((triple2 ((triple2) -> rule3)) -> rule7) triple1) -> rule5) OR ((((triple2 ((triple2 triple1) -> rule4)) -> rule1) triple1) -> rule5))]