That guy Alan sure is nice. Big rough Dave is round and rather green. Eric is a young person who is nice and feeling blue.  He is also described as being red and green. That guy Harry sure is nice. Kind people that are red and round are usually big. Truth be told, every big, rough person out there that is green, will also be colored blue. Count on anyone you meet who is big, round, and red also being kind. Why is it that every round person that is blue is so young. A young person that is blue and green is also assumed to be nice.
Dave is nice.
@0: Alan is nice.[(triple1)] Dave is big.[(triple5)] Dave is green.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8 OR ((triple6 triple10 triple9) -> rule5))] Eric is red.[(triple7)] Eric is young.[(triple6)] Harry is nice.[(triple11)] @1: Dave is blue.[(((triple3 triple5 triple4) -> rule2))] @2: Dave is young.[(((((triple3 triple5 triple4) -> rule2) triple2) -> rule4))] @3: Dave is nice.[(((((((triple3 triple5 triple4) -> rule2) triple2) -> rule4) ((triple3 triple5 triple4) -> rule2) triple4) -> rule5))]