Charlie wears a green and red coat, but is always cold. Dave has been blue because he's green with envy. Eric is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. I know that green people that are also red an blue tend to be very kind people. A cold person who is both nice and rough around the edges is big. Nice people who are big and round will have red faces too. Kind people that happen to be cold are round. Absolutely, you can be sure that anyone with the combined features of being rough, red, and round, will always be kind. A human that is cold and also green is also going to be blue.
Harry is not big.
@0: Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is red.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] @1: Charlie is blue.[(((triple3 triple2) -> rule6))] @2: Charlie is kind.[(((triple2 triple1 ((triple3 triple2) -> rule6)) -> rule1))] @3: Charlie is round.[(((((triple2 triple1 ((triple3 triple2) -> rule6)) -> rule1) triple3) -> rule4))]