Bob is blue from ink he spilled on himself while being kind and helping some children paint. Eric gets red when he is mad and tends to act very cold. Fred is a big young boy with a bit of a rough streak. Most of the times he is nice, especially when his skin is green and blue. Most young, green people are kind and because of this they are round. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. When someone feels cold, while being big and rough, they always turn out to be red. Round green people usually feel blue. You will always find a cold, rough, red person to also be a round person. Unfortunately, all the young people who are considered green are all round.
Eric is not blue.
@0: Bob is blue.[(triple2)] Bob is kind.[(triple1)] Eric is cold.[(triple4)] Eric is red.[(triple3)] Fred is big.[(triple10)] Fred is blue.[(triple9 OR ((((triple8 triple5) -> rule6) triple8) -> rule4))] Fred is green.[(triple8)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] @1: Fred is round.[(((triple8 triple5) -> rule6))] @2: Fred is cold.[(((((triple8 triple5) -> rule6) triple7 triple5) -> rule2))] @3: Fred is red.[(((((((triple8 triple5) -> rule6) triple7 triple5) -> rule2) triple10 triple6) -> rule3))]