Alan was born only a few years ago so he is young. Young Bob is a round fellow: sometimes nice, sometimes rough. The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been. They always call him rough Eric. You will probably see that red, round people are nice, as well as green. Rough and cold and blue people are round. A rough person who is young and nice is also red. A green colored person will be young and also kind.
Bob is not red.
@0: Alan is young.[(triple1)] Bob is nice.[(triple5)] Bob is rough.[(triple4)] Bob is round.[(triple3)] Bob is young.[(triple2)] Dave is green.[(triple9)] Dave is nice.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Eric is rough.[(triple10)] @1: Bob is red.[(((triple2 triple5 triple4) -> rule3))] @2: Bob is green.[(((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1))] @3: Bob is kind.[(((((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1) triple2) -> rule4))]