Charlie is a young man who is big and round. He is also kind with a bit of a cold streak. 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. Others enjoy Eric's company because he is so nice and kind. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Rough people, round from over eating, who are also cold are young and don't mind the draft. Blue people who are cold are always round in shape. Red people feel blue about it. When someone feels cold, while being big and rough, they always turn out to be red. Young people that are cold and round are necessarily big. An individual with green, blue and big characteristics will also be rough.
Dave is not green.
@0: Charlie is big.[(triple5 OR ((triple4 triple2 triple1) -> rule6))] Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] @1: Dave is young.[(((triple6 triple8 triple7) -> rule2))] @2: Dave is big.[(((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6))] @3: Dave is red.[(((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5))] @4: Dave is blue.[(((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5)) -> rule4))]