Charlie is not big. Charlie is quiet. Charlie is red. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is quiet. Dave is smart. Dave is young. Erin is not big. Erin is blue. Erin is red. Erin is smart. Erin is not young. If Charlie is big then Charlie is not smart. If someone is red and big then they are quiet.
Dave is red.
@0: Charlie is not big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] Erin is blue.[(triple12)] Erin is not big.[(triple11)] Erin is not young.[(triple15)] Erin is red.[(triple13)] Erin is smart.[(triple14)]