Charlie is rough, but often feels blue. He is pretty young. Red Dave is what folks call him, because he is quite red. Gary is big and red, but he's young and will grow out of it. If you met Harry you will see that he is round and red, but he is cold. Kind people that are rough and round are also considered big. Most young and nice people will be kind. A rough, blue person is often said to be nice. If a human is both young and kind, they are also cold. Someone who is not only rough and big but also nice will necessarily be round as well. People,though rough and red,tend to be cold too. Someone who is big and kind is blue.
Gary is not young.
@0: Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Dave is red.[(triple4)] Gary is big.[(triple7)] Gary is red.[(triple6)] Gary is young.[(triple5)] Harry is cold.[(triple10)] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Charlie is nice.[(((triple3 triple2) -> rule3))] @2: Charlie is kind.[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))] @3: Charlie is cold.[(((triple1 ((triple1 ((triple3 triple2) -> rule3)) -> rule2)) -> rule4))]