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 big.
@0: Anne is furry.[(triple1)] Fiona is not kind.[(triple2)] @1: Anne is big.[(((triple1) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule1))]