Young Alan is quite nice, and because he is so round can be considered quite big. In the snow sits Bob, crying from being cold. Even though he's a big dude, Charlie is cold. Young and rough people tend to be green too. Nice people who are big are always cold because they can't find space near the heater. A young, green person who is cold is rough around the edges. Young people who are nice and cold, are rather green.
Alan is green.
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple5)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] @1: Alan is cold.[(((triple4 triple3) -> rule2))] @2: Alan is green.[(((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4))] @3: Alan is rough.[(((((triple4 triple3) -> rule2) ((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4) triple1) -> rule3))]