Anne is big. Anne is not green. Anne is kind. Anne is not quiet. Anne is not round. Anne is white. Anne is young. Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not round. Charlie is white. Charlie is young. If someone is quiet and big then they are young. If Anne is quiet and Anne is green then Anne is white. If someone is green and not round then they are white.
Charlie is round.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not quiet.[(triple4)] Anne is not round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Charlie is not round.[(triple12)] Charlie is quiet.[(triple11)] Charlie is white.[(triple13 OR ((triple9 triple12) -> rule3))] Charlie is young.[(triple14 OR ((triple11 triple8) -> rule1))]