Red Alan is what folks call him, because he is quite red. Bob is colored blue and red. He is also kind and cold to the touch. Due to the fact that Fred is young, he is red and green. He remains kind nevertheless. If you met Gary you will see that he is round and red, but he is cold. Santa Claus is red and kind. He is also very nice, especially to children. I have found that blue, kind people are big. Nice green people and often blue with sadness. When someone feels cold, while being big and rough, they always turn out to be red. A nice red person that is cold is always big, I have found. Kind young people are also red and green.
Fred is rough.
@0: Alan is red.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Fred is green.[(triple9 OR ((triple7 triple6 triple8) -> rule6))] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is young.[(triple6)] Gary is cold.[(triple12)] Gary is red.[(triple11)] Gary is round.[(triple10)] @1: Bob is big.[(((triple5 triple3) -> rule2) OR ((triple2 ((triple2 triple3) -> rule1) triple4) -> rule5))] Bob is nice.[(((triple2 triple3) -> rule1))] Fred is nice.[(((triple7 triple8) -> rule1))] @2: Fred is blue.[(((triple9 ((triple7 triple8) -> rule1)) -> rule3) OR ((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3))] @3: Fred is big.[(((((triple9 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2) OR ((((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2))]