Anne is big. Nice people are green. Big people are young. If someone is young then they are big. All blue people are big. All blue people are kind. All young people are blue. If Anne is green and Anne is not young then Anne is cold. If Anne is nice and Anne is not big then Anne is kind.
Anne is green.
@0: Anne is big.[(triple1)] @1: Anne is young.[(((triple1) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule2)) -> rule6))] @3: Anne is kind.[(((((((triple1) -> rule2)) -> rule6)) -> rule5))]