Charlie is feeling blue because he thinks he has been too nice to people which makes him red in anger and causes him to act in a rough manner. Dave feels blue because the other kids made fun of his round shape. Fred fits the description of round and rough while also being red and cold. Harry feels blue because the other kids made fun of his round shape. A cold, green person who is kind will tend to be blue. Big round people are usually blue. A downhearted and blue person who is rough around the edges but kind is round. Blue people are known the world over as nice people. When people are still young, the blue and round ones will also be a bit red. Red people,though round,are quite big. 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.
Charlie is not big.
@0: Charlie is blue.[(triple4)] Charlie is nice.[(triple3 OR ((triple4) -> rule4))] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is blue.[(triple6)] Dave is round.[(triple5)] Fred is cold.[(triple10)] Fred is red.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Harry is blue.[(triple12)] Harry is round.[(triple11)] @1: Dave is nice.[(((triple6) -> rule4))] Fred is big.[(((triple9 triple7) -> rule6))] Harry is nice.[(((triple12) -> rule4))] @2: Fred is blue.[(((triple7 ((triple9 triple7) -> rule6)) -> rule2))] @3: Fred is nice.[(((((triple7 ((triple9 triple7) -> rule6)) -> rule2)) -> rule4))] @4: Fred is green.[(((triple9 ((((triple7 ((triple9 triple7) -> rule6)) -> rule2)) -> rule4) ((triple9 triple7) -> rule6)) -> rule7))]