Charlie is still young and round, but he is nice to everyone and kind to animals. Red Dave is what folks call him, because he is quite red. That Eric is a round, rough fellow, and he's nice, as well as big. People who are rough and green with envy are young. If you can find someone who is nice and red, then be relieved that they are certain to be kind. A person who is very round is nice but also quite rough. A young, cold person is often blue. If you meet a young and kind person who is also rough, they are cold, too.
Charlie is red.
@0: Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is red.[(triple5)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7 OR ((triple6 triple8) -> rule3))] Eric is round.[(triple6)] @1: Charlie is rough.[(((triple2 triple3) -> rule3))] @2: Charlie is cold.[(((((triple2 triple3) -> rule3) triple1 triple4) -> rule5))] @3: Charlie is blue.[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple1) -> rule4))]