Charlie is big. Charlie is not furry. Charlie is young. Dave is quiet. Dave is not red. Dave is smart. Erin is furry. Erin is quiet. Erin is red. Gary is furry. Gary is red. Gary is smart. If something is nice and not smart then it is furry.
Charlie is not furry.
@0: Charlie is big.[(triple1)] Charlie is not furry.[(triple2)] Charlie is young.[(triple3)] Dave is not red.[(triple5)] Dave is quiet.[(triple4)] Dave is smart.[(triple6)] Erin is furry.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Gary is furry.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)]