Dave is blue and cold. Even though Eric is big and round, he is cold much of the time. Gary ate some rotten meat and now feels green. Harry felt young and rough. He made himself red, green, and blue. Kind young people are red. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Blue, young and round people are usually big. If you are big and young then your are also nice. Color anybody red and blue, then make them rough, and they will surely be round. People who are considered rough, blue, and nice, are also green.
Harry is not nice.
@0: Dave is blue.[(triple2)] Dave is cold.[(triple1)] Eric is big.[(triple5)] Eric is cold.[(triple4)] Eric is round.[(triple3)] Gary is green.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10 OR ((triple8 triple11 ((((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3) triple7) -> rule4)) -> rule6))] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Harry is round.[(((triple11 triple8 triple9) -> rule5))] @2: Harry is big.[(((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3))] @3: Harry is nice.[(((((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3) triple7) -> rule4))]