Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is smart. Erin is not white. If someone is cold then they are furry. If someone is cold and not smart then they are furry. If Erin is smart and Erin is green then Erin is quiet. If Erin is smart and Erin is quiet then Erin is big. If Erin is cold then Erin is not white. White people are not big. If someone is furry and white then they are not green. All green, big people are quiet.
Erin is quiet.
@0: Erin is big.[(triple1 OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple6 triple4) -> rule3)) -> rule4))] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2) -> rule1))] Erin is green.[(triple4)] Erin is not white.[(triple7 OR ((triple2) -> rule5))] Erin is quiet.[(triple5 OR ((triple4 triple1) -> rule8) OR ((triple6 triple4) -> rule3))] Erin is smart.[(triple6)]