Charlie, the big, round fellow over there, is an odd mix of green and blue. The round, rough, and green one was labeled Dave after all. Gary is a very nice man who is kind to everyone and has a round body that makes him feel blue when he wears red. People who are round and red are young. Red, green and cold people are certain to be young people, too. Maybe someone is round and rough but wears green shoes. When you make the hulk big and green, he is filled with red rage. If I met someone who was big and nice with a red sunburn I would know that they are not from here and actually very green and new to the area. A young person that is also big and round is usually though of as green,. Young people who are big are often rough.
Charlie is not young.
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is round.[(triple1)] Dave is green.[(triple7 OR ((triple6 triple5) -> rule3))] Dave is rough.[(triple6)] Dave is round.[(triple5)] Gary is blue.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Charlie is red.[(((triple4 triple2) -> rule4))] Gary is young.[(((triple8 triple9) -> rule1))] @2: Charlie is young.[(((triple1 ((triple4 triple2) -> rule4)) -> rule1))] @3: Charlie is rough.[(((((triple1 ((triple4 triple2) -> rule4)) -> rule1) triple4) -> rule7))]