Charlie is green. Dave is furry. Erin is not furry. Erin is quiet. Fiona is nice. Fiona is quiet. Fiona is not white. If someone is white then they are furry. All white people are not furry. Nice people are red. If someone is quiet and not nice then they are not red. If someone is furry and not white then they are green. If someone is kind and quiet then they are not green. If Dave is kind and Dave is not quiet then Dave is furry. All red people are kind.
Fiona is white.
@0: Charlie is green.[(triple1)] Dave is furry.[(triple2)] Erin is not furry.[(triple3)] Erin is quiet.[(triple4)] Fiona is nice.[(triple5)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple6)] @1: Fiona is red.[(((triple5) -> rule3))] @2: Fiona is kind.[(((((triple5) -> rule3)) -> rule8))] @3: Fiona is not green.[(((((((triple5) -> rule3)) -> rule8) triple6) -> rule6))]