Charlie is not green. Dave is white. Erin is young. Gary is young. If someone is kind and red then they are blue. All green people are smart. If someone is young and kind then they are smart. If someone is white and smart then they are not green. If someone is white then they are kind. If Dave is kind then Dave is smart. If someone is green and not white then they are not young. If Gary is not young then Gary is blue.
Dave is blue.
@0: Charlie is not green.[(triple1)] Dave is white.[(triple2)] Erin is young.[(triple3)] Gary is young.[(triple4)] @1: Dave is kind.[(((triple2) -> rule5))] @2: Dave is smart.[(((((triple2) -> rule5)) -> rule6))] @3: Dave is not green.[(((triple2 ((((triple2) -> rule5)) -> rule6)) -> rule4))]