the fact that the fact that the Kichai is not Lusitanian and is not a kind of the Estonian is not correct if that the Kichai gyrates is not false is not true.
sent1: the fact that the Kichai is Lusitanian and not a Estonian is not true. sent2: if the fact that something syllogizes Kalimantan and does not articulate oxtail is not right it is a kind of a worrier. sent3: if the Kichai is not Lusitanian but it is a Estonian that it does not gyrate is correct. sent4: the Kichai gyrates if it is not Lusitanian and it is not a Estonian. sent5: the Kichai is not Lusitanian. sent6: the pirate is not breathless and it does not gyrate. sent7: the fact that the ginger does not articulate carapace but it is an inset is false if the carapace is not transatlantic. sent8: the Kichai does not gyrate if it is both Lusitanian and not a Estonian. sent9: if the Kichai does gyrate the fact that it is non-Lusitanian and it is a kind of a Estonian is incorrect. sent10: the fact that the phytochemist gyrates and it drums is not false if the rig is not nonspatial. sent11: the Kichai is both not Lusitanian and not catoptric. sent12: if that something does not articulate carapace and is a kind of an inset is false it does toilet-train bridge. sent13: something that is non-Lusitanian thing that is not a Estonian does not gyrate. sent14: the Kichai is not Lusitanian and it is not a Estonian if it does gyrate. sent15: if something is Lusitanian but it is non-Estonian it does not gyrate. sent16: that the Kichai is Lusitanian but it is not a Estonian does not hold if it does gyrate. sent17: something is not a orthopter if the fact that it is not artless and is not a neoconservative is right. sent18: if something is non-Lusitanian a Estonian then it does not gyrate. sent19: that the carapace is not transatlantic is right. sent20: if something that is not Lusitanian is not a kind of a Estonian then it does gyrate.
sent13 -> int1: if the Kichai is non-Lusitanian but not Estonian then it does not gyrate.; void -> assump1: Let's assume that the Kichai is not Lusitanian and it is not a Estonian.; int1 & assump1 -> int2: the Kichai does not gyrate.; void -> assump2: Let's assume that the Kichai gyrates.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Kichai is both not Lusitanian and non-Estonian is not right.; [assump2] & int4 -> hypothesis;
the phytochemist does gyrate.
sent12 -> int5: the ginger toilet-trains bridge if the fact that it does not articulate carapace and does inset is not correct.; sent7 & sent19 -> int6: that the ginger does not articulate carapace but it insets does not hold.; int5 & int6 -> int7: the ginger toilet-trains bridge.; sent2 -> int8: if the fact that the ginger does syllogize Kalimantan but it does not articulate oxtail is not correct that it is a worrier hold.;
$hypothesis$ = the fact that the fact that the Kichai is not Lusitanian and is not a kind of the Estonian is not correct if that the Kichai gyrates is not false is not true. ; $context$ = sent1: the fact that the Kichai is Lusitanian and not a Estonian is not true. sent2: if the fact that something syllogizes Kalimantan and does not articulate oxtail is not right it is a kind of a worrier. sent3: if the Kichai is not Lusitanian but it is a Estonian that it does not gyrate is correct. sent4: the Kichai gyrates if it is not Lusitanian and it is not a Estonian. sent5: the Kichai is not Lusitanian. sent6: the pirate is not breathless and it does not gyrate. sent7: the fact that the ginger does not articulate carapace but it is an inset is false if the carapace is not transatlantic. sent8: the Kichai does not gyrate if it is both Lusitanian and not a Estonian. sent9: if the Kichai does gyrate the fact that it is non-Lusitanian and it is a kind of a Estonian is incorrect. sent10: the fact that the phytochemist gyrates and it drums is not false if the rig is not nonspatial. sent11: the Kichai is both not Lusitanian and not catoptric. sent12: if that something does not articulate carapace and is a kind of an inset is false it does toilet-train bridge. sent13: something that is non-Lusitanian thing that is not a Estonian does not gyrate. sent14: the Kichai is not Lusitanian and it is not a Estonian if it does gyrate. sent15: if something is Lusitanian but it is non-Estonian it does not gyrate. sent16: that the Kichai is Lusitanian but it is not a Estonian does not hold if it does gyrate. sent17: something is not a orthopter if the fact that it is not artless and is not a neoconservative is right. sent18: if something is non-Lusitanian a Estonian then it does not gyrate. sent19: that the carapace is not transatlantic is right. sent20: if something that is not Lusitanian is not a kind of a Estonian then it does gyrate. ; $proof$ = 
sent13 -> int1: if the Kichai is non-Lusitanian but not Estonian then it does not gyrate.; void -> assump1: Let's assume that the Kichai is not Lusitanian and it is not a Estonian.; int1 & assump1 -> int2: the Kichai does not gyrate.; void -> assump2: Let's assume that the Kichai gyrates.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Kichai is both not Lusitanian and non-Estonian is not right.; [assump2] & int4 -> hypothesis; __DISPROVED__