Bob is blue. Bob is kind. Bob is quiet. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. If something is blue then it is green. If something is smart and cold then it is kind. Kind, smart things are cold. All blue, green things are cold. Cold, kind things are young. If something is cold and not kind then it is young.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple4 ((triple4) -> rule1)) -> rule4))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] @1: Bob is green.[(((triple1) -> rule1))] Dave is green.[(((triple4) -> rule1))] Dave is young.[(((triple5 triple6) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule4) triple6) -> rule5))] @2: Bob is cold.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: Bob is young.[(((((triple1 ((triple1) -> rule1)) -> rule4) triple2) -> rule5))]