Anne is furry. Bob is not cold. Erin is cold. Gary is cold. If something is furry then it is rough.
Anne is not furry.
@0: Anne is furry.[(triple1)] Bob is not cold.[(triple2)] Erin is cold.[(triple3)] Gary is cold.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))]