Anne is blue. Anne is red. Charlie is red. Dave is blue. Dave is furry. Dave is red. Dave is round. If Anne is round and Anne is furry then Anne is smart.
Dave is kind.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Charlie is red.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)]