Anne is blue. If someone is round and blue then they are nice. Red people are big. If Anne is big then Anne is nice. All blue people are nice. If someone is nice and blue then they are red. If someone is red and big then they are round.
Anne is not big.
@0: Anne is blue.[(triple1)] @1: Anne is nice.[(((triple1) -> rule4))] @2: Anne is red.[(((((triple1) -> rule4) triple1) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule4) triple1) -> rule5)) -> rule2))] @4: Anne is round.[(((((((triple1) -> rule4) triple1) -> rule5) ((((((triple1) -> rule4) triple1) -> rule5)) -> rule2)) -> rule6))]