Anne is not big. Anne is not blue. Anne is nice. Anne is quiet. Anne is not rough. Bob is rough. Charlie is blue. Charlie is nice. Charlie is round. Charlie is young. If Anne is big and Anne is blue then Anne is quiet. If Anne is not blue then Anne is quiet. If someone is rough and nice then they are not quiet. If someone is quiet and not big then they are round. If someone is rough and not young then they are not round. If Charlie is not rough then Charlie is round.
Bob is not round.
@0: Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is not rough.[(triple5)] Anne is quiet.[(triple4 OR ((triple2) -> rule2))] Bob is rough.[(triple6)] Charlie is blue.[(triple7)] Charlie is nice.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] @1: Anne is round.[(((triple4 triple1) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4))]