Bob, a kind young person is always feeling blue. Dave is nice and kind,though he's also rather cold. For being so cold, it's good Eric can remain nice. Gary is a kind person and he is also often cold. If you're truly nice, cold, and blue, you're kind, too. A blue colored person who is nice is a red person. If you come across a young, blue person you can count on them being nice to you. Big, kind folks are green ones. A person who is kind and rough and blue is young. Nice, young red people will also turn out to always be green. Cold, young people are also certain to be rough people.
Bob is green.
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Eric is cold.[(triple8)] Eric is nice.[(triple7)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] @1: Bob is nice.[(((triple3 triple1) -> rule3))] @2: Bob is red.[(((((triple3 triple1) -> rule3) triple3) -> rule2))] @3: Bob is green.[(((triple1 ((((triple3 triple1) -> rule3) triple3) -> rule2) ((triple3 triple1) -> rule3)) -> rule6))]