Alan who is considered nice was feeling rather rough today. As much as Dave is nice, he is also cold and often feels blue. Harry, 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. A quite nice person who is red and green is also big. If someone is colored red but is cold, they tend to show a lot of green. A kind and cold person who is green is, surprisingly, also blue. Big, round, red people are always so young. A very nice and kind person will also be round shaped. Someone who's blue, nice and round will also be someone who's green. Generally, round and kind people are big.
Dave is not green.
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] Harry is round.[(triple6)] @1: Harry is green.[(((triple9 triple8 triple6) -> rule6))] @2: Harry is big.[(((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1))] @3: Harry is young.[(((((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1) triple6 triple7) -> rule4))]