Charlie has a round face and is very nice. When you see Dave, you will notice he is cold, big and kind. Everyone noticed how round and nice Eric was. He was kind, and everyone thought he was green and big. Harry is green, which is a possible explanation for why he is so nice. People who are blue, cold, and round are often kind. Those who are nice but a bit rough around the edges are known for being blue. Round people who feel rough also always feel cold,. People with big hands and red, rough skin are terribly kind. When a person's traits are to be big, blue and cold, they will also have a red trait. Young, round people seem to be big in our experience. Nice people who are big in stature often look rough.
Eric is not cold.
@0: Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is kind.[(triple3)] Eric is big.[(triple10)] Eric is green.[(triple9)] Eric is kind.[(triple8 OR ((((triple7 ((triple7 triple10) -> rule7)) -> rule2) ((triple6 ((triple7 triple10) -> rule7)) -> rule3) triple6) -> rule1) OR ((((triple7 triple10) -> rule7) triple10 ((triple10 ((triple6 ((triple7 triple10) -> rule7)) -> rule3) ((triple7 ((triple7 triple10) -> rule7)) -> rule2)) -> rule5)) -> rule4))] Eric is nice.[(triple7)] Eric is round.[(triple6)] Harry is green.[(triple12)] Harry is nice.[(triple11)] @1: Eric is rough.[(((triple7 triple10) -> rule7))] @2: Eric is blue.[(((triple7 ((triple7 triple10) -> rule7)) -> rule2))] Eric is cold.[(((triple6 ((triple7 triple10) -> rule7)) -> rule3))] @3: Eric is red.[(((triple10 ((triple6 ((triple7 triple10) -> rule7)) -> rule3) ((triple7 ((triple7 triple10) -> rule7)) -> rule2)) -> rule5))]