Anne is young. Dave is cold. White people are kind. If Anne is white and Anne is kind then Anne is young. If someone is cold then they are green. If Anne is green then Anne is cold. If someone is green then they are white. If someone is cold and not green then they are not young. If someone is cold and not white then they are not smart. If someone is green then they are smart.
Anne is white.
@0: Anne is young.[(triple1)] Dave is cold.[(triple2)] @1: Dave is green.[(((triple2) -> rule3))] @2: Dave is smart.[(((((triple2) -> rule3)) -> rule8))] Dave is white.[(((((triple2) -> rule3)) -> rule5))] @3: Dave is kind.[(((((((triple2) -> rule3)) -> rule5)) -> rule1))]