Dave is big. Dave is red. Gary is big. Gary is kind. Gary is red. Gary is smart. Gary is young. If Dave is not red then Dave is not kind. If Dave is blue then Dave is big. If someone is young and not kind then they are smart.
Dave is young.
@0: Dave is big.[(triple1)] Dave is red.[(triple2)] Gary is big.[(triple3)] Gary is kind.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]