Anne is kind. Charlie is rough. Erin is green. Fiona is blue. Fiona is kind. Fiona is rough. Fiona is young. If Charlie is rough then Charlie is white. If Fiona is white then Fiona is young. If Charlie is young then Charlie is blue. Green, young people are rough. Furry, white people are rough. All green people are rough.
Charlie is not white.
@0: Anne is kind.[(triple1)] Charlie is rough.[(triple2)] Erin is green.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is white.[(((triple2) -> rule1))] Erin is rough.[(((triple3) -> rule6))]