Alan is very big for being so young. Charlie is young and green. He is rough, but nice. Eric feels blue because the other kids made fun of his round shape. Fred is young and is kind.  Being big makes Fred blue. A downhearted and blue person who is rough around the edges but kind is round. Nice and kind people are downhearted and blue. When a man or woman is kind, that man or woman is red as well. If someone is round they could be red or blue, or green. Red people,though round,are quite big. Someone nice is kind.
Alan is not blue.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple6 OR ((((((triple5) -> rule6)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule2) ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule2) triple4) -> rule1)) -> rule4))] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Eric is blue.[(triple8)] Eric is round.[(triple7)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is kind.[(triple10)] Fred is young.[(triple9)] @1: Charlie is kind.[(((triple5) -> rule6))] Fred is red.[(((triple10) -> rule3))] @2: Charlie is blue.[(((triple5 ((triple5) -> rule6)) -> rule2))] Charlie is red.[(((((triple5) -> rule6)) -> rule3))] @3: Charlie is round.[(((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule2) triple4) -> rule1))] @4: Charlie is big.[(((((((triple5) -> rule6)) -> rule3) ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule2) triple4) -> rule1)) -> rule5))]