Charlie is big. Gary is white. Harry is blue. If Harry is smart then Harry is rough. If Charlie is quiet and Charlie is not big then Charlie is smart. Big things are quiet. All white things are smart. All blue things are young. If something is smart and blue then it is white. If something is smart then it is blue. If something is big and not smart then it is not rough.
Harry is not young.
@0: Charlie is big.[(triple1)] Gary is white.[(triple2)] Harry is blue.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule3))] Gary is smart.[(((triple2) -> rule4))] Harry is young.[(((triple3) -> rule5))] @2: Gary is blue.[(((((triple2) -> rule4)) -> rule7))] @3: Gary is young.[(((((((triple2) -> rule4)) -> rule7)) -> rule5))]