Anne is blue. If someone is cold and young then they are big. If Anne is white and Anne is not cold then Anne is blue. If Anne is blue then Anne is big. All big people are kind. If someone is big and young then they are blue. All cold people are blue. If Anne is blue and Anne is kind then Anne is young. If Anne is not white and Anne is not quiet then Anne is not young.
Anne is not big.
@0: Anne is blue.[(triple1)] @1: Anne is big.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule4))] @3: Anne is young.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule7))]