Anne is green. If Anne is furry then Anne is not nice. All cold people are big. If someone is furry and green then they are big. If Anne is green then Anne is furry. If someone is furry then they are green. All rough people are green.
Anne is furry.
@0: Anne is green.[(triple1)] @1: Anne is furry.[(((triple1) -> rule4))] @2: Anne is big.[(((((triple1) -> rule4) triple1) -> rule3))] Anne is not nice.[(((((triple1) -> rule4)) -> rule1))]