Harry is round. All big, nice things are not round. If something is round then it is nice. If something is nice and blue then it is big. If something is white then it is not rough. All nice things are white. If something is round and not big then it is not white.
Harry is rough.
@0: Harry is round.[(triple1)] @1: Harry is nice.[(((triple1) -> rule2))] @2: Harry is white.[(((((triple1) -> rule2)) -> rule5))] @3: Harry is not rough.[(((((((triple1) -> rule2)) -> rule5)) -> rule4))]