Charlie is both young and red, but is nice and kind but he can be cold. For being so cold, it's good Dave can remain nice. Eric, who is relatively young, is also pretty big and tends to be cold. The young person who is always feeling cold is named Gary. Folks who are rough and tumble yet gentle and kind are blue. Big, kind folks are green ones. People with big smiles and round eyes will have red hair. Any human who is rough, green, and kind, has a blue personality. Young people who feel cold and are still kind usually look rough. When someone is blue, nice and young they will also be as big as the sun. When you run into someone who is rough and green at the same time, they will also be red.
Dave is blue.
@0: Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is red.[(triple2 OR ((((triple5 triple4 triple1) -> rule5) ((((triple1 ((((triple5 triple4 triple1) -> rule5) triple4) -> rule1) triple3) -> rule6) triple4) -> rule2)) -> rule7))] Charlie is young.[(triple1)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is young.[(triple8)] Gary is cold.[(triple12)] Gary is young.[(triple11)] @1: Charlie is rough.[(((triple5 triple4 triple1) -> rule5))] @2: Charlie is blue.[(((((triple5 triple4 triple1) -> rule5) triple4) -> rule1))] @3: Charlie is big.[(((triple1 ((((triple5 triple4 triple1) -> rule5) triple4) -> rule1) triple3) -> rule6))] @4: Charlie is green.[(((((triple1 ((((triple5 triple4 triple1) -> rule5) triple4) -> rule1) triple3) -> rule6) triple4) -> rule2))]