Nice, but round, Alan has been said to be cold. Charlie, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Dave is rough and green, but he's also nice, kind and round. Kind young people are red. If you can find someone who is nice and red, then be relieved that they are certain to be kind. Any person who is blue and round, if they are kind at the same time, will be young. Blue people who are kind and nice are actually quite rough. A blue and red colored person that is young is also very cold. People who are rough are often rather kind as well.
Alan is green.
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple7)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Dave is green.[(triple12)] Dave is kind.[(triple11 OR ((triple9) -> rule6))] Dave is nice.[(triple10)] Dave is rough.[(triple9)] Dave is round.[(triple8)] @1: Charlie is kind.[(((triple6 triple5) -> rule2))] @2: Charlie is rough.[(((triple7 ((triple6 triple5) -> rule2) triple6) -> rule4))] Charlie is young.[(((triple7 triple4 ((triple6 triple5) -> rule2)) -> rule3))] @3: Charlie is cold.[(((triple7 ((triple7 triple4 ((triple6 triple5) -> rule2)) -> rule3) triple5) -> rule5))]