That guy Alan sure is nice. Dave is green and cold too. That guy Fred sure is nice. Look, we know Harry is young and rough. We have to accept he's also red, nice, cold, and blue. Young people who are nice and look round are also going to be green. People who have green body paint and act kind to others are quite young. A person who is kind, cold, and rough is big. Big, kind folks are green ones. Do not fear big cold people for they are often kind. Someone that is cold rough and red is also considered to be kind. When a person is blue, rough and kind then it means they also are cold.
Harry is big.
@0: Alan is nice.[(triple1)] Dave is cold.[(triple3)] Dave is green.[(triple2)] Fred is nice.[(triple4)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] Harry is young.[(triple5 OR ((((triple7 triple6 triple9) -> rule6) ((((((triple7 triple6 triple9) -> rule6) triple9 triple6) -> rule3) ((triple7 triple6 triple9) -> rule6)) -> rule4)) -> rule2))] @1: Harry is kind.[(((triple7 triple6 triple9) -> rule6))] @2: Harry is big.[(((((triple7 triple6 triple9) -> rule6) triple9 triple6) -> rule3))] @3: Harry is green.[(((((((triple7 triple6 triple9) -> rule6) triple9 triple6) -> rule3) ((triple7 triple6 triple9) -> rule6)) -> rule4))]