Dave is blue. All blue people are big. If someone is blue then they are nice. If someone is big and smart then they are blue. If someone is blue and quiet then they are rough. Smart, quiet people are not rough. If Dave is smart and Dave is not blue then Dave is rough.
Dave is not rough.
@0: Dave is blue.[(triple1)] @1: Dave is big.[(((triple1) -> rule1))] Dave is nice.[(((triple1) -> rule2))]