Dave grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. The big young man with the round body who seems to be having a rough time due to being green is named Eric. In the snow sits Gary, crying from being cold. Harry is young and nice, but when he's feeling blue, he can also be quite cold to people. When you meet someone round, blue and nice they are as a rule rough. His cheeks were red from the cold, and his big blue eye were watering. If you big person approaches and is cold, fear not because they are nice. I've noticed that someone who is big and acts cold towards others is green as well. Young people tend to be blue all the time and rough. There are so many rough, young people and for some reason they are all big too. A big and rough person who is blue is also considered to be green.
Eric is not cold.
@0: Dave is blue.[(triple2)] Dave is rough.[(triple1)] Eric is big.[(triple7 OR ((triple3 triple5) -> rule6))] Eric is green.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is cold.[(triple8)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10 OR ((((triple9 ((triple12 triple9) -> rule5)) -> rule6) triple11) -> rule3))] Harry is young.[(triple9)] @1: Harry is rough.[(((triple12 triple9) -> rule5))] @2: Harry is big.[(((triple9 ((triple12 triple9) -> rule5)) -> rule6))] @3: Harry is green.[(((triple11 ((triple9 ((triple12 triple9) -> rule5)) -> rule6)) -> rule4) OR ((((triple12 triple9) -> rule5) ((triple9 ((triple12 triple9) -> rule5)) -> rule6) triple12) -> rule7))]