To the touch Alan has rough, cold skin. Even though Charlie is big and round, he is cold much of the time. Big Eric is nice but also rough. Fred is nice and kind, but a little rough. A nice green person that tends to be rough will indeed be round too. I've found that people with rough skin tend to be really nice but they also often feel blue. Nice people who are big are always cold because they can't find space near the heater. If you ever find someone who's nice, rough, and blue, expect them to also be green.
Charlie is not green.
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Charlie is round.[(triple3)] Eric is big.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Fred is kind.[(triple11)] Fred is nice.[(triple10)] Fred is rough.[(triple9)] @1: Eric is blue.[(((triple6 triple7) -> rule2))] Eric is cold.[(((triple8 triple7) -> rule3))] Fred is blue.[(((triple9 triple10) -> rule2))] @2: Eric is green.[(((triple7 triple6 ((triple6 triple7) -> rule2)) -> rule4))] Fred is green.[(((triple10 triple9 ((triple9 triple10) -> rule2)) -> rule4))] @3: Eric is round.[(((((triple7 triple6 ((triple6 triple7) -> rule2)) -> rule4) triple7 triple6) -> rule1))] Fred is round.[(((((triple10 triple9 ((triple9 triple10) -> rule2)) -> rule4) triple10 triple9) -> rule1))]