Bob is interestingly colored red and blue, and is also very kind. Dave was born only a few years ago so he is young. Fred is a man who is both round and rough. Red Gary is what folks call him, because he is quite red. Cold, rough people are always green. A depressed person feeling blue who is kind cannot escape from being green. A cold and blue appearing person will be young as well. Kind people,though green,tend to be nice. Nice people that are colored red and green are always round. I bet you didn't know that nice, kind, cold people happen to be red. A big and rough person who is blue is also considered to be green.
Bob is not green.
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is young.[(triple4)] Fred is rough.[(triple6)] Fred is round.[(triple5)] Gary is red.[(triple7)] @1: Bob is green.[(((triple3 triple2) -> rule2))] @2: Bob is nice.[(((triple2 ((triple3 triple2) -> rule2)) -> rule4))] @3: Bob is round.[(((((triple3 triple2) -> rule2) triple1 ((triple2 ((triple3 triple2) -> rule2)) -> rule4)) -> rule5))]