Anne is big. Anne is furry. Erin is furry. Erin is kind. Erin is quiet. Erin is round. Erin is white. Gary is cold. Harry is big. Harry is round. All quiet, white things are cold.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Gary is cold.[(triple8)] Harry is big.[(triple9)] Harry is round.[(triple10)] @1: Erin is cold.[(((triple5 triple7) -> rule1))]