Alan is young, he is also red and green. Bob ate some rotten meat and now feels green. Charlie is a big, young boy who is very kind.  He stands out because his skin is blue and green. Eric is a red fellow who habitually looks blue. He's often cold. A big person who feels cold and has blue skin is a nice person. A young round person who is green is also red. Cold, green people have a habit of eating alot and looking quite round. People that feel green are cold to people that try to help them. If a young person knows he is big and round, then he will be blue. A blue individual that is kind and nice to others also has a rough appearance.
Alan is big.
@0: Alan is green.[(triple3)] Alan is red.[(triple2 OR ((triple1 ((((triple3) -> rule4) triple3) -> rule3) triple3) -> rule2))] Alan is young.[(triple1)] Bob is green.[(triple4)] Charlie is big.[(triple9)] Charlie is blue.[(triple8 OR ((((((triple7) -> rule4) triple7) -> rule3) triple9 triple5) -> rule5))] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Charlie is young.[(triple5)] Eric is blue.[(triple12)] Eric is cold.[(triple11)] Eric is red.[(triple10)] @1: Alan is cold.[(((triple3) -> rule4))] Bob is cold.[(((triple4) -> rule4))] Charlie is cold.[(((triple7) -> rule4))] @2: Alan is round.[(((((triple3) -> rule4) triple3) -> rule3))] Bob is round.[(((((triple4) -> rule4) triple4) -> rule3))] Charlie is nice.[(((((triple7) -> rule4) triple8 triple9) -> rule1) OR ((((triple7) -> rule4) ((((((triple7) -> rule4) triple7) -> rule3) triple9 triple5) -> rule5) triple9) -> rule1))] Charlie is round.[(((((triple7) -> rule4) triple7) -> rule3))] @3: Charlie is red.[(((triple5 ((((triple7) -> rule4) triple7) -> rule3) triple7) -> rule2))] Charlie is rough.[(((triple6 triple8 ((((triple7) -> rule4) triple8 triple9) -> rule1)) -> rule6) OR ((triple6 ((((((triple7) -> rule4) triple7) -> rule3) triple9 triple5) -> rule5) ((((triple7) -> rule4) triple8 triple9) -> rule1)) -> rule6) OR ((triple6 triple8 ((((triple7) -> rule4) ((((((triple7) -> rule4) triple7) -> rule3) triple9 triple5) -> rule5) triple9) -> rule1)) -> rule6) OR ((triple6 ((((((triple7) -> rule4) triple7) -> rule3) triple9 triple5) -> rule5) ((((triple7) -> rule4) ((((((triple7) -> rule4) triple7) -> rule3) triple9 triple5) -> rule5) triple9) -> rule1)) -> rule6))]