Charlie is round. Dave is blue. If something is red and not nice then it is kind. If something is nice then it is not round.
Charlie is not round.
@0: Charlie is round.[(triple1)] Dave is blue.[(triple2)]