Charlie is round. All red things are big. If something is red then it is big. All big, rough things are round. Round things are not red. If something is kind and not red then it is not young. Kind, red things are young.
Charlie is round.
@0: Charlie is round.[(triple1)] @1: Charlie is not red.[(((triple1) -> rule4))]