Anne is rough. Anne is round. Anne is smart. Anne is white. Anne is young. Charlie is kind. Charlie is rough. Charlie is round. Charlie is not white. Charlie is young. If Charlie is kind then Charlie is blue. If someone is rough then they are smart. If someone is blue and kind then they are smart. If Anne is rough then Anne is blue. If Anne is rough and Anne is young then Anne is round. If Charlie is not blue then Charlie is white.
Anne is not round.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2 OR ((triple1 triple5) -> rule5))] Anne is smart.[(triple3 OR ((triple1) -> rule2))] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is kind.[(triple6)] Charlie is not white.[(triple9)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple10)] @1: Anne is blue.[(((triple1) -> rule4))] Charlie is blue.[(((triple6) -> rule1))] Charlie is smart.[(((triple7) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule3))]