Erin is cold. Erin is furry. Erin is not nice. Erin is not quiet. Erin is smart. Erin is white. Erin is young. All nice, cold people are not furry. If someone is white and young then they are cold. If Erin is quiet then Erin is not smart. If Erin is quiet and Erin is furry then Erin is smart. If someone is quiet then they are smart. If Erin is white and Erin is not quiet then Erin is young.
Erin is furry.
@0: Erin is cold.[(triple1 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple6 triple4) -> rule6)) -> rule2))] Erin is furry.[(triple2)] Erin is not nice.[(triple3)] Erin is not quiet.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple6 triple4) -> rule6))]