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