Anne is quiet. Dave is big. Erin is big. Erin is blue. Erin is quiet. Erin is white. Gary is quiet. If Dave is quiet then Dave is big. All red things are smart. All smart things are white.
Erin is not quiet.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Gary is quiet.[(triple7)]