Charlie is quiet. Dave is quiet. Erin is big. Erin is quiet. Gary is blue. Gary is nice. Gary is smart. If Charlie is blue then Charlie is green. If Gary is kind then Gary is smart. If Charlie is green and Charlie is smart then Charlie is blue.
Gary is nice.
@0: Charlie is quiet.[(triple1)] Dave is quiet.[(triple2)] Erin is big.[(triple3)] Erin is quiet.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6)] Gary is smart.[(triple7)]