Charlie is white. Gary is kind. Harry is kind. If something is big and round then it is white. Round things are white. If Gary is round then Gary is rough. If something is white then it is rough. All kind, big things are round. All nice things are big. If something is rough then it is kind. If something is rough and big then it is blue.
Harry is nice.
@0: Charlie is white.[(triple1)] Gary is kind.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is rough.[(((triple1) -> rule4))] @2: Charlie is kind.[(((((triple1) -> rule4)) -> rule7))]