Anne is quiet. Anne is red. Bob is blue. Bob is red. Bob is rough. Dave is quiet. Gary is young. All quiet things are blue. If Dave is blue then Dave is not young. If something is blue and not cold then it is smart.
Bob is quiet.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Bob is blue.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Dave is quiet.[(triple6)] Gary is young.[(triple7)] @1: Anne is blue.[(((triple1) -> rule1))] Dave is blue.[(((triple6) -> rule1))] @2: Dave is not young.[(((((triple6) -> rule1)) -> rule2))]