Alan is big and tends to wear red shirts. Eric was quite young and green. He was also cold and big. Even though Gary is big and round, he is cold much of the time. In the snow sits Harry, crying from being cold. If the person is big and cold then as a rule they must be green. A depressed person feeling blue who is kind cannot escape from being green. If you are green you are also kind. When anyone is young, red and green, you know they'll also be blue. A young, nice person will turn out to be a green person also. Kind people,though green,tend to be nice. A blue individual that is kind and nice to others also has a rough appearance.
Gary is kind.
@0: Alan is big.[(triple2)] Alan is red.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is green.[(triple4 OR ((triple6 triple5) -> rule1))] Eric is young.[(triple3)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is round.[(triple7)] Harry is cold.[(triple10)] @1: Eric is kind.[(((triple4) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule3))] Gary is green.[(((triple9 triple8) -> rule1))] @2: Eric is nice.[(((((triple4) -> rule3) triple4) -> rule6) OR ((((triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1)) -> rule3) triple4) -> rule6) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule6))] Gary is kind.[(((((triple9 triple8) -> rule1)) -> rule3))] @3: Gary is nice.[(((((((triple9 triple8) -> rule1)) -> rule3) ((triple9 triple8) -> rule1)) -> rule6))]