Alan is very nice to people, but he's also rather big. Bob ate some rotten meat and now feels green. That guy Dave is big, but he's always kind to little ones. Eric is rough and is blue, but that's because he's big and round in a small and square world. Big, kind people that are rough are known for being red. Young people with red skin who are a bit downhearted and blue are kind. Someone who is both red and blue will also be a nice person. Rough people, round from over eating, who are also cold are young and don't mind the draft. Young and rough green people, have no choice but to be red. It's said that any person with blue skin, round bones, and big feet is kind.
Eric is not red.
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple3)] Dave is big.[(triple5)] Dave is kind.[(triple4)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] @1: Eric is kind.[(((triple8 triple6 triple9) -> rule6))] @2: Eric is red.[(((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1))] @3: Eric is nice.[(((((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1) triple8) -> rule3))]