Anne is not big. Erin is quiet. Erin is red. Erin is round. Gary is cold. Gary is quiet. Gary is round. If something is big then it is red. All quiet, blue things are cold. All green things are quiet. If Erin is cold then Erin is not green. All big things are blue. If something is green and not red then it is blue. If Gary is blue then Gary is not green. If something is big and not cold then it is not round.
Anne is not blue.
@0: Anne is not big.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is round.[(triple4)] Gary is cold.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)]