the fact that that the wallop apes icepick but it is not a viceroyship is not true if the trusteeship does not squawk Baikal does not hold.
sent1: if the trusteeship does not squawk Baikal then it proselytizes. sent2: the trusteeship is a mediastinum and it does proselytize if it does not squawk Baikal. sent3: if the fact that the trusteeship is a mediastinum is not false then the wallop apes icepick but it is not a viceroyship. sent4: if the trusteeship is a kind of a viceroyship then the fact that the wallop squawks Baikal and does not ape icepick is false. sent5: that the wallop is a viceroyship and does not squawk Baikal is not true if the trusteeship is not a mediastinum. sent6: that the wallop apes icepick and it is a kind of a viceroyship is not correct. sent7: the trusteeship proselytizes. sent8: the fallout treats tole and is a mediastinum. sent9: if the trusteeship does not ape icepick that the wallop is a viceroyship and is not a mediastinum is incorrect. sent10: the wallop apes icepick but it is not a viceroyship if the trusteeship does not squawk Baikal. sent11: the thatch does expound and does proselytize. sent12: if the trusteeship is not a viceroyship then it apes icepick and it proselytizes. sent13: that the wallop apes icepick and is not a viceroyship does not hold if the trusteeship is a mediastinum. sent14: the fact that that the wallop does ape icepick and is a viceroyship is not incorrect does not hold if the trusteeship does not squawk Baikal.
void -> assump1: Let's assume that the trusteeship does not squawk Baikal.; sent2 & assump1 -> int1: the trusteeship is a mediastinum that proselytizes.; int1 -> int2: the trusteeship is a mediastinum.; sent13 & int2 -> int3: that the wallop apes icepick but it is not a viceroyship is wrong.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that that the wallop apes icepick but it is not a viceroyship is not true if the trusteeship does not squawk Baikal does not hold. ; $context$ = sent1: if the trusteeship does not squawk Baikal then it proselytizes. sent2: the trusteeship is a mediastinum and it does proselytize if it does not squawk Baikal. sent3: if the fact that the trusteeship is a mediastinum is not false then the wallop apes icepick but it is not a viceroyship. sent4: if the trusteeship is a kind of a viceroyship then the fact that the wallop squawks Baikal and does not ape icepick is false. sent5: that the wallop is a viceroyship and does not squawk Baikal is not true if the trusteeship is not a mediastinum. sent6: that the wallop apes icepick and it is a kind of a viceroyship is not correct. sent7: the trusteeship proselytizes. sent8: the fallout treats tole and is a mediastinum. sent9: if the trusteeship does not ape icepick that the wallop is a viceroyship and is not a mediastinum is incorrect. sent10: the wallop apes icepick but it is not a viceroyship if the trusteeship does not squawk Baikal. sent11: the thatch does expound and does proselytize. sent12: if the trusteeship is not a viceroyship then it apes icepick and it proselytizes. sent13: that the wallop apes icepick and is not a viceroyship does not hold if the trusteeship is a mediastinum. sent14: the fact that that the wallop does ape icepick and is a viceroyship is not incorrect does not hold if the trusteeship does not squawk Baikal. ; $proof$ = 
void -> assump1: Let's assume that the trusteeship does not squawk Baikal.; sent2 & assump1 -> int1: the trusteeship is a mediastinum that proselytizes.; int1 -> int2: the trusteeship is a mediastinum.; sent13 & int2 -> int3: that the wallop apes icepick but it is not a viceroyship is wrong.; [assump1] & int3 -> hypothesis; __DISPROVED__