Anne is cold. Erin is not big. Erin is furry. If Erin is quiet then Erin is cold. All quiet things are furry. If something is big then it is not furry. White things are furry. If Anne is white and Anne is cold then Anne is furry. All quiet things are cold. If something is furry then it is quiet. If something is big and not nice then it is quiet.
Anne is not cold.
@0: Anne is cold.[(triple1)] Erin is furry.[(triple3)] Erin is not big.[(triple2)] @1: Erin is quiet.[(((triple3) -> rule7))] @2: Erin is cold.[(((((triple3) -> rule7)) -> rule1) OR ((((triple3) -> rule7)) -> rule6))]