the harpist does not suggest crockery.
sent1: the fact that the fact that the harpist does not impede lamivudine and is not unserviceable is true is not correct if it is not a pyrrhic. sent2: the harpist is not a pyrrhic. sent3: if a sensational thing is not intertribal it is not a yen. sent4: that something suggests crockery is right if it is a radiolarian. sent5: the harpist is not unsensational and it is not intertribal if it is not a radiolarian. sent6: if that something does not impede lamivudine and it is not unserviceable is false then it is a yen.
void -> assump1: Let's assume that the harpist is not a radiolarian.; sent5 & assump1 -> int1: the harpist is not unsensational and it is not intertribal.; sent3 -> int2: if the harpist is not unsensational and it is not intertribal then it is not a yen.; int1 & int2 -> int3: that the harpist is not a kind of a yen is true.; sent6 -> int4: if that the harpist does not impede lamivudine and is not unserviceable does not hold it is a yen.; sent1 & sent2 -> int5: that the harpist does not impede lamivudine and it is not unserviceable is incorrect.; int4 & int5 -> int6: the harpist is a yen.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the harpist is a radiolarian.; sent4 -> int9: if the harpist is a radiolarian it does suggest crockery.; int8 & int9 -> hypothesis;
$hypothesis$ = the harpist does not suggest crockery. ; $context$ = sent1: the fact that the fact that the harpist does not impede lamivudine and is not unserviceable is true is not correct if it is not a pyrrhic. sent2: the harpist is not a pyrrhic. sent3: if a sensational thing is not intertribal it is not a yen. sent4: that something suggests crockery is right if it is a radiolarian. sent5: the harpist is not unsensational and it is not intertribal if it is not a radiolarian. sent6: if that something does not impede lamivudine and it is not unserviceable is false then it is a yen. ; $proof$ = 
void -> assump1: Let's assume that the harpist is not a radiolarian.; sent5 & assump1 -> int1: the harpist is not unsensational and it is not intertribal.; sent3 -> int2: if the harpist is not unsensational and it is not intertribal then it is not a yen.; int1 & int2 -> int3: that the harpist is not a kind of a yen is true.; sent6 -> int4: if that the harpist does not impede lamivudine and is not unserviceable does not hold it is a yen.; sent1 & sent2 -> int5: that the harpist does not impede lamivudine and it is not unserviceable is incorrect.; int4 & int5 -> int6: the harpist is a yen.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the harpist is a radiolarian.; sent4 -> int9: if the harpist is a radiolarian it does suggest crockery.; int8 & int9 -> hypothesis; __DISPROVED__