When Alan walks around the neighborhood being nice and kind, the closer you get to him you can tell he is blue and red. That guy Charlie sure is nice. Eric is young and green. This makes him cold to others. Fred is a young, rough person who is rather round but is also kind to everyone he meets. Folks who are rough and tumble yet gentle and kind are blue. Kind red people are green on the inside. Truth be told, every big, rough person out there that is green, will also be colored blue. If you pass someone who is red and round and kind, you'll notice they act in a cold manner. If someone is green and naive they may also have red, rough skin. It is a safe guess then that they are also round. People who are young and blue are also red. A nice person is inevitably round as well.
Alan is cold.
@0: Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is nice.[(triple5)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is young.[(triple6)] Fred is kind.[(triple12)] Fred is rough.[(triple11)] Fred is round.[(triple10 OR ((((triple9 ((triple11 triple12) -> rule1)) -> rule6) triple11 ((triple12 ((triple9 ((triple11 triple12) -> rule1)) -> rule6)) -> rule2)) -> rule5))] Fred is young.[(triple9)] @1: Alan is green.[(((triple3 triple1) -> rule2))] Alan is round.[(((triple2) -> rule7))] Charlie is round.[(((triple5) -> rule7))] Fred is blue.[(((triple11 triple12) -> rule1))] @2: Alan is cold.[(((triple1 ((triple2) -> rule7) triple3) -> rule4))] Fred is red.[(((triple9 ((triple11 triple12) -> rule1)) -> rule6))] @3: Fred is cold.[(((((triple9 ((triple11 triple12) -> rule1)) -> rule6) triple10 triple12) -> rule4) OR ((((triple9 ((triple11 triple12) -> rule1)) -> rule6) ((((triple9 ((triple11 triple12) -> rule1)) -> rule6) triple11 ((triple12 ((triple9 ((triple11 triple12) -> rule1)) -> rule6)) -> rule2)) -> rule5) triple12) -> rule4))] Fred is green.[(((triple12 ((triple9 ((triple11 triple12) -> rule1)) -> rule6)) -> rule2))]