Anne is not big. Anne is green. Anne is not white. Anne is not young. Bob is green. Bob is quiet. Bob is young. Erin is furry. Erin is quiet. Harry is big. Harry is green. Harry is young. If something is big and not furry then it is green. If something is young then it is green. Young, nice things are quiet.
Erin is not green.
@0: Anne is green.[(triple2)] Anne is not big.[(triple1)] Anne is not white.[(triple3)] Anne is not young.[(triple4)] Bob is green.[(triple5 OR ((triple7) -> rule2))] Bob is quiet.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple8)] Erin is quiet.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11 OR ((triple12) -> rule2))] Harry is young.[(triple12)]