Anne is big. Bob is round. Gary is young. If something is furry and not big then it is round. Green things are round. If something is round then it is not furry.
Anne is not big.
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] Gary is young.[(triple3)] @1: Bob is not furry.[(((triple2) -> rule3))]