Anne is big. Anne is not blue. Anne is nice. Anne is quiet. Charlie is big. Charlie is not nice. Harry is not quiet. All rough people are big. All quiet people are big. Quiet people are rough. Red, big people are not rough. Rough people are quiet. If someone is rough and not big then they are nice. If someone is red and not rough then they are green. If Anne is blue and Anne is green then Anne is not nice.
Charlie is nice.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple4) -> rule3)) -> rule1))] Anne is nice.[(triple3)] Anne is not blue.[(triple2)] Anne is quiet.[(triple4)] Charlie is big.[(triple5)] Charlie is not nice.[(triple6)] Harry is not quiet.[(triple7)] @1: Anne is rough.[(((triple4) -> rule3))]