Dave is big. Dave is not cold. Dave is green. Dave is not quiet. Dave is round. Dave is smart. Dave is young. Cold, green people are smart. If Dave is smart and Dave is not young then Dave is green. If someone is quiet then they are big. Smart, quiet people are big. All cold, quiet people are round. If someone is quiet then they are not cold.
Dave is cold.
@0: Dave is big.[(triple1)] Dave is green.[(triple3)] Dave is not cold.[(triple2)] Dave is not quiet.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]