Charlie is not red. Erin is red. Fiona is young. Harry is nice. If someone is cold and not white then they are nice. If someone is quiet and cold then they are kind. If Harry is nice and Harry is quiet then Harry is young. Quiet, kind people are red. Cold, young people are red. If Harry is not kind then Harry is red. If someone is quiet and nice then they are young. All kind, red people are young.
Erin is red.
@0: Charlie is not red.[(triple1)] Erin is red.[(triple2)] Fiona is young.[(triple3)] Harry is nice.[(triple4)]