Big Dave is a young, round man. Eric tends to be blue because he is big and this makes him a little rough around the edges. Fred has been blue because he's green with envy. Harry is a young person who often feels blue and cold. Big round people are usually blue. Round people who are kind and green with envy are young. When a man or woman is kind, that man or woman is red as well. Kind red people are also fairly cold and take getting to know. Round blue people are said to be very kind. Cold and rough people are usually red. Big and round young people are often nice.
Dave is kind.
@0: Dave is big.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple6)] Eric is blue.[(triple5)] Eric is rough.[(triple4)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is young.[(triple9)] @1: Dave is blue.[(((triple2 triple3) -> rule1))] Dave is nice.[(((triple3 triple2 triple1) -> rule7))] @2: Dave is kind.[(((((triple2 triple3) -> rule1) triple2) -> rule5))] @3: Dave is red.[(((((((triple2 triple3) -> rule1) triple2) -> rule5)) -> rule3))] @4: Dave is cold.[(((((((((triple2 triple3) -> rule1) triple2) -> rule5)) -> rule3) ((((triple2 triple3) -> rule1) triple2) -> rule5)) -> rule4))]