Eric wears all blue. They always call him rough Fred. You think Harry is only rough, cold and blue, but I know he is also young, round and kind. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Young, round people seem to be big in our experience. A big person with cold, rough skin is going to be green as well. Anybody that is blue, red and cold will also be round, for sure. Whenever someone is kind as well as round and cold, they will definitely be blue. Nice young people who are always cold end up also being big.
Harry is not red.
@0: Eric is blue.[(triple1)] Fred is rough.[(triple2)] Harry is blue.[(triple8 OR ((triple6 triple4 triple7) -> rule5))] Harry is cold.[(triple7)] Harry is kind.[(triple6)] Harry is rough.[(triple5)] Harry is round.[(triple4)] Harry is young.[(triple3)] @1: Harry is big.[(((triple3 triple4) -> rule2))] @2: Harry is green.[(((((triple3 triple4) -> rule2) triple7 triple5) -> rule3))] @3: Harry is red.[(((((((triple3 triple4) -> rule2) triple7 triple5) -> rule3) triple4 triple6) -> rule1))]