Young Charlie is wearing green pants. That guy Fred is big, but he's always kind to little ones. Harry vowed to always be rough, cold, blue, and big as possible. Blue Christmas ornaments are also red. Big people who are red in color are often nice. A big blue someone could also be green. A person who is green and rough and round is also young. Blue, kind, and cold people are habitually rough. A nice person with rough skin will be round, you can count on it.
Harry is not green.
@0: Charlie is green.[(triple2)] Charlie is young.[(triple1)] Fred is big.[(triple4)] Fred is kind.[(triple3)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] Harry is rough.[(triple5)] @1: Harry is green.[(((triple7 triple8) -> rule3))] Harry is red.[(((triple7) -> rule1))] @2: Harry is nice.[(((triple8 ((triple7) -> rule1)) -> rule2))] @3: Harry is round.[(((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6))] @4: Harry is young.[(((((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6) triple5 ((triple7 triple8) -> rule3)) -> rule4))]