Alan was feeling red with anger after the fight, but he was still a nice but big human being. Dave ate some rotten meat and now feels green. Eric is rough and cold, but he's young and will get over it. Young round blue people are also big people. Young and rough people tend to be green too. Cold people who are young and green are actually nice. Green people with red round cheeks are young. Young round folks who are at least a bit red are actually nice. Someone might be red but blue from the cold dressing in green. Young people tend to rough and nice, but they are also red.
Alan is not cold.
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Dave is green.[(triple4)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Eric is young.[(triple5)] @1: Eric is green.[(((triple5 triple6) -> rule2))] @2: Eric is nice.[(((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3))] @3: Eric is red.[(((triple5 triple6 ((triple7 ((triple5 triple6) -> rule2) triple5) -> rule3)) -> rule7))]