Bob is a red fellow who habitually looks blue. He's often cold. Dave is a big gentleman who is very nice. He is secretly green with envy. Eric is blue because he is round and big. He is young a bit rough around the edges. Red Fred is what folks call him, because he is quite red. A kind and green person who is rough around the edges is cold. A rather round and big person will be kind, but also blue. People with big hands and red, rough skin are terribly kind. A blue person who is young and rough is also red. Rough, blue people tend to have a lot of green aspects.
Eric is not green.
@0: Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is rough.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Fred is red.[(triple12)] @1: Eric is green.[(((triple9 triple10) -> rule5))] Eric is red.[(((triple10 triple7 triple9) -> rule4))] @2: Eric is kind.[(((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3))] @3: Eric is cold.[(((((triple9 triple10) -> rule5) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3)) -> rule1))]