Bob has a round face and is very nice. Red Charlie is what folks call him, because he is quite red. The big, round, blue guy is Dave. He's kind but rather rough. Gary is young and green, so although he is rough and blue with sadness, he'll grow out of it. Young people who are big, downhearted, and blue are kind. Rough people, round from over eating, who are also cold are young and don't mind the draft. A rough, blue person is often said to be nice. Nice people who are big are always cold because they can't find space near the heater. They found the ones that were round, blue, and green to be nice. Anybody that is blue, red and cold will also be round, for sure. Someone can be big and rough, but cold even though they are kind.
Charlie is not big.
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is red.[(triple3)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is kind.[(triple6 OR ((((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5 triple8) -> rule7) OR ((triple8 triple7 ((triple4 ((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5) -> rule2)) -> rule1))] Dave is rough.[(triple5)] Dave is round.[(triple4)] Gary is blue.[(triple12)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Dave is nice.[(((triple7 triple5) -> rule3))] Gary is nice.[(((triple12 triple10) -> rule3))] @2: Dave is cold.[(((triple8 ((triple7 triple5) -> rule3)) -> rule4))] @3: Dave is young.[(((triple4 ((triple8 ((triple7 triple5) -> rule3)) -> rule4) triple5) -> rule2))]