Anne is rough. Erin is quiet. Gary is cold. Harry is nice. If Anne is cold then Anne is quiet. If Anne is white then Anne is quiet. If something is quiet and round then it is blue. If something is round and cold then it is not white. All quiet, round things are not cold. If something is nice and rough then it is cold. Quiet things are rough. All cold things are not rough.
Gary is cold.
@0: Anne is rough.[(triple1)] Erin is quiet.[(triple2)] Gary is cold.[(triple3)] Harry is nice.[(triple4)] @1: Erin is rough.[(((triple2) -> rule7))] Gary is not rough.[(((triple3) -> rule8))]