Anne is kind. Dave is kind. Gary is nice. If something is kind and nice then it is blue. All quiet things are blue. If Anne is kind then Anne is quiet. If something is round and kind then it is blue. Blue things are round. If something is quiet and red then it is blue. If Gary is red then Gary is round. If something is red and kind then it is round.
Dave is not blue.
@0: Anne is kind.[(triple1)] Dave is kind.[(triple2)] Gary is nice.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is round.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))]