Anne is smart. Bob is furry. Dave is quiet. Gary is big. Quiet, smart things are round.
Anne is not smart.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] Dave is quiet.[(triple3)] Gary is big.[(triple4)]