Charlie is nice. Charlie is quiet. Charlie is round. Dave is not quiet. Dave is not round. Harry is big. Harry is kind. Harry is quiet. Harry is red. Harry is round. If Dave is not kind then Dave is red.
Dave is not red.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Dave is not quiet.[(triple4)] Dave is not round.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)]