Charlie is big. Dave is big. Gary is green. If someone is big then they are blue.
Gary is not green.
@0: Charlie is big.[(triple1)] Dave is big.[(triple2)] Gary is green.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule1))] Dave is blue.[(((triple2) -> rule1))]