To be young and red like Alan is pretty nice, which Green Alan is also. Bob ate some rotten meat and now feels green. For someone so round, Gary turns blue when he's cold. No wonder he's so rough and red with anger all the time. A big person who looks blue is also going to look young. Anyone who is round and also cold will surely be big as well. A person who is cold, rough and young is also nice. A nice person who is downhearted, blue, and green with envy is rough.
Bob is blue.
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Gary is big.[(((triple6 triple9) -> rule2))] @2: Gary is young.[(((triple10 ((triple6 triple9) -> rule2)) -> rule1))] @3: Gary is nice.[(((triple9 ((triple10 ((triple6 triple9) -> rule2)) -> rule1) triple7) -> rule3))]