Alan is a young guy who is also round, red, kind, cold and blue. Bob ate some rotten meat and now feels green. Dave is big and dresses in blue. Big Harry, the most blue guy I know while also being cold. Big, kind people are nice. A depressed person feeling blue who is kind cannot escape from being green. Despite being too big with bright green skin and freezing cold, these people have always been kind. Interestingly, cold and rough people are kind. A human that's round, red and kind will be also be a green human. Blue people who are big tend to be rough. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Dave is not nice.
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple7)] Dave is big.[(triple9)] Dave is blue.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] @1: Alan is green.[(((triple6 triple4) -> rule2) OR ((triple3 triple2 triple4) -> rule5))] Dave is rough.[(((triple8 triple9) -> rule6))] Harry is rough.[(((triple11 triple12) -> rule6))] @2: Dave is nice.[(((triple8 ((triple8 triple9) -> rule6) triple9) -> rule7))] Harry is kind.[(((triple10 ((triple11 triple12) -> rule6)) -> rule4))] Harry is nice.[(((triple11 ((triple11 triple12) -> rule6) triple12) -> rule7) OR ((((triple10 ((triple11 triple12) -> rule6)) -> rule4) triple12) -> rule1))] @3: Harry is green.[(((triple11 ((triple10 ((triple11 triple12) -> rule6)) -> rule4)) -> rule2))]