Dave is furry. Gary is not big. If Dave is smart then Dave is white. All furry things are smart. If something is big and smart then it is blue.
Gary is not blue.
@0: Dave is furry.[(triple1)] Gary is not big.[(triple2)] @1: Dave is smart.[(((triple1) -> rule2))] @2: Dave is white.[(((((triple1) -> rule2)) -> rule1))]