Anne is blue. If someone is nice and not kind then they are quiet. If someone is big and not round then they are quiet. All blue people are quiet. Round, kind people are big. If Anne is kind then Anne is nice. If someone is quiet then they are not young.
Anne is not blue.
@0: Anne is blue.[(triple1)] @1: Anne is quiet.[(((triple1) -> rule3))] @2: Anne is not young.[(((((triple1) -> rule3)) -> rule6))]