Charlie is big. Charlie is cold. Charlie is round. If someone is green then they are big. All big, cold people are green.
Charlie is not furry.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is green.[(((triple1 triple2) -> rule2))]