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