Anne is nice. Anne is quiet. Charlie is blue. Charlie is furry. Dave is blue. Dave is nice. Dave is young. Gary is green. Gary is not nice. Gary is young. If something is blue then it is young. All blue things are green. If Dave is furry then Dave is quiet. If Gary is green and Gary is nice then Gary is young. All rough, young things are blue. If something is nice and not green then it is not quiet.
Anne is not green.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Dave is young.[(triple7 OR ((triple5) -> rule1))] Gary is green.[(triple8)] Gary is not nice.[(triple9)] Gary is young.[(triple10)] @1: Charlie is green.[(((triple3) -> rule2))] Charlie is young.[(((triple3) -> rule1))] Dave is green.[(((triple5) -> rule2))]