Anne is not white. Charlie is young. Dave is not smart. Gary is nice. All rough, round things are white. Young things are white. White, round things are rough. If something is smart and not young then it is not rough. All furry, young things are rough. All nice, round things are smart. If Gary is furry then Gary is white. All rough things are nice.
Charlie is young.
@0: Anne is not white.[(triple1)] Charlie is young.[(triple2)] Dave is not smart.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is white.[(((triple2) -> rule2))]