Anne is not white. Erin is not kind. Fiona is not red. Harry is red. Kind things are not nice. All kind, young things are not nice. All white, quiet things are kind. If something is young then it is big. If something is kind then it is not big. If something is quiet then it is red. If something is big and not young then it is not red. If Fiona is kind then Fiona is white.
Harry is quiet.
@0: Anne is not white.[(triple1)] Erin is not kind.[(triple2)] Fiona is not red.[(triple3)] Harry is red.[(triple4)]