Anne is white. Bob is quiet. Erin is round. Gary is not big. All white things are not cold.
Erin is round.
@0: Anne is white.[(triple1)] Bob is quiet.[(triple2)] Erin is round.[(triple3)] Gary is not big.[(triple4)] @1: Anne is not cold.[(((triple1) -> rule1))]