Charlie is a nice person who is red because he has a rash. Big Eric, the most blue guy I know while also being cold. Harry is colored blue and red. He is also kind and cold to the touch. Blue Christmas ornaments are also red. An individual that fits the nice, red, and kind description will fit the description of big, too. A nice and colored blue person will be rather big. If you are green you are also kind. Anyone with red and blue coloration also has green coloration. Red and kind people always seem to be big as well. A young, green person who is cold is rough around the edges.
Eric is kind.
@0: Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Eric is big.[(triple5 OR ((((triple4) -> rule1) ((((((triple4) -> rule1) triple4) -> rule5)) -> rule4)) -> rule6))] Eric is blue.[(triple4)] Eric is cold.[(triple3)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is kind.[(triple7 OR ((((triple6 triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule1) triple9) -> rule5)) -> rule4))] Harry is red.[(triple6 OR ((triple9) -> rule1))] @1: Eric is red.[(((triple4) -> rule1))] Harry is big.[(((triple6 triple7) -> rule6) OR ((((triple9) -> rule1) triple7) -> rule6) OR ((triple6 ((((triple6 triple9) -> rule5)) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((((triple6 triple9) -> rule5)) -> rule4)) -> rule6) OR ((triple6 ((((((triple9) -> rule1) triple9) -> rule5)) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((((((triple9) -> rule1) triple9) -> rule5)) -> rule4)) -> rule6))] Harry is green.[(((triple6 triple9) -> rule5) OR ((((triple9) -> rule1) triple9) -> rule5))] @2: Eric is green.[(((((triple4) -> rule1) triple4) -> rule5))] @3: Eric is kind.[(((((((triple4) -> rule1) triple4) -> rule5)) -> rule4))]