Anne is quiet. Dave is blue. If someone is blue then they are quiet. If Dave is kind and Dave is big then Dave is blue. All smart, kind people are green. If Anne is big and Anne is not blue then Anne is not quiet. If someone is big and kind then they are smart. If Anne is quiet and Anne is not kind then Anne is smart.
Anne is not blue.
@0: Anne is quiet.[(triple1)] Dave is blue.[(triple2)] @1: Dave is quiet.[(((triple2) -> rule1))]