If you met Charlie you will see that he is round and red, but he is cold. Big blue Dave is nice and young. Fred who is big in stature is almost always nice even when he is cold. Harry is a man who is both round and rough. People who are red and round are usually assumed to be green. You will find that a big, young, blue person is also quite round. If a kind person is also young and round shaped, they will be colored blue. A nice and colored blue person will be rather big. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A person who is kind but also rough and is also colored blue, will be shaped round. Blue people round with fat are red from too much time in the sun.
Harry is not kind.
@0: Charlie is cold.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Dave is big.[(triple7 OR ((triple6 triple5) -> rule4))] Dave is blue.[(triple6)] Dave is nice.[(triple5)] Dave is young.[(triple4)] Fred is big.[(triple10)] Fred is cold.[(triple9)] Fred is nice.[(triple8)] Harry is rough.[(triple12)] Harry is round.[(triple11)] @1: Charlie is green.[(((triple2 triple1) -> rule1))] Dave is round.[(((triple4 triple7 triple6) -> rule2) OR ((triple4 ((triple6 triple5) -> rule4) triple6) -> rule2))] @2: Dave is red.[(((triple6 ((triple4 triple7 triple6) -> rule2)) -> rule7) OR ((triple6 ((triple4 ((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule7))] @3: Dave is green.[(((((triple6 ((triple4 triple7 triple6) -> rule2)) -> rule7) ((triple4 triple7 triple6) -> rule2)) -> rule1) OR ((((triple6 ((triple4 triple7 triple6) -> rule2)) -> rule7) ((triple4 ((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((triple6 ((triple4 ((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule7) ((triple4 triple7 triple6) -> rule2)) -> rule1) OR ((((triple6 ((triple4 ((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule7) ((triple4 ((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1))]