Dave has rough, green skin and that makes him cold. He also feels blue for his big size. Eric is big and rough. Fred is young and round, he is also green. Harry is green, which is a possible explanation for why he is so nice. Big people who are red in color are often nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. When someone feels blue and rough, they might be described as green. Big, blue people are red.
Dave is not nice.
@0: Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is cold.[(triple3)] Dave is green.[(triple2 OR ((triple4 triple1) -> rule3))] Dave is rough.[(triple1)] Eric is big.[(triple7)] Eric is rough.[(triple6)] Fred is green.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] Harry is green.[(triple12)] Harry is nice.[(triple11)] @1: Dave is red.[(((triple4 triple5) -> rule4))] @2: Dave is nice.[(((triple5 ((triple4 triple5) -> rule4)) -> rule1))] @3: Dave is kind.[(((((triple5 ((triple4 triple5) -> rule4)) -> rule1) ((triple4 triple5) -> rule4)) -> rule2))]