Anne is nice. Gary is furry. If someone is kind and not young then they are nice. Nice people are kind. All kind people are not big.
Anne is not big.
@0: Anne is nice.[(triple1)] Gary is furry.[(triple2)] @1: Anne is kind.[(((triple1) -> rule2))] @2: Anne is not big.[(((((triple1) -> rule2)) -> rule3))]