the preschooler is not splenic.
sent1: if the fact that the furniture is a coffeeberry is not incorrect then the manageress is not a plantation and it is not aerodynamic. sent2: the fact that if the preschooler is the officer then the fact that the preschooler is both not afebrile and nonproprietary is not true is not false. sent3: if the fact that the fact that the preschooler is a kind of non-afebrile thing that is not proprietary is false is not false then it is a manic-depressive. sent4: the preschooler officers. sent5: the preschooler is splenic if it is a kind of a manic-depressive.
sent2 & sent4 -> int1: the fact that the preschooler is a kind of non-afebrile thing that is not proprietary is not right.; int1 & sent3 -> int2: the preschooler is a manic-depressive.; int2 & sent5 -> hypothesis;
the preschooler is not splenic.
$hypothesis$ = the preschooler is not splenic. ; $context$ = sent1: if the fact that the furniture is a coffeeberry is not incorrect then the manageress is not a plantation and it is not aerodynamic. sent2: the fact that if the preschooler is the officer then the fact that the preschooler is both not afebrile and nonproprietary is not true is not false. sent3: if the fact that the fact that the preschooler is a kind of non-afebrile thing that is not proprietary is false is not false then it is a manic-depressive. sent4: the preschooler officers. sent5: the preschooler is splenic if it is a kind of a manic-depressive. ; $proof$ = 
sent2 & sent4 -> int1: the fact that the preschooler is a kind of non-afebrile thing that is not proprietary is not right.; int1 & sent3 -> int2: the preschooler is a manic-depressive.; int2 & sent5 -> hypothesis; __DISPROVED__