Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is round. Erin is smart. If Erin is round and Erin is cold then Erin is nice. If Erin is cold and Erin is nice then Erin is smart. If someone is furry then they are round.
Erin is not rough.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4 OR ((triple6 triple1) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple2) -> rule3))] Erin is smart.[(triple7 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple6 triple1) -> rule1)) -> rule2) OR ((triple1 ((((triple2) -> rule3) triple1) -> rule1)) -> rule2))]