Charlie is quiet. Dave is green. Dave is nice. If someone is green and smart then they are quiet. All nice people are quiet.
Dave is nice.
@0: Charlie is quiet.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] @1: Dave is quiet.[(((triple3) -> rule2))]