Anne is round. Bob is not smart. Dave is smart. Gary is smart. All nice, big people are blue.
Dave is not blue.
@0: Anne is round.[(triple1)] Bob is not smart.[(triple2)] Dave is smart.[(triple3)] Gary is smart.[(triple4)]