That man standing next to you with a big round body goes by the name of Bob. Dave is big and rough. Eric gets red when he is mad and tends to act very cold. Harry wears all blue. A big round person is nice. Pick someone blue, kind and big, and they are certain to be green as well. If you see someone who is red and green they are round, like Santa Claus. Rough folks with green and red coloration tend to feel cold no matter what. Big people that have a rough demeanor usually feel blue. A person who is very round is nice but also quite rough.
Eric is not green.
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple4)] Dave is rough.[(triple3)] Eric is cold.[(triple6)] Eric is red.[(triple5)] Harry is blue.[(triple7)] @1: Bob is nice.[(((triple1 triple2) -> rule1))] Dave is blue.[(((triple4 triple3) -> rule5))] @2: Bob is rough.[(((triple1 ((triple1 triple2) -> rule1)) -> rule6))] @3: Bob is blue.[(((triple2 ((triple1 ((triple1 triple2) -> rule1)) -> rule6)) -> rule5))]