Anne is not cold. Anne is not furry. Anne is smart. Erin is big. Erin is cold. Erin is furry. Erin is not nice. Erin is quiet. Erin is smart. Erin is young. Big people are not nice. If Erin is not cold then Erin is not quiet.
Erin is smart.
@0: Anne is not cold.[(triple1)] Anne is not furry.[(triple2)] Anne is smart.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is not nice.[(triple7 OR ((triple4) -> rule1))] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)]