Bob is cold. Bob is white. Dave is cold. Dave is white. Gary is kind. Harry is green. Harry is young. All white, kind people are green. White people are cold. If someone is young and green then they are not kind.
Harry is young.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2))] Bob is white.[(triple2)] Dave is cold.[(triple3 OR ((triple4) -> rule2))] Dave is white.[(triple4)] Gary is kind.[(triple5)] Harry is green.[(triple6)] Harry is young.[(triple7)] @1: Harry is not kind.[(((triple7 triple6) -> rule3))]