Alan, like all young people, is nice. Bob is colored blue and red. He is also kind and cold to the touch. Young Dave is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. Young Fred is wearing green pants. A rough person who is young and nice is also red. If someone is colored red but is cold, they tend to show a lot of green. When anyone is young, red and green, you know they'll also be blue. Young,cold and blue people are mostly round. People who are described as young, green, and big are often considered rough. It's just a fact that a blue person is a kind person.
Alan is blue.
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple6) -> rule6))] Bob is red.[(triple3)] Dave is cold.[(triple10)] Dave is kind.[(triple9 OR ((((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3)) -> rule6))] Dave is red.[(triple8)] Dave is young.[(triple7)] Fred is green.[(triple12)] Fred is young.[(triple11)] @1: Bob is green.[(((triple3 triple5) -> rule2))] Dave is green.[(((triple8 triple10) -> rule2))] @2: Dave is blue.[(((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3))] @3: Dave is round.[(((((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3) triple7 triple10) -> rule4))]