Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is white. Erin is not young. If Erin is young and Erin is white then Erin is cold. If Erin is furry and Erin is not young then Erin is cold. If Erin is white then Erin is kind. All furry, rough people are round. All furry, cold people are round. Rough, furry people are kind.
Erin is not furry.
@0: Erin is cold.[(triple1 OR ((triple2 triple7) -> rule2))] Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple6) -> rule3) OR ((triple4 triple2) -> rule6))] Erin is not young.[(triple7)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple2 triple1) -> rule5) OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple2 triple7) -> rule2)) -> rule5))] Erin is white.[(triple6)]