Bob is not furry. Bob is young. Dave is kind. Dave is nice. Erin is kind. Erin is not white. Fiona is kind. Fiona is nice. Fiona is white. Fiona is young. All furry people are kind. Red people are not young. If Bob is furry then Bob is green. If someone is young then they are white. Young, kind people are nice. If someone is white and not kind then they are not nice. Young people are not green. If someone is nice and not red then they are green.
Dave is not green.
@0: Bob is not furry.[(triple1)] Bob is young.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Erin is kind.[(triple5)] Erin is not white.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8 OR ((triple10 triple7) -> rule5))] Fiona is white.[(triple9 OR ((triple10) -> rule4))] Fiona is young.[(triple10)] @1: Bob is not green.[(((triple2) -> rule7))] Bob is white.[(((triple2) -> rule4))] Fiona is not green.[(((triple10) -> rule7))]