Charlie is blue. Charlie is cold. Charlie is green. Young people are green. White, nice people are young. All young, green people are round. Blue, nice people are white. Round, white people are cold. All green, cold people are young.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] @1: Charlie is young.[(((triple3 triple2) -> rule6))] @2: Charlie is round.[(((((triple3 triple2) -> rule6) triple3) -> rule3))]