Bob is green. Bob is kind. Bob is not white. Erin is green. Erin is rough. Erin is not smart. Erin is white. Fiona is kind. Fiona is not quiet. Fiona is not rough. If Fiona is not white then Fiona is not smart. If someone is white then they are not smart. All white, kind people are not rough. Quiet people are kind. If Bob is green and Bob is not kind then Bob is furry. If someone is furry and not white then they are green. If someone is smart and quiet then they are not green. If someone is quiet and not rough then they are furry.
Erin is green.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is not white.[(triple3)] Erin is green.[(triple4)] Erin is not smart.[(triple6 OR ((triple7) -> rule2))] Erin is rough.[(triple5)] Erin is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is not rough.[(triple10)]