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