Anne is quiet. Anne is white. Charlie is big. Charlie is not nice. Dave is not big. Dave is white. Gary is kind. If Gary is red and Gary is not quiet then Gary is big. Big, quiet things are red. If something is white and not red then it is nice.
Charlie is quiet.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is not nice.[(triple4)] Dave is not big.[(triple5)] Dave is white.[(triple6)] Gary is kind.[(triple7)]