Charlie is green and young, but he is also kind. He has blue eyes and red hair. Red Eric is what folks call him, because he is quite red. Young Fred is big and round from his mother's good cooking.  Fred is the kind of kid who is nice and kind to everyone and who is red with a sunburn. If a kind person is also young and round shaped, they will be colored blue. A nice and blue person who's also red will be a rough person. Incredible as it may seem, young people who are red and have kind attitudes are always round. A cold person, who is kind in nature and young in years, is round. I bet you didn't know that nice, kind, cold people happen to be red. They found the ones that were round, blue, and green to be nice.
Bob is not round.
@0: Charlie is blue.[(triple5 OR ((triple3 triple1 ((triple1 triple2 triple3) -> rule3)) -> rule1))] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Eric is red.[(triple6)] Fred is big.[(triple12)] Fred is kind.[(triple11)] Fred is nice.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8 OR ((triple7 triple9 triple11) -> rule3))] Fred is young.[(triple7)] @1: Charlie is round.[(((triple1 triple2 triple3) -> rule3))] Fred is blue.[(((triple11 triple7 triple8) -> rule1) OR ((triple11 triple7 ((triple7 triple9 triple11) -> rule3)) -> rule1))] @2: Charlie is nice.[(((((triple1 triple2 triple3) -> rule3) triple5 triple4) -> rule6) OR ((((triple1 triple2 triple3) -> rule3) ((triple3 triple1 ((triple1 triple2 triple3) -> rule3)) -> rule1) triple4) -> rule6))] Fred is rough.[(((((triple11 triple7 triple8) -> rule1) triple10 triple9) -> rule2) OR ((((triple11 triple7 ((triple7 triple9 triple11) -> rule3)) -> rule1) triple10 triple9) -> rule2))] @3: Charlie is rough.[(((triple5 ((((triple1 triple2 triple3) -> rule3) triple5 triple4) -> rule6) triple2) -> rule2) OR ((((triple3 triple1 ((triple1 triple2 triple3) -> rule3)) -> rule1) ((((triple1 triple2 triple3) -> rule3) triple5 triple4) -> rule6) triple2) -> rule2) OR ((triple5 ((((triple1 triple2 triple3) -> rule3) ((triple3 triple1 ((triple1 triple2 triple3) -> rule3)) -> rule1) triple4) -> rule6) triple2) -> rule2) OR ((((triple3 triple1 ((triple1 triple2 triple3) -> rule3)) -> rule1) ((((triple1 triple2 triple3) -> rule3) ((triple3 triple1 ((triple1 triple2 triple3) -> rule3)) -> rule1) triple4) -> rule6) triple2) -> rule2))]