Anne is young. Bob is young. Charlie is smart. If something is smart then it is not rough. All rough, white things are big. Green, smart things are big. All white things are young. If something is smart and not rough then it is white. Rough things are not white.
Charlie is young.
@0: Anne is young.[(triple1)] Bob is young.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is not rough.[(((triple3) -> rule1))] @2: Charlie is white.[(((triple3 ((triple3) -> rule1)) -> rule5))] @3: Charlie is young.[(((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4))]