Charlie is furry. Charlie is green. Charlie is nice. Erin is red. Fiona is nice. Fiona is red. Fiona is white. If Charlie is green and Charlie is red then Charlie is not white. All white people are nice. If Charlie is not young then Charlie is not green. If someone is white and not young then they are green. All nice people are green. All young people are green. If someone is white and not furry then they are not green. Red, green people are white.
Erin is not white.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple3) -> rule5))] Charlie is nice.[(triple3)] Erin is red.[(triple4)] Fiona is nice.[(triple5 OR ((triple7) -> rule2))] Fiona is red.[(triple6)] Fiona is white.[(triple7 OR ((triple6 ((triple5) -> rule5)) -> rule8))] @1: Fiona is green.[(((triple5) -> rule5) OR ((((triple7) -> rule2)) -> rule5))]