Charlie ate some rotten meat and now feels green. Fred was looking rather round and feeling rather cold, but people thought he is kind. Harry is red but has turned blue as he is cold but now he is green.  Harry is young and rough. Red people feel blue about it. Despite being too big with bright green skin and freezing cold, these people have always been kind. As far as anyone can tell, whoever is kind, rough, and big is a round person. Somebody fitting a young, blue and round description will also fit a green description. Someone who is nice, green, and cold, is always going to be young. People who are rough are often rather kind as well. If you run into a cold and kind person, they are always big.
Harry is round.
@0: Charlie is green.[(triple1)] Fred is cold.[(triple4)] Fred is kind.[(triple3)] Fred is round.[(triple2)] Harry is blue.[(triple10 OR ((triple7) -> rule1))] Harry is cold.[(triple9)] Harry is green.[(triple8 OR ((triple10 triple5 ((((triple6) -> rule6) triple6 ((triple9 ((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule4) OR ((((triple7) -> rule1) triple5 ((((triple6) -> rule6) triple6 ((triple9 ((triple6) -> rule6)) -> rule7)) -> rule3)) -> rule4))] Harry is red.[(triple7)] Harry is rough.[(triple6)] Harry is young.[(triple5)] @1: Fred is big.[(((triple4 triple3) -> rule7))] Harry is kind.[(((triple6) -> rule6))] @2: Harry is big.[(((triple9 ((triple6) -> rule6)) -> rule7))] @3: Harry is round.[(((((triple6) -> rule6) triple6 ((triple9 ((triple6) -> rule6)) -> rule7)) -> rule3))]