Dave is cold. Dave is quiet. Dave is smart. Erin is blue. Erin is cold. Erin is not smart. Erin is not young. Gary is big. Gary is blue. Gary is cold. Gary is not quiet. Gary is young. All round, smart people are not cold. Smart, young people are not quiet. If someone is quiet and not round then they are blue.
Gary is quiet.
@0: Dave is cold.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is not smart.[(triple6)] Erin is not young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is not quiet.[(triple11)] Gary is young.[(triple12)]