Alan is a young, rough person who is rather round but is also kind to everyone he meets. Bob is cold but nice with red hair and dresses green. Charlie might be rough and red but he's actually very kind. Eric seems to be round. A person who is feeling rough, has red cheeks and feeling green will also tend to feel blue. A person with big, round, kind face appears to be rough around the edges because they are naive. Kind red people are green on the inside. Kind people with rough skin are usually red because it's wind burn. If a person is blue and red and big, then that person is cold.
Charlie is not cold.
@0: Alan is kind.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple8)] Bob is green.[(triple7)] Bob is nice.[(triple6)] Bob is red.[(triple5)] Charlie is kind.[(triple11)] Charlie is red.[(triple10 OR ((triple9 triple11) -> rule4))] Charlie is rough.[(triple9)] Eric is round.[(triple12)] @1: Alan is red.[(((triple3 triple4) -> rule4))] Charlie is green.[(((triple11 triple10) -> rule3) OR ((triple11 ((triple9 triple11) -> rule4)) -> rule3))] @2: Alan is green.[(((triple4 ((triple3 triple4) -> rule4)) -> rule3))] Charlie is blue.[(((triple10 ((triple11 triple10) -> rule3) triple9) -> rule1) OR ((((triple9 triple11) -> rule4) ((triple11 triple10) -> rule3) triple9) -> rule1) OR ((triple10 ((triple11 ((triple9 triple11) -> rule4)) -> rule3) triple9) -> rule1) OR ((((triple9 triple11) -> rule4) ((triple11 ((triple9 triple11) -> rule4)) -> rule3) triple9) -> rule1))] @3: Alan is blue.[(((((triple3 triple4) -> rule4) ((triple4 ((triple3 triple4) -> rule4)) -> rule3) triple3) -> rule1))]