Charlie is young. Dave is red. If someone is young and nice then they are quiet. If someone is red then they are nice. Quiet, kind people are nice. All smart, young people are kind. All cold people are kind. If Charlie is cold and Charlie is quiet then Charlie is nice. All smart people are cold. All red people are cold.
Dave is not red.
@0: Charlie is young.[(triple1)] Dave is red.[(triple2)] @1: Dave is cold.[(((triple2) -> rule8))] Dave is nice.[(((triple2) -> rule2))] @2: Dave is kind.[(((((triple2) -> rule8)) -> rule5))]