the fact that the babbitt sandpapers imitation and does sandpaper prothalamion is not correct.
sent1: something is a niqab if it is not a headline. sent2: that the babbitt is a niqab and it does sandpaper imitation does not hold if the screamer does not sandpaper imitation. sent3: the fact that the Shoshone does sandpaper imitation and it sandpapers prothalamion is not correct. sent4: the tomtit does not sandpaper imitation. sent5: if the Shoshone does sandpaper imitation the babbitt sandpapers prothalamion. sent6: the fact that the babbitt does sandpaper imitation and it sandpapers prothalamion is wrong if the Shoshone does not sandpapers prothalamion. sent7: the Leonberg does not sandpaper prothalamion. sent8: if there is something such that the fact that it is a kind of a Karakalpak and is a niqab is false then the screamer is not a kind of a niqab. sent9: if the Shoshone does sandpaper prothalamion the screamer is a niqab. sent10: the screamer is not a niqab if the fact that something is not a Karakalpak is correct. sent11: there is something such that the fact that it does sandpaper prothalamion and sandpapers imitation is not true. sent12: there is something such that that it is a kind of a Karakalpak and it is a niqab is false. sent13: the fact that the screamer does sandpaper imitation and it owns screamer is not correct. sent14: something is a Karakalpak and it is a niqab.
void -> assump1: Let's assume that the Shoshone does sandpaper prothalamion.; sent9 & assump1 -> int1: the screamer is a niqab.; sent12 & sent8 -> int2: the screamer is not a niqab.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Shoshone does not sandpaper prothalamion.; int4 & sent6 -> hypothesis;
the babbitt does sandpaper imitation and it sandpapers prothalamion.
sent1 -> int5: that if the Shoshone is not the headline the Shoshone is a niqab is not incorrect.;
$hypothesis$ = the fact that the babbitt sandpapers imitation and does sandpaper prothalamion is not correct. ; $context$ = sent1: something is a niqab if it is not a headline. sent2: that the babbitt is a niqab and it does sandpaper imitation does not hold if the screamer does not sandpaper imitation. sent3: the fact that the Shoshone does sandpaper imitation and it sandpapers prothalamion is not correct. sent4: the tomtit does not sandpaper imitation. sent5: if the Shoshone does sandpaper imitation the babbitt sandpapers prothalamion. sent6: the fact that the babbitt does sandpaper imitation and it sandpapers prothalamion is wrong if the Shoshone does not sandpapers prothalamion. sent7: the Leonberg does not sandpaper prothalamion. sent8: if there is something such that the fact that it is a kind of a Karakalpak and is a niqab is false then the screamer is not a kind of a niqab. sent9: if the Shoshone does sandpaper prothalamion the screamer is a niqab. sent10: the screamer is not a niqab if the fact that something is not a Karakalpak is correct. sent11: there is something such that the fact that it does sandpaper prothalamion and sandpapers imitation is not true. sent12: there is something such that that it is a kind of a Karakalpak and it is a niqab is false. sent13: the fact that the screamer does sandpaper imitation and it owns screamer is not correct. sent14: something is a Karakalpak and it is a niqab. ; $proof$ = 
void -> assump1: Let's assume that the Shoshone does sandpaper prothalamion.; sent9 & assump1 -> int1: the screamer is a niqab.; sent12 & sent8 -> int2: the screamer is not a niqab.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Shoshone does not sandpaper prothalamion.; int4 & sent6 -> hypothesis; __PROVED__