Alan was born only a few years ago so he is young. Bob is colored blue and red. He is also kind and cold to the touch. Red Charlie is what folks call him, because he is quite red. Harry can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. A cold, rough person is also round. Cold people,though green and red,tend to be rough. A green colored, nice and young person will be big shaped. People that feel green are cold to people that try to help them. When you meet someone that's rough, kind and nice you'll see they are green as well. People blue with cold are definitely green and new in these parts.
Bob is not green.
@0: Alan is young.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Charlie is red.[(triple6)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is rough.[(triple7)] @1: Bob is green.[(((triple5 triple4) -> rule6))] Harry is cold.[(((triple8) -> rule4))] @2: Bob is rough.[(((triple4 ((triple5 triple4) -> rule6) triple2) -> rule2))] Harry is round.[(((triple7 ((triple8) -> rule4)) -> rule1))] @3: Bob is round.[(((((triple4 ((triple5 triple4) -> rule6) triple2) -> rule2) triple4) -> rule1))]