Bob is green and cold too. Charlie seems big and rough, but he's actually quite kind. The young person who is always feeling cold is named Dave. When Eric walks around the neighborhood being nice and kind, the closer you get to him you can tell he is blue and red. A rather big person is a red person. Young people who are cold and blue are actually kind. Rough people who are kind and green with envy are red with their toughened skin. Rough and big people are always also cold people. People turn green when they are feeling blue. If someone is cold and blue, you will find that they are also quite young. A person who is green, blue, and red in color will be round shaped.
Eric is not blue.
@0: Bob is cold.[(triple2)] Bob is green.[(triple1)] Charlie is big.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Dave is cold.[(triple7)] Dave is young.[(triple6)] Eric is blue.[(triple11)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] @1: Bob is blue.[(((triple1) -> rule5))] Charlie is cold.[(((triple3 triple5) -> rule4))] Charlie is red.[(((triple5) -> rule1))] @2: Bob is young.[(((((triple1) -> rule5) triple2) -> rule6))] @3: Bob is kind.[(((triple2 ((triple1) -> rule5) ((((triple1) -> rule5) triple2) -> rule6)) -> rule2))]