Anne is not young. Bob is furry. Erin is not green. Harry is not kind. If Harry is blue then Harry is not kind. Blue people are not quiet. If someone is young and quiet then they are big. If Anne is not quiet and Anne is not young then Anne is big. If someone is big and young then they are kind. Quiet people are furry. If someone is quiet and not kind then they are furry. All big people are furry.
Erin is not furry.
@0: Anne is not young.[(triple1)] Bob is furry.[(triple2)] Erin is not green.[(triple3)] Harry is not kind.[(triple4)]