Bob is young, nice, and kind. He works outside and is cold and blue. Eric has been blue because he's green with envy. Fred is very big for being so young. Harry tends to be blue because he is big and this makes him a little rough around the edges. Nice and kind people are downhearted and blue. When a man or woman is kind, that man or woman is red as well. When someone is big and red, they are also green. Anyone you can describe as big and rough can also be described as red. Someone with big, rough hands and a green thumb is undoubtedly someone young who likes to garden. A nice round person is big. A rough, quite round, and blue person will most certainly be nice.
Bob is kind.
@0: Bob is blue.[(triple5 OR ((triple2 triple3) -> rule1))] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Fred is big.[(triple9)] Fred is young.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is rough.[(triple10)] @1: Bob is red.[(((triple3) -> rule2))] Harry is red.[(((triple12 triple10) -> rule4))] @2: Harry is green.[(((triple12 ((triple12 triple10) -> rule4)) -> rule3))] @3: Harry is young.[(((triple10 triple12 ((triple12 ((triple12 triple10) -> rule4)) -> rule3)) -> rule5))]