Charlie is quiet. Dave is rough. Harry is big. All blue, big things are rough. If Charlie is red then Charlie is quiet. Round, quiet things are red. All round, big things are blue. Rough, blue things are big. Red, round things are rough. All blue things are white. Round things are blue.
Charlie is not quiet.
@0: Charlie is quiet.[(triple1)] Dave is rough.[(triple2)] Harry is big.[(triple3)]