Erin is big. Erin is not nice. Erin is not quiet. Erin is red. Erin is round. Erin is smart. Erin is white. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is round. If Gary is not red then Gary is big.
Erin is quiet.
@0: Erin is big.[(triple1)] Erin is not nice.[(triple2)] Erin is not quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)]