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