Erin is furry. Erin is not green. Erin is not nice. Erin is red. Erin is round. Erin is smart. Erin is not white. If Erin is green then Erin is not white. All round people are furry. All white, round people are not furry. Green people are not furry. If Erin is green then Erin is not round. If someone is furry then they are smart. Nice people are smart. Red, furry people are round.
Erin is smart.
@0: Erin is furry.[(triple1 OR ((triple5) -> rule2))] Erin is not green.[(triple2)] Erin is not nice.[(triple3)] Erin is not white.[(triple7)] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple4 triple1) -> rule8))] Erin is smart.[(triple6 OR ((triple1) -> rule6) OR ((((triple5) -> rule2)) -> rule6))]