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 nice.
@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))]