the fact that something falls harvestman and it is a steroid is wrong.
sent1: if that something is tertian and it falls parented does not hold then it does not falls parented. sent2: if the fact that the Israeli redecorates allomerism is not incorrect then the harvestman does fall harvestman. sent3: something does fall harvestman and does redecorate allomerism. sent4: the Israeli does redecorate allomerism. sent5: the Israeli is an isthmus. sent6: the harvestman is a steroid. sent7: if something that is not an isthmus is a cross-classification the fact that it is not a nandrolone is true. sent8: the phrenologist summarizes and it is not non-second. sent9: there is something such that it does redecorate allomerism. sent10: The allomerism does redecorate Israeli. sent11: if the harvestman is a steroid but it does not redecorate allomerism the Israeli does fall harvestman.
sent2 & sent4 -> int1: the harvestman does fall harvestman.; int1 & sent6 -> int2: the harvestman does fall harvestman and is a steroid.; int2 -> hypothesis;
the nozzle falls harvestman.
sent1 -> int3: the harvestman does not fall parented if the fact that the fact that it is not non-tertian and it does fall parented hold does not hold.; sent7 -> int4: if the doorknob is not an isthmus but it is a cross-classification it is not a nandrolone.;
$hypothesis$ = the fact that something falls harvestman and it is a steroid is wrong. ; $context$ = sent1: if that something is tertian and it falls parented does not hold then it does not falls parented. sent2: if the fact that the Israeli redecorates allomerism is not incorrect then the harvestman does fall harvestman. sent3: something does fall harvestman and does redecorate allomerism. sent4: the Israeli does redecorate allomerism. sent5: the Israeli is an isthmus. sent6: the harvestman is a steroid. sent7: if something that is not an isthmus is a cross-classification the fact that it is not a nandrolone is true. sent8: the phrenologist summarizes and it is not non-second. sent9: there is something such that it does redecorate allomerism. sent10: The allomerism does redecorate Israeli. sent11: if the harvestman is a steroid but it does not redecorate allomerism the Israeli does fall harvestman. ; $proof$ = 
sent2 & sent4 -> int1: the harvestman does fall harvestman.; int1 & sent6 -> int2: the harvestman does fall harvestman and is a steroid.; int2 -> hypothesis; __DISPROVED__