Bob gets red when he is mad and tends to act very cold. Red Charlie is what folks call him, because he is quite red. Big Dave is cold but kind and always green. You will probably see that red, round people are nice, as well as green. If you big person approaches and is cold, fear not because they are nice. Someone can be young, big, and cold but green. A person that is known to be big and rough is also green, they will feel blue about it. Round and somewhat big people manage to be kind to everyone. Kind people who are nice find that they must also be rough.
Charlie is not rough.
@0: Bob is cold.[(triple2)] Bob is red.[(triple1)] Charlie is red.[(triple3)] Dave is big.[(triple7)] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] @1: Dave is nice.[(((triple7 triple6) -> rule2))] @2: Dave is rough.[(((triple4 ((triple7 triple6) -> rule2)) -> rule6))] @3: Dave is blue.[(((triple7 ((triple4 ((triple7 triple6) -> rule2)) -> rule6) triple5) -> rule4))]