Anne is not white. Charlie is nice. Dave is rough. Erin is kind. If something is big and kind then it is white. Red things are white. Big things are kind. If something is young and not nice then it is kind. Kind things are red. If something is kind then it is rough. If something is young and not white then it is not rough. All big things are rough.
Erin is not kind.
@0: Anne is not white.[(triple1)] Charlie is nice.[(triple2)] Dave is rough.[(triple3)] Erin is kind.[(triple4)] @1: Erin is red.[(((triple4) -> rule5))] Erin is rough.[(((triple4) -> rule6))] @2: Erin is white.[(((((triple4) -> rule5)) -> rule2))]