Bob wears all blue. Fred feels nice and kind today, so he paints himself green and embraces his cold side. Fred is big enough to do whatever he wants. Big, red Harry is quite kind. You will probably see that red, round people are nice, as well as green. If people are cold they are often red. A kind, young person will be rough textured. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. People who are red, young, and round are also blue. Nice people that are colored red and green are always round. Red people who are green and blue are always kind.
Bob is nice.
@0: Bob is blue.[(triple1)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Fred is green.[(triple4)] Fred is kind.[(triple3)] Fred is nice.[(triple2)] Harry is big.[(triple9)] Harry is kind.[(triple8)] Harry is red.[(triple7)] @1: Fred is red.[(((triple5) -> rule2))] Fred is young.[(((triple2 triple6 triple3) -> rule4))] @2: Fred is rough.[(((((triple2 triple6 triple3) -> rule4) triple3) -> rule3))] Fred is round.[(((triple4 ((triple5) -> rule2) triple2) -> rule6))] @3: Fred is blue.[(((((triple4 ((triple5) -> rule2) triple2) -> rule6) ((triple5) -> rule2) ((triple2 triple6 triple3) -> rule4)) -> rule5))]