Bob has been blue because he's green with envy. Charlie is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Eric is a very young and nice person. Eric's hair is red with a rough texture. Fred is very big for being so young. Blue people who are also green with envy are rough. Any nice, red, cold fellow is young. I've noticed that big, blue people with rough skin are young. Someone who's big, especially nice, and also cold at the same time can only be young. Absolutely, you can be sure that anyone with the combined features of being rough, red, and round, will always be kind. All rough people are big in some way.
Eric is not blue.
@0: Bob is blue.[(triple2)] Bob is green.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Fred is big.[(triple11)] Fred is young.[(triple10)] @1: Bob is rough.[(((triple2 triple1) -> rule1))] Eric is big.[(((triple7) -> rule6))] @2: Bob is big.[(((((triple2 triple1) -> rule1)) -> rule6))] @3: Bob is young.[(((((((triple2 triple1) -> rule1)) -> rule6) ((triple2 triple1) -> rule1) triple2) -> rule3))]