Anne is cold. Anne is not green. Anne is round. If Anne is not green then Anne is round. Nice, quiet people are not big. If someone is cold then they are nice. If Anne is quiet and Anne is not green then Anne is young. Nice people are quiet. If Anne is quiet and Anne is not round then Anne is not big. If someone is round and big then they are young. Round, green people are young.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is not green.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule1))] @1: Anne is nice.[(((triple1) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is not big.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule5)) -> rule2))] Anne is young.[(((((((triple1) -> rule3)) -> rule5) triple2) -> rule4))]