Anne is furry. Anne is not young. Charlie is big. Charlie is smart. Charlie is white. Dave is not smart. Gary is furry. Gary is red. Gary is smart. Gary is young. If Charlie is red then Charlie is not young. If someone is quiet and not furry then they are red. If someone is quiet and not smart then they are red.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is not young.[(triple2)] Charlie is big.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is not smart.[(triple6)] Gary is furry.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)]