Charlie is furry. Charlie is not rough. Dave is big. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Gary is rough. Harry is blue. Harry is smart. If Charlie is round then Charlie is blue.
Charlie is big.
@0: Charlie is furry.[(triple1)] Charlie is not rough.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Gary is rough.[(triple8)] Harry is blue.[(triple9)] Harry is smart.[(triple10)]