Big blue Alan is nice and young. Bob is rather rough but nice, he is a little green, cold and blue. Even though he's a big dude, Charlie is cold. Eric always goes out of his way to show that he is kind to people. Any cold, round, green person is going to be young at the same time. If you color the young ones blue then they will be kind. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Alan is not young.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple9)] Bob is cold.[(triple8)] Bob is green.[(triple7)] Bob is nice.[(triple6)] Bob is rough.[(triple5)] Charlie is big.[(triple11)] Charlie is cold.[(triple10)] Eric is kind.[(triple12)] @1: Alan is kind.[(((triple3 triple1) -> rule2))] Bob is red.[(((triple8 triple6 triple9) -> rule3))] @2: Alan is cold.[(((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4))] @3: Alan is red.[(((((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4) triple2 triple3) -> rule3))]