That guy Alan sure is nice. Bob is round but he is also nice and kind. People that know Charlie will tell you he is rough and cold. But he can also be kind and red despite being blue because he is so young. That guy Harry sure is nice. People who are very nice and easily flush red are often wearing green concealer. If you're truly nice, cold, and blue, you're kind, too. Big, kind folks are green ones. Round people who are kind tend to be nice. Young and red people look round. A nice and green man or woman is also red in color.
Charlie is not round.
@0: Alan is nice.[(triple1)] Bob is kind.[(triple4)] Bob is nice.[(triple3 OR ((triple2 triple4) -> rule4))] Bob is round.[(triple2)] Charlie is blue.[(triple10)] Charlie is cold.[(triple9)] Charlie is kind.[(triple8)] Charlie is red.[(triple7)] Charlie is rough.[(triple6)] Charlie is young.[(triple5)] Harry is nice.[(triple11)] @1: Charlie is round.[(((triple5 triple7) -> rule5))] @2: Charlie is nice.[(((((triple5 triple7) -> rule5) triple8) -> rule4))] @3: Charlie is green.[(((((((triple5 triple7) -> rule5) triple8) -> rule4) triple7) -> rule1))]