Charlie is green. Dave is white. Harry is young. If something is red and white then it is cold. If something is red and cold then it is green. All white things are smart. If Dave is red and Dave is cold then Dave is white. If something is young and white then it is cold. If Charlie is cold and Charlie is young then Charlie is green. Green things are red. If something is young then it is green.
Dave is not red.
@0: Charlie is green.[(triple1)] Dave is white.[(triple2)] Harry is young.[(triple3)] @1: Charlie is red.[(((triple1) -> rule7))] Dave is smart.[(((triple2) -> rule3))] Harry is green.[(((triple3) -> rule8))] @2: Harry is red.[(((((triple3) -> rule8)) -> rule7))]