Anne is furry. Anne is green. Anne is not kind. Anne is not quiet. Anne is rough. Anne is young. Bob is green. Bob is kind. Bob is quiet. Bob is not rough. All furry, quiet people are green. If someone is red then they are rough. If Anne is red then Anne is young. All red people are furry. If someone is furry then they are young. Furry, quiet people are not kind.
Bob is red.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not kind.[(triple3)] Anne is not quiet.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6 OR ((triple1) -> rule5))] Bob is green.[(triple7)] Bob is kind.[(triple8)] Bob is not rough.[(triple10)] Bob is quiet.[(triple9)]