Dave is big. Dave is nice. Dave is young. Gary is big. Gary is red. Gary is smart. Gary is young. Harry is big. Harry is round. Harry is smart. If something is round and nice then it is furry. If Dave is red and Dave is furry then Dave is big. All nice, red things are round.
Gary is not smart.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] Gary is big.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)]