Young Alan is kind and blue with green and cold traits that show how really big he is. The young person who is always feeling cold is named Bob. Charlie seems big and rough, but he's actually quite kind. Eric seems to be round. Young people who are nice and look round are also going to be green. People,though kind and rough are also really nice. 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. Round people who are kind tend to be nice. A person who is cold and red and blue is big.
Charlie is nice.
@0: Alan is big.[(triple6)] Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3 OR ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule3) triple1) -> rule1))] Alan is kind.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple8)] Bob is young.[(triple7)] Charlie is big.[(triple11)] Charlie is kind.[(triple10)] Charlie is rough.[(triple9)] Eric is round.[(triple12)] @1: Alan is nice.[(((triple4) -> rule4))] Bob is nice.[(((triple8) -> rule4))] Charlie is nice.[(((triple10 triple9) -> rule2))] @2: Alan is round.[(((triple4 ((triple4) -> rule4)) -> rule3))] Bob is round.[(((triple8 ((triple8) -> rule4)) -> rule3))] @3: Bob is green.[(((((triple8) -> rule4) ((triple8 ((triple8) -> rule4)) -> rule3) triple7) -> rule1))]