the ax spoils unison.
sent1: the polemonium spoils floxuridine and it is Tajikistani. sent2: the floxuridine is Tajikistani if it is photoemissive. sent3: that the polemonium is a clabber but not a Salvadoran is false. sent4: the polemonium spoils floxuridine. sent5: the floxuridine is photoemissive. sent6: that the aeciospore is not Tajikistani hold. sent7: the Basotho is not Tajikistani. sent8: the ax does not spoil unison if the fact that the floxuridine is a kind of a clabber but it does not amplify Google does not hold. sent9: the floxuridine is a kind of a clabber. sent10: if the floxuridine is a kind of a clabber but it does not amplify Google the polemonium is not Tajikistani.
void -> assump1: Let's assume that the floxuridine is a clabber but it does not amplify Google.; sent10 & assump1 -> int1: the polemonium is not Tajikistani.; sent1 -> int2: the polemonium is Tajikistani.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the floxuridine is a kind of a clabber that does not amplify Google is not true.; int4 & sent8 -> hypothesis;
the ax does spoil unison.
sent2 & sent5 -> int5: the floxuridine is Tajikistani.;
$hypothesis$ = the ax spoils unison. ; $context$ = sent1: the polemonium spoils floxuridine and it is Tajikistani. sent2: the floxuridine is Tajikistani if it is photoemissive. sent3: that the polemonium is a clabber but not a Salvadoran is false. sent4: the polemonium spoils floxuridine. sent5: the floxuridine is photoemissive. sent6: that the aeciospore is not Tajikistani hold. sent7: the Basotho is not Tajikistani. sent8: the ax does not spoil unison if the fact that the floxuridine is a kind of a clabber but it does not amplify Google does not hold. sent9: the floxuridine is a kind of a clabber. sent10: if the floxuridine is a kind of a clabber but it does not amplify Google the polemonium is not Tajikistani. ; $proof$ = 
void -> assump1: Let's assume that the floxuridine is a clabber but it does not amplify Google.; sent10 & assump1 -> int1: the polemonium is not Tajikistani.; sent1 -> int2: the polemonium is Tajikistani.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the floxuridine is a kind of a clabber that does not amplify Google is not true.; int4 & sent8 -> hypothesis; __DISPROVED__