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