Anne is not big. Anne is smart. Charlie is not round. Dave is not blue. Dave is nice. Dave is round. Dave is smart. Gary is red. Gary is round. Gary is smart. If Gary is nice and Gary is not blue then Gary is not big. Blue things are nice.
Anne is blue.
@0: Anne is not big.[(triple1)] Anne is smart.[(triple2)] Charlie is not round.[(triple3)] Dave is nice.[(triple5)] Dave is not blue.[(triple4)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)]