the shellfire occurs.
sent1: if the fact that the leaping Paterson occurs is correct then that the leaping Manhattan does not occur is not correct. sent2: the retrospectiveness occurs and the agrypnoticness occurs. sent3: if the predestining Kierkegaard does not occur then the shellfire happens. sent4: the fact that the thaumatolatry happens is true. sent5: the noxiousness occurs. sent6: the retrospectiveness happens. sent7: the thaumatolatry prevents that the leaping Paterson does not occur. sent8: if the leaping Manhattan occurs and the predestining Kierkegaard happens then the predestining cytomembrane does not occur. sent9: the fact that the non-agrypnoticness is caused by that the predestining cytomembrane does not occur is not false. sent10: the retrospective and/or that the agrypnoticness happens is caused by that the depredation does not occur. sent11: if the sunbeam happens then the depredation does not occur.
sent7 & sent4 -> int1: the leaping Paterson occurs.; int1 & sent1 -> int2: the leaping Manhattan happens.; void -> assump1: Let's assume that the predestining Kierkegaard occurs.; int2 & assump1 -> int3: both the leaping Manhattan and the predestining Kierkegaard occurs.; int3 & sent8 -> int4: the predestining cytomembrane does not occur.; int4 & sent9 -> int5: the agrypnoticness does not occur.; sent2 -> int6: the agrypnoticness occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the predestining Kierkegaard does not occur.; int8 & sent3 -> hypothesis;
the shellfire does not occur.
$hypothesis$ = the shellfire occurs. ; $context$ = sent1: if the fact that the leaping Paterson occurs is correct then that the leaping Manhattan does not occur is not correct. sent2: the retrospectiveness occurs and the agrypnoticness occurs. sent3: if the predestining Kierkegaard does not occur then the shellfire happens. sent4: the fact that the thaumatolatry happens is true. sent5: the noxiousness occurs. sent6: the retrospectiveness happens. sent7: the thaumatolatry prevents that the leaping Paterson does not occur. sent8: if the leaping Manhattan occurs and the predestining Kierkegaard happens then the predestining cytomembrane does not occur. sent9: the fact that the non-agrypnoticness is caused by that the predestining cytomembrane does not occur is not false. sent10: the retrospective and/or that the agrypnoticness happens is caused by that the depredation does not occur. sent11: if the sunbeam happens then the depredation does not occur. ; $proof$ = 
sent7 & sent4 -> int1: the leaping Paterson occurs.; int1 & sent1 -> int2: the leaping Manhattan happens.; void -> assump1: Let's assume that the predestining Kierkegaard occurs.; int2 & assump1 -> int3: both the leaping Manhattan and the predestining Kierkegaard occurs.; int3 & sent8 -> int4: the predestining cytomembrane does not occur.; int4 & sent9 -> int5: the agrypnoticness does not occur.; sent2 -> int6: the agrypnoticness occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the predestining Kierkegaard does not occur.; int8 & sent3 -> hypothesis; __PROVED__