Anne is quiet. Anne is smart. Erin is green. Smart things are kind. Young, green things are kind. If Anne is young and Anne is green then Anne is smart. If Anne is kind then Anne is young. If something is kind and young then it is not red. Big things are young. All red, big things are not smart. If Erin is not young and Erin is not green then Erin is quiet.
Anne is not kind.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Erin is green.[(triple3)] @1: Anne is kind.[(((triple2) -> rule1))] @2: Anne is young.[(((((triple2) -> rule1)) -> rule4))] @3: Anne is not red.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule4)) -> rule5))]