if the crackpot is neurasthenic then the dreadnought either is not cyclic or firebombs megabit or both.
sent1: the skilletfish is a kind of a kaffir and it is lighted if something does savage. sent2: the sunscreen does walk titrator. sent3: if something does walk titrator then the fact that either it is not a parasail or it is a Navaho or both does not hold. sent4: the crackpot is not a neurasthenic if that the dreadnought does not firebomb skilletfish is not incorrect. sent5: the crackpot is not a neurasthenic if the dreadnought is not cyclic and firebombs skilletfish. sent6: the dreadnought does firebomb skilletfish. sent7: that if the fact that the dreadnought is not cyclic and firebombs skilletfish does not hold then the crackpot is a neurasthenic is not false. sent8: the outrigger is not neurasthenic. sent9: either the padrone is not cyclic or it is monistic or both. sent10: the loment is a kind of a savage if there exists something such that the fact that either it is not a parasail or it is a kind of a Navaho or both is not correct. sent11: the crown is not unidirectional if there exists something such that it lights. sent12: if there exists something such that that it does firebomb megabit and is neurasthenic is not correct the crackpot does not firebomb skilletfish. sent13: if that the dreadnought is not cyclic but it does firebomb skilletfish is not right then the crackpot is not a kind of a neurasthenic. sent14: if the crackpot is a neurasthenic then the dreadnought either is cyclic or firebombs megabit or both. sent15: the dreadnought is cyclic or it firebombs megabit or both. sent16: that the dreadnought firebombs megabit and it is neurasthenic is not correct if the crown is not unidirectional. sent17: the dreadnought is not neurasthenic if the fact that the crackpot does not firebomb skilletfish but it is cyclic is incorrect. sent18: the crackpot is not neurasthenic if the fact that the fact that the dreadnought is cyclic and it does firebomb skilletfish does not hold is not incorrect.
void -> assump2: Let's assume that the fact that the dreadnought is not cyclic but it firebombs skilletfish is wrong.; sent13 & assump2 -> int1: the crackpot is not a neurasthenic.; void -> assump1: Let's assume that the crackpot is a neurasthenic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the dreadnought is not cyclic but it firebombs skilletfish.; int3 -> int4: the dreadnought is not cyclic.; int4 -> int5: either the dreadnought is not cyclic or it does firebomb megabit or both.; [assump1] & int5 -> hypothesis;
the crackpot does not firebomb skilletfish.
sent3 -> int6: if the sunscreen walks titrator then the fact that it is not a kind of a parasail and/or it is a Navaho is false.; int6 & sent2 -> int7: the fact that the sunscreen is not a parasail and/or it is a Navaho is false.; int7 -> int8: there exists something such that the fact that it is either not a parasail or a Navaho or both is not right.; int8 & sent10 -> int9: the fact that the loment is a kind of a savage hold.; int9 -> int10: there exists something such that it is a savage.; int10 & sent1 -> int11: the skilletfish is a kind of a kaffir and it is a lighted.; int11 -> int12: the skilletfish is lighted.; int12 -> int13: there is something such that it does light.; int13 & sent11 -> int14: the crown is not unidirectional.; sent16 & int14 -> int15: the fact that the dreadnought does firebomb megabit and it is neurasthenic is wrong.; int15 -> int16: there exists something such that the fact that it firebombs megabit and it is neurasthenic is incorrect.; int16 & sent12 -> hypothesis;
$hypothesis$ = if the crackpot is neurasthenic then the dreadnought either is not cyclic or firebombs megabit or both. ; $context$ = sent1: the skilletfish is a kind of a kaffir and it is lighted if something does savage. sent2: the sunscreen does walk titrator. sent3: if something does walk titrator then the fact that either it is not a parasail or it is a Navaho or both does not hold. sent4: the crackpot is not a neurasthenic if that the dreadnought does not firebomb skilletfish is not incorrect. sent5: the crackpot is not a neurasthenic if the dreadnought is not cyclic and firebombs skilletfish. sent6: the dreadnought does firebomb skilletfish. sent7: that if the fact that the dreadnought is not cyclic and firebombs skilletfish does not hold then the crackpot is a neurasthenic is not false. sent8: the outrigger is not neurasthenic. sent9: either the padrone is not cyclic or it is monistic or both. sent10: the loment is a kind of a savage if there exists something such that the fact that either it is not a parasail or it is a kind of a Navaho or both is not correct. sent11: the crown is not unidirectional if there exists something such that it lights. sent12: if there exists something such that that it does firebomb megabit and is neurasthenic is not correct the crackpot does not firebomb skilletfish. sent13: if that the dreadnought is not cyclic but it does firebomb skilletfish is not right then the crackpot is not a kind of a neurasthenic. sent14: if the crackpot is a neurasthenic then the dreadnought either is cyclic or firebombs megabit or both. sent15: the dreadnought is cyclic or it firebombs megabit or both. sent16: that the dreadnought firebombs megabit and it is neurasthenic is not correct if the crown is not unidirectional. sent17: the dreadnought is not neurasthenic if the fact that the crackpot does not firebomb skilletfish but it is cyclic is incorrect. sent18: the crackpot is not neurasthenic if the fact that the fact that the dreadnought is cyclic and it does firebomb skilletfish does not hold is not incorrect. ; $proof$ = 
void -> assump2: Let's assume that the fact that the dreadnought is not cyclic but it firebombs skilletfish is wrong.; sent13 & assump2 -> int1: the crackpot is not a neurasthenic.; void -> assump1: Let's assume that the crackpot is a neurasthenic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the dreadnought is not cyclic but it firebombs skilletfish.; int3 -> int4: the dreadnought is not cyclic.; int4 -> int5: either the dreadnought is not cyclic or it does firebomb megabit or both.; [assump1] & int5 -> hypothesis; __PROVED__