Alan, the big, round fellow over there, is an odd mix of green and blue. Bob tends to be blue because he is big and this makes him a little rough around the edges. Dave is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Fred has been blue because he's green with envy. Blue people are known the world over as nice people. When a man or woman is kind, that man or woman is red as well. It's truly amazing that blue, kind, round people are always so nice. A rough person will also be a cold person. If I met someone who was big and nice with a red sunburn I would know that they are not from here and actually very green and new to the area. Someone nice is kind.
Bob is round.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is green.[(triple2 OR ((((((((triple3) -> rule1)) -> rule6)) -> rule2) ((triple3) -> rule1) triple4) -> rule5))] Alan is round.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is rough.[(triple5)] Dave is blue.[(triple10)] Dave is kind.[(triple9 OR ((triple8) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] Dave is nice.[(triple8 OR ((triple10) -> rule1))] Fred is blue.[(triple12)] Fred is green.[(triple11)] @1: Alan is nice.[(((triple3) -> rule1))] Bob is cold.[(((triple5) -> rule4))] Bob is nice.[(((triple6) -> rule1))] Dave is red.[(((triple9) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((((triple10) -> rule1)) -> rule6)) -> rule2))] Fred is nice.[(((triple12) -> rule1))] @2: Alan is kind.[(((((triple3) -> rule1)) -> rule6))] Bob is kind.[(((((triple6) -> rule1)) -> rule6))] Fred is kind.[(((((triple12) -> rule1)) -> rule6))] @3: Alan is red.[(((((((triple3) -> rule1)) -> rule6)) -> rule2))] Bob is red.[(((((((triple6) -> rule1)) -> rule6)) -> rule2))] Fred is red.[(((((((triple12) -> rule1)) -> rule6)) -> rule2))] @4: Bob is green.[(((((((((triple6) -> rule1)) -> rule6)) -> rule2) ((triple6) -> rule1) triple7) -> rule5))]