Anne is cold. Erin is furry. If something is furry and not smart then it is big. If Erin is furry then Erin is kind.
Anne is not big.
@0: Anne is cold.[(triple1)] Erin is furry.[(triple2)] @1: Erin is kind.[(((triple2) -> rule2))]