Anne is kind. Dave is rough. If Dave is nice and Dave is rough then Dave is furry. If something is rough and round then it is nice. All blue things are round.
Dave is not round.
@0: Anne is kind.[(triple1)] Dave is rough.[(triple2)]