Anne is smart. Bob is kind. Dave is red. Gary is red. If someone is smart and quiet then they are red. Smart people are quiet.
Anne is not red.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Dave is red.[(triple3)] Gary is red.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule2))] @2: Anne is red.[(((triple1 ((triple1) -> rule2)) -> rule1))]