Anne is big. Anne is red. Anne is white. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. If something is green and big then it is rough. If something is rough then it is green. If Charlie is white and Charlie is round then Charlie is red. If Charlie is green and Charlie is kind then Charlie is round. If something is green then it is round. If something is white then it is rough.
Anne is round.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is green.[(triple4 OR ((((triple7) -> rule6)) -> rule2))] Charlie is kind.[(triple5)] Charlie is round.[(triple6 OR ((triple4) -> rule5) OR ((triple4 triple5) -> rule4) OR ((((((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((((triple7) -> rule6)) -> rule2) triple5) -> rule4))] Charlie is white.[(triple7)] @1: Anne is rough.[(((triple3) -> rule6))] Charlie is red.[(((triple7 triple6) -> rule3) OR ((triple7 ((triple4) -> rule5)) -> rule3) OR ((triple7 ((triple4 triple5) -> rule4)) -> rule3) OR ((triple7 ((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule3) OR ((triple7 ((((((triple7) -> rule6)) -> rule2) triple5) -> rule4)) -> rule3))] Charlie is rough.[(((triple7) -> rule6))] @2: Anne is green.[(((((triple3) -> rule6)) -> rule2))] @3: Anne is round.[(((((((triple3) -> rule6)) -> rule2)) -> rule5))]