Age   Wt  Ht   IQ  DrinksPerWk  ExercisePerWk  HealthIdx  HappyIdx  NetWorth.
Anita       36  126  66  110      14            4.5          7          8        48000
Bill        25  195  74   98      42            1.2          3          2.4     -18000
Francois    73  165  69  106      21.4          0.1          2.2        9       450000
Hannan      42  147  63  117       0            0            6          6.2     175000
Lin         33  112  64  104      10            3            7.1        3         1000
Parisa      19  120  65  122       4.1          6.1          8          7.1          0
Pedro       11   95  57  111       0           10            9.0        4            0
Shieh       26  105  59  131       0.2          0            6.2        7        -8000
Tina        57  133  64  114       3.3          3            5.4        6        80000
Yan         21  145  67  144       0            2.4          7          6       -10000
.
Happy(Bill) and Healthy(Bill).
Poor(Pedro) implies not Happy(Pedro).
(Tall(Parisa) and Tall(Bill)) implies SimilarHeight(Parisa, Bill).
(Taller(Shieh, Pedro) and Taller(Parisa, Shieh)) implies Taller(Parisa, Pedro).
(((Drinker(Tina)))).
(Drinker(Bob) and not (Healthy(Bob) or not Poor(Bob)) implies not Happy(Bob)).
Happy(Francois) implies (Healthy(Francois) or Drinker(Francois) or not
    Poor(Francois) or not Old(Francois)).
((Overweight(Hannan) and Happy(Hannan) implies not ((Smart(Hannan)
    or Taller(Parisa, Hannan) implies Old(Hannan) and not
    (Athletic(Parisa) or not Athletic(Francois) or (Healthy(Francois) and
    Happy(Francois)) implies Happy(Parisa)) or (Smart(Hannan) and
    Smart(Francois))) or Happy(Francois)) and Happy(Parisa)) implies
    not Happy(Bill)).