Dave became so big that he is now very round. Fortunately the rather green man is still nice. Young Gary is wearing green pants. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. People who are round, blue and cold are usually nice. Cold, rough people are always green. A nice and blue person who's also red will be a rough person. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. Humans who are nice to others while they are young and red will also be green. Blue people round with fat are red from too much time in the sun. It's always true that round, kind people are rough as well.
Dave is not kind.
@0: Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Gary is green.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple9)] Harry is rough.[(triple8 OR ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1) ((triple9 triple7) -> rule6)) -> rule3))] Harry is round.[(triple7)] @1: Harry is red.[(((triple9 triple7) -> rule6))] @2: Harry is cold.[(((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4))] @3: Harry is green.[(((((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4) triple8) -> rule2) OR ((((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4) ((triple9 ((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1) ((triple9 triple7) -> rule6)) -> rule3)) -> rule2))] Harry is nice.[(((triple7 triple9 ((triple7 triple9 ((triple9 triple7) -> rule6)) -> rule4)) -> rule1))]