Colored red, green, and blue, Alan is quite the round person. Bob is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Even though he's a big dude, Dave is cold. Red Harry is what folks call him, because he is quite red. Nice blue people are often rough. I have found that if someone is kind and red, that they are quite often nice. Big, kind people are nice. If a kind person is also young and round shaped, they will be colored blue. Look for the blue and green people, they are kind and will give you directions if you're lost. Round green people usually feel blue. A blue and round human being will also be a green human being.
Alan is not kind.
@0: Alan is blue.[(triple4 OR ((triple1 triple3) -> rule6))] Alan is green.[(triple3 OR ((triple4 triple1) -> rule7))] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple8)] Bob is kind.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Harry is red.[(triple11)] @1: Alan is kind.[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4 triple1) -> rule7)) -> rule5) OR ((((triple1 triple3) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5))] Bob is nice.[(((triple7 triple6) -> rule2))] @2: Alan is nice.[(((((triple4 triple3) -> rule5) triple2) -> rule2) OR ((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2))] @3: Alan is rough.[(((((((triple4 triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1))]