Anne is quiet. Erin is not big. Erin is smart. Erin is white. Erin is young. Gary is quiet. Gary is round. If someone is big and not young then they are smart.
Erin is not young.
@0: Anne is quiet.[(triple1)] Erin is not big.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)]