Anne is not big. Anne is not furry. Anne is kind. Anne is not rough. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is not white. Erin is not furry. Erin is kind. Erin is round. Erin is young. If Erin is furry then Erin is not white. All big things are not young. If something is big and not white then it is kind.
Charlie is young.
@0: Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is not furry.[(triple2)] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10 OR ((triple8 triple12) -> rule3))] Charlie is not white.[(triple12)] Charlie is rough.[(triple11)] Erin is kind.[(triple14)] Erin is not furry.[(triple13)] Erin is round.[(triple15)] Erin is young.[(triple16)] @1: Charlie is not young.[(((triple8) -> rule2))]