Alan is young, but very kind to others. Alan is big, with round features. Bob is nice and kind, but a little rough. Charlie is a rough but very kind and blue person. Fred is blue and cold. Blue Christmas ornaments are also red. Big and cold people tend to see red and dont live green lifestyle. Blue kind people are almost always nice to others. Anyone who is round and also cold will surely be big as well. An individual who is big and nice is also green. Nice people who are kind, despite their rough skin, are big hearted. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Charlie is red.
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is kind.[(triple7)] Bob is nice.[(triple6)] Bob is rough.[(triple5)] Charlie is blue.[(triple10)] Charlie is kind.[(triple9)] Charlie is rough.[(triple8)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] @1: Bob is big.[(((triple7 triple6 triple5) -> rule6))] Charlie is nice.[(((triple10 triple9) -> rule3))] Charlie is red.[(((triple10) -> rule1))] Fred is red.[(((triple12) -> rule1))] @2: Bob is green.[(((((triple7 triple6 triple5) -> rule6) triple6) -> rule5))] Charlie is big.[(((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6))] @3: Charlie is green.[(((((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6) ((triple10 triple9) -> rule3)) -> rule5))]