Alan is a man who is both round and rough. Bob is red when he is rough and blue when he is kind. 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. Green and blue people have a habit of being cold, which makes them red too. As far as anyone can tell, whoever is kind, rough, and big is a round person. People that feel green are cold to people that try to help them. If a rather cold person is also kind then they are probably rough. A red and green colored person who is cold will be round shaped. Those who are round and cold are young.
Dave is young.
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Dave is green.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Eric is rough.[(triple11)] @1: Dave is cold.[(((triple10) -> rule3))] @2: Dave is round.[(((triple8 ((triple10) -> rule3) triple10) -> rule5))] @3: Dave is young.[(((((triple10) -> rule3) ((triple8 ((triple10) -> rule3) triple10) -> rule5)) -> rule6))]