Bob is not nice. Bob is not rough. Dave is nice. Dave is red. Dave is round. Dave is white. Harry is rough. If Bob is young then Bob is red. If Bob is red then Bob is round.
Dave is not nice.
@0: Bob is not nice.[(triple1)] Bob is not rough.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Harry is rough.[(triple7)]