Dave is not quiet. Fiona is not cold. Gary is big. If Dave is white then Dave is smart. All cold, big things are not white. Rough, quiet things are white. All quiet things are big. If something is round and quiet then it is rough. If Dave is white then Dave is not cold. All cold things are round. If Fiona is smart then Fiona is big.
Dave is not round.
@0: Dave is not quiet.[(triple1)] Fiona is not cold.[(triple2)] Gary is big.[(triple3)]