If you meet Alan, you will know that he is young, red and kind. Bob is very big for being so young. Charlie is very big for being so young. Bod is round so he's green with envy of anyone who is not. But Eric is also young and nice so it's easy for him to be kind to others anyway. Nice people flushing red are always young. A downhearted and blue person who is rough around the edges but kind is round. Nice and kind people are downhearted and blue. When people are still young, the blue and round ones will also be a bit red. Just as you might expect, blue and red people are always big.
Eric is not red.
@0: Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple5)] Bob is young.[(triple4)] Charlie is big.[(triple7)] Charlie is young.[(triple6)] Eric is green.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is round.[(triple9)] Eric is young.[(triple8)] @1: Eric is blue.[(((triple10 triple11) -> rule3))] @2: Eric is red.[(((((triple10 triple11) -> rule3) triple9 triple8) -> rule4))] @3: Eric is big.[(((((triple10 triple11) -> rule3) ((((triple10 triple11) -> rule3) triple9 triple8) -> rule4)) -> rule5))]