That man standing next to you with a big round body goes by the name of Alan. Charlie is interestingly colored red and blue, and is also very kind. Dave always goes out of his way to show that he is kind to people. Harry always goes out of his way to show that he is kind to people. I've noticed that kind people are also big. A depressed person feeling blue who is kind cannot escape from being green. Big, rough people sometimes are also green and when they are they must be cold. It's impossible for someone to be red, big, and cold without them also being kind. Blue people who are big tend to be rough.
Charlie is not blue.
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Dave is kind.[(triple6)] Harry is kind.[(triple7)] @1: Charlie is big.[(((triple4) -> rule1))] Charlie is green.[(((triple5 triple4) -> rule2))] Dave is big.[(((triple6) -> rule1))] Harry is big.[(((triple7) -> rule1))] @2: Charlie is rough.[(((triple5 ((triple4) -> rule1)) -> rule5))] @3: Charlie is cold.[(((((triple5 ((triple4) -> rule1)) -> rule5) ((triple4) -> rule1) ((triple5 triple4) -> rule2)) -> rule3))]