Anne is furry. Fiona is not kind. If someone is big then they are kind. Furry people are big. If someone is red then they are nice.
Anne is not kind.
@0: Anne is furry.[(triple1)] Fiona is not kind.[(triple2)] @1: Anne is big.[(((triple1) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule1))]