Alan is a cold young man. He is prone the being blue with sadness because he is green with envy. Dave is a round fellow, but he is kind, even when he is so cold he turns blue. Big, red Eric is quite kind. A very kind and green colored person, who is also cold, will be nice. Color anybody red and blue, then make them rough, and they will surely be round. Round people are often red before they turn green. Kind people who are blue with sadness and cold toward others are surprisingly red. A person who is young and cold and green is kind.
Bob is not young.
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is round.[(triple5)] Eric is big.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] @1: Alan is kind.[(((triple2 triple1 triple3) -> rule5))] Dave is red.[(((triple7 triple6 triple8) -> rule4))] @2: Alan is nice.[(((((triple2 triple1 triple3) -> rule5) triple2 triple3) -> rule1))] Alan is red.[(((triple3 ((triple2 triple1 triple3) -> rule5) triple4) -> rule4))] Dave is green.[(((triple5 ((triple7 triple6 triple8) -> rule4)) -> rule3))] @3: Dave is nice.[(((triple6 ((triple5 ((triple7 triple6 triple8) -> rule4)) -> rule3) triple7) -> rule1))]