For being so cold, it's good Alan can remain nice. Dave is young and green. He is round with rosy red skin which makes him blue. Eric is a kind person and he is also often cold. The young person who is always feeling cold is named Harry. A person who is feeling rough, has red cheeks and feeling green will also tend to feel blue. If you run across a young person with rough skin and a round figure, you can count on them being kind. Anyone who is both red and green must be as cold as Christmas. If a person happens to be big kind and red at the same time they are a young person. Having cold and red qualities means a person will also have a rough quality. Often a young, blue person is very kind and then will be nice to others. When somebody is red, blue and round, you can bet they are also rough.
Eric is cold.
@0: Alan is cold.[(triple2)] Alan is nice.[(triple1)] Dave is blue.[(triple7 OR ((triple5 triple6 ((((triple5 triple6) -> rule3) triple5) -> rule5)) -> rule1))] Dave is green.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Harry is cold.[(triple11)] Harry is young.[(triple10)] @1: Dave is cold.[(((triple5 triple6) -> rule3))] Dave is rough.[(((triple5 triple4 triple7) -> rule7) OR ((((triple5 triple6) -> rule3) triple5) -> rule5))] @2: Dave is kind.[(((triple4 ((triple5 triple4 triple7) -> rule7) triple3) -> rule2) OR ((triple4 ((((triple5 triple6) -> rule3) triple5) -> rule5) triple3) -> rule2))] @3: Dave is nice.[(((triple7 triple3 ((triple4 ((triple5 triple4 triple7) -> rule7) triple3) -> rule2)) -> rule6) OR ((triple7 triple3 ((triple4 ((((triple5 triple6) -> rule3) triple5) -> rule5) triple3) -> rule2)) -> rule6) OR ((((triple5 triple6 ((((triple5 triple6) -> rule3) triple5) -> rule5)) -> rule1) triple3 ((triple4 ((triple5 triple4 triple7) -> rule7) triple3) -> rule2)) -> rule6) OR ((((triple5 triple6 ((((triple5 triple6) -> rule3) triple5) -> rule5)) -> rule1) triple3 ((triple4 ((((triple5 triple6) -> rule3) triple5) -> rule5) triple3) -> rule2)) -> rule6))]