Bob ate some rotten meat and now feels green. Dave loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. That man standing next to you with a big round body goes by the name of Eric. Because Harry, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. People who are rough are young. Cold, red people are generally kind and big. People,though rough and red,tend to be cold too. Being kind and young means that if they are also blue, they are always red. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A person who is very round is nice but also quite rough. I've noticed that big people with blue and green skin tend to be young.
Dave is not green.
@0: Bob is green.[(triple1)] Dave is cold.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Eric is big.[(triple6)] Eric is round.[(triple5)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7 OR ((triple9) -> rule1))] @1: Dave is young.[(((triple3) -> rule1))] Harry is red.[(((triple11 triple10 triple7) -> rule4) OR ((triple11 triple10 ((triple9) -> rule1)) -> rule4))] @2: Harry is cold.[(((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3) OR ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3))] @3: Harry is big.[(((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 triple7) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 triple7) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2) OR ((triple10 ((triple11 triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple11 triple10 ((triple9) -> rule1)) -> rule4)) -> rule3)) -> rule2))]