Known as big round Dave, he is kind and nice and dresses all green and blue. That Eric is as round and red as a cherry, and twice as kind. Harry is a person both green and big. People who are rough, round in shape, and big in stature are usuallu blue in color. Young round folks who are at least a bit red are actually nice. A rough person who is young and nice is also red. Red people feel blue about it. Rough young folks are surprisingly kind. 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. All the kind people in blue were young.
Eric is not young.
@0: Dave is big.[(triple6)] Dave is blue.[(triple5 OR ((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1))] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7)] Harry is big.[(triple11)] Harry is green.[(triple10)] @1: Dave is rough.[(((triple3 triple1 triple2) -> rule6))] Dave is young.[(((triple5 triple3) -> rule7) OR ((((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1) triple3) -> rule7))] Eric is blue.[(((triple8) -> rule4))] @2: Dave is red.[(((((triple5 triple3) -> rule7) triple2 ((triple3 triple1 triple2) -> rule6)) -> rule3) OR ((((((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1) triple3) -> rule7) triple2 ((triple3 triple1 triple2) -> rule6)) -> rule3))] Eric is young.[(((((triple8) -> rule4) triple9) -> rule7))] @3: Eric is nice.[(((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2))] @4: Eric is rough.[(((triple9 triple7 ((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2)) -> rule6))]