Bob feels blue because the other kids made fun of his round shape. Eric is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Fred fits the description of round and rough while also being red and cold. Someone who is green and cold is, at the same time, blue in every case. Round people who are kind and green with envy are young. Nice and kind people are downhearted and blue. Any nice, red, cold fellow is young. A rough person who is green will be round. Remember that anyone with round shapes and rough edges is nice. A young person who has been out in the cold with rough skin is also blue.
Eric is cold.
@0: Bob is blue.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple5 OR ((triple3 triple4) -> rule3))] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Fred is cold.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] @1: Fred is nice.[(((triple6 triple7) -> rule6))] @2: Fred is young.[(((((triple6 triple7) -> rule6) triple8 triple9) -> rule4))] @3: Fred is blue.[(((triple7 triple9 ((((triple6 triple7) -> rule6) triple8 triple9) -> rule4)) -> rule7))]