Alan was nice and big and round and his face was red from the cold weather. That guy Bob sure is nice. Rough and cold that is what they say about Blue Eric. That guy Harry sure is nice. A person who is feeling rough, has red cheeks and feeling green will also tend to feel blue. A kind person who is down in the dumps and blue tends to have a rough side. Young and rough people will most certainly be red. Nice people with red and rough skin are green with envy. Is a kind person if feeling cold and looking red then they are usually young. Rough people who look red are cold. People who are round and red tend  to be rough.
Alan is not green.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4 OR ((triple2 ((triple2 triple1) -> rule7)) -> rule6))] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is nice.[(triple6)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Harry is nice.[(triple10)] @1: Alan is rough.[(((triple2 triple1) -> rule7))] @2: Alan is green.[(((((triple2 triple1) -> rule7) triple3 triple2) -> rule4))] @3: Alan is blue.[(((triple2 ((((triple2 triple1) -> rule7) triple3 triple2) -> rule4) ((triple2 triple1) -> rule7)) -> rule1))]