Dave is big. Gary is not nice. If someone is furry and not white then they are nice. Big people are furry.
Gary is not big.
@0: Dave is big.[(triple1)] Gary is not nice.[(triple2)] @1: Dave is furry.[(((triple1) -> rule2))]