Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is smart. Erin is white. If something is furry and white then it is kind. Kind, rough things are furry. If Erin is white then Erin is smart.
Erin is not round.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple3 triple4) -> rule2))] Erin is kind.[(triple3 OR ((triple2 triple7) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule3))] Erin is white.[(triple7)]