Charlie is kind. Charlie is rough. Charlie is not round. If something is kind and round then it is big. All rough things are furry.
Charlie is kind.
@0: Charlie is kind.[(triple1)] Charlie is not round.[(triple3)] Charlie is rough.[(triple2)] @1: Charlie is furry.[(((triple2) -> rule2))]