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