The young person who is always feeling cold is named Alan. Bob is somehow red and kind and also green. Charlie is nice and kind even though people make fun of his red and green skin.  Charlie always feels cold. Dave seems to be round. People who have red coloration usually treat people in a kind manner. They are also usually young looking. Kind red people are green on the inside. Someone being nice, even when they are cold without a doubt means that they are round about the middle. Anyone feeling cold is bound to act nice. When someone is green and round, they can be rough but kind. Nice and green people are often found to be big as well. People who are round and behave in a cold way are surely blue.
Charlie is big.
@0: Alan is cold.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5 OR ((triple4 triple3) -> rule2))] Bob is kind.[(triple4)] Bob is red.[(triple3)] Charlie is cold.[(triple10)] Charlie is green.[(triple9 OR ((triple8 triple6) -> rule2))] Charlie is kind.[(triple8)] Charlie is nice.[(triple7 OR ((triple10) -> rule4))] Charlie is red.[(triple6)] Dave is round.[(triple11)] @1: Alan is nice.[(((triple2) -> rule4))] Bob is young.[(((triple3 triple4) -> rule1))] Charlie is big.[(((triple7 triple9) -> rule6) OR ((triple7 ((triple8 triple6) -> rule2)) -> rule6) OR ((((triple10) -> rule4) triple9) -> rule6) OR ((((triple10) -> rule4) ((triple8 triple6) -> rule2)) -> rule6))] Charlie is round.[(((triple10 triple7) -> rule3) OR ((triple10 ((triple10) -> rule4)) -> rule3))] Charlie is young.[(((triple6 triple8) -> rule1))] @2: Alan is round.[(((triple2 ((triple2) -> rule4)) -> rule3))] Charlie is blue.[(((((triple10 triple7) -> rule3) triple10) -> rule7) OR ((((triple10 ((triple10) -> rule4)) -> rule3) triple10) -> rule7))] @3: Alan is blue.[(((((triple2 ((triple2) -> rule4)) -> rule3) triple2) -> rule7))]