Although Charlie is seen as nice and round, his days of playing football have made him quite rough. Eric tends to be nice, but is young. Eric has rough blue skin. Fred is big and red, but he's young and will grow out of it. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. If you meet a nice, young, red man, you will see that they are big too. Nice and blue people have to be big as well. A kind and cold person who is green is, surprisingly, also blue. Nice people who are big are always cold because they can't find space near the heater. Kind people who are blue with sadness and cold toward others are surprisingly red. Someone can be big and rough, but cold even though they are kind.
Eric is not cold.
@0: Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple10)] Fred is red.[(triple9)] Fred is young.[(triple8)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] @1: Eric is big.[(((triple6 triple7) -> rule2))] @2: Eric is cold.[(((((triple6 triple7) -> rule2) triple6) -> rule4))] @3: Eric is kind.[(((((((triple6 triple7) -> rule2) triple6) -> rule4) triple5 ((triple6 triple7) -> rule2)) -> rule6))] @4: Eric is red.[(((((((triple6 triple7) -> rule2) triple6) -> rule4) ((((((triple6 triple7) -> rule2) triple6) -> rule4) triple5 ((triple6 triple7) -> rule2)) -> rule6) triple7) -> rule5))]