Bob is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Charlie is a young fellow who is a bit rough around the edges, who tends to treat people nice while being both green and blue. Dave has been blue because he's green with envy. Eric has been blue because he's green with envy. When nice people are feeling blue and wearing green then they are round. A young person that is rough and kind if often assumed to be nice. Blue people are known the world over as nice people. Round blue people are said to be very kind. People that are very big and slightly blue will be on the young side. A kind natured and big shaped person that is also cold will be green.
Eric is not round.
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is nice.[(triple1 OR ((triple3) -> rule3))] Charlie is blue.[(triple8)] Charlie is green.[(triple7)] Charlie is nice.[(triple6 OR ((triple8) -> rule3))] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple10)] Dave is green.[(triple9)] Eric is blue.[(triple12)] Eric is green.[(triple11)] @1: Charlie is round.[(((triple8 triple6 triple7) -> rule1) OR ((triple8 ((triple8) -> rule3) triple7) -> rule1))] Dave is nice.[(((triple10) -> rule3))] Eric is nice.[(((triple12) -> rule3))] @2: Charlie is kind.[(((triple8 ((triple8 triple6 triple7) -> rule1)) -> rule4) OR ((triple8 ((triple8 ((triple8) -> rule3) triple7) -> rule1)) -> rule4))] Dave is round.[(((triple10 ((triple10) -> rule3) triple9) -> rule1))] Eric is round.[(((triple12 ((triple12) -> rule3) triple11) -> rule1))] @3: Dave is kind.[(((triple10 ((triple10 ((triple10) -> rule3) triple9) -> rule1)) -> rule4))] Eric is kind.[(((triple12 ((triple12 ((triple12) -> rule3) triple11) -> rule1)) -> rule4))]