Alan woke up one day to find he had become round. He was still rough, red, and green, but now he was also big. Bob seems to be round. The young person who is always feeling cold is named Charlie. Dave who is young and nice is also quite big and feels green. Not a single young person is not also kind. Even though young people are rough, they are still very red. Watch out for young people that are kind for they are rough. Nice people with red and rough skin are green with envy. A young person who is big and rough and big is also usually round. When someone is blue, nice and young they will also be as big as the sun.
Charlie is rough.
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is round.[(triple6)] Charlie is cold.[(triple8)] Charlie is young.[(triple7)] Dave is big.[(triple12)] Dave is green.[(triple11 OR ((((((triple9) -> rule1) triple9) -> rule3) triple10 ((((((triple9) -> rule1) triple9) -> rule3) triple9) -> rule2)) -> rule4))] Dave is nice.[(triple10)] Dave is young.[(triple9)] @1: Charlie is kind.[(((triple7) -> rule1))] Dave is kind.[(((triple9) -> rule1))] @2: Charlie is rough.[(((((triple7) -> rule1) triple7) -> rule3))] Dave is rough.[(((((triple9) -> rule1) triple9) -> rule3))] @3: Charlie is red.[(((((((triple7) -> rule1) triple7) -> rule3) triple7) -> rule2))] Dave is red.[(((((((triple9) -> rule1) triple9) -> rule3) triple9) -> rule2))] Dave is round.[(((((((triple9) -> rule1) triple9) -> rule3) triple12 triple9) -> rule5))]