Anne is big. Anne is not cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Charlie is not big. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. If someone is big and not furry then they are green. If someone is rough then they are green. Rough people are green. If Anne is cold then Anne is rough. If someone is cold then they are big. Big people are quiet. If Charlie is big then Charlie is green. Furry people are nice.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple7) -> rule2) OR ((triple7) -> rule3))] Anne is nice.[(triple5 OR ((triple3) -> rule8))] Anne is not cold.[(triple2)] Anne is quiet.[(triple6 OR ((triple1) -> rule6))] Anne is rough.[(triple7)] Charlie is furry.[(triple10)] Charlie is green.[(triple11 OR ((triple14) -> rule2) OR ((triple14) -> rule3))] Charlie is nice.[(triple12 OR ((triple10) -> rule8))] Charlie is not big.[(triple8)] Charlie is not cold.[(triple9)] Charlie is quiet.[(triple13)] Charlie is rough.[(triple14)]