Bob ate some rotten meat and now feels green. Red Charlie is what folks call him, because he is quite red. They always call him rough Eric. Young Harry is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. A kind person with green and red skin must be big too. Any cold, round, green person is going to be young at the same time. In every case of people being kind and blue and green, we find they are concurrently nice. A round shaped and red person is definitely nice. A big and rough person can be misleading because they are cold and blue as well. A nice red person that is cold is always big, I have found. If a person is quite big and also round then they are certainly rough too.
Charlie is not blue.
@0: Bob is green.[(triple1)] Charlie is red.[(triple2)] Eric is rough.[(triple3)] Harry is cold.[(triple7)] Harry is red.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple4)] @1: Harry is nice.[(((triple5 triple6) -> rule4))] @2: Harry is big.[(((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6))] @3: Harry is rough.[(((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7))] @4: Harry is blue.[(((triple7 ((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) ((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7)) -> rule5))]