Dave is blue. Erin is young. Harry is kind. All kind people are white. If Harry is young and Harry is smart then Harry is red. If someone is white then they are blue. If someone is white and cold then they are not blue. Kind, cold people are blue. All white people are kind. If someone is smart and not white then they are not red. If Dave is kind and Dave is not red then Dave is young.
Harry is smart.
@0: Dave is blue.[(triple1)] Erin is young.[(triple2)] Harry is kind.[(triple3)] @1: Harry is white.[(((triple3) -> rule1))] @2: Harry is blue.[(((((triple3) -> rule1)) -> rule3))]