They always call him rough Alan. Charlie, who is round, red, kind, and also green, tends to be rather blue. Eric is big and round man that is looking rather green after seeing some bad mayonnaise. Harry ate some rotten meat and now feels green. When anyone can be described as nice, young and big, they can also be described as red. Fat, round people who are green with envy and notoriously rough. A quite nice person who is red and green is also big. Big, rough people sometimes are also green and when they are they must be cold. When someone feels cold, while being big and rough, they always turn out to be red. Big people are also round people. A person who is round and nice is cold.
Eric is red.
@0: Alan is rough.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is round.[(triple7 OR ((triple9) -> rule6))] Harry is green.[(triple10)] @1: Charlie is rough.[(((triple5 triple2) -> rule2))] Eric is rough.[(((triple8 triple7) -> rule2) OR ((triple8 ((triple9) -> rule6)) -> rule2))] @2: Eric is cold.[(((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) OR ((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4))] @3: Eric is red.[(((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5))]