Charlie is a kind person and he is also often cold. The young person who is always feeling cold is named Dave. Eric is big, rough and red, but that's because he's often blue. Really, his is nice and kind. A big, rough person who is green in color is definitely young aged. Nice round big people are kind to others. Young people are nice and cold are kind to people regardless. Nice people with red and rough skin are green with envy. Nice people who feel blue often look green when ill. Young and red people look round. People who are round and green while being cold are also red.
Eric is round.
@0: Charlie is cold.[(triple2)] Charlie is kind.[(triple1)] Dave is cold.[(triple4)] Dave is young.[(triple3)] Eric is big.[(triple10)] Eric is blue.[(triple9)] Eric is kind.[(triple8 OR ((triple7 ((((triple10 ((triple7 triple9) -> rule5) triple5) -> rule1) triple6) -> rule6) triple10) -> rule2) OR ((triple7 ((((triple10 ((triple5 triple7 triple6) -> rule4) triple5) -> rule1) triple6) -> rule6) triple10) -> rule2))] Eric is nice.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5)] @1: Eric is green.[(((triple7 triple9) -> rule5) OR ((triple5 triple7 triple6) -> rule4))] @2: Eric is young.[(((triple10 ((triple7 triple9) -> rule5) triple5) -> rule1) OR ((triple10 ((triple5 triple7 triple6) -> rule4) triple5) -> rule1))] @3: Eric is round.[(((((triple10 ((triple7 triple9) -> rule5) triple5) -> rule1) triple6) -> rule6) OR ((((triple10 ((triple5 triple7 triple6) -> rule4) triple5) -> rule1) triple6) -> rule6))]