the fact that the alkahest does not ridge and is a stickball is incorrect.
sent1: if the monastery does gorge alkahest then it is not Shavian. sent2: the PDA is normative if the monastery is not a Shavian. sent3: something is not a Shavian if that it is a twenty-nine and does not gorge alkahest is not right. sent4: if the PDA is a kind of a detonator then the sandwich is postexilic. sent5: the yanquapin does assemble fetterbush. sent6: if something is normative then it is a detonator. sent7: if the synthesist does not ridge the fact that the alkahest does ridge and is a stickball is not correct. sent8: if the synthesist is a ridge then the fact that the monastery is a twenty-nine that does not gorge alkahest is not correct. sent9: The fetterbush does assemble yanquapin. sent10: that the alkahest is not a ridge but a stickball is not correct if the synthesist is not a kind of a ridge. sent11: if there exists something such that it assembles fetterbush the sandwich is not postexilic. sent12: the fact that the alkahest is postexilic but it is not a stickball is not true. sent13: something is not a ridge and is a kind of a stickball if it is a Shavian. sent14: if the PDA does gorge alkahest the monastery is a detonator. sent15: something is not a Shavian if that it does gorge alkahest is true. sent16: that that the monastery is a kind of a twenty-nine that does gorge alkahest is wrong is not false if the synthesist ridges.
void -> assump1: Let's assume that the synthesist is a ridge.; sent8 & assump1 -> int1: the fact that the monastery is a kind of a twenty-nine that does not gorge alkahest is wrong.; sent3 -> int2: the monastery is not Shavian if the fact that it is a twenty-nine and it does not gorge alkahest does not hold.; int1 & int2 -> int3: the monastery is non-Shavian.; int3 & sent2 -> int4: the PDA is normative.; sent6 -> int5: if the PDA is normative it is a kind of a detonator.; int4 & int5 -> int6: the PDA is a detonator.; int6 & sent4 -> int7: the sandwich is postexilic.; sent5 -> int8: there exists something such that it assembles fetterbush.; int8 & sent11 -> int9: the sandwich is not postexilic.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the synthesist is not a ridge.; int11 & sent10 -> hypothesis;
the alkahest does not ridge and is a stickball.
sent13 -> int12: if the alkahest is a Shavian then it is not a ridge and is a stickball.;
$hypothesis$ = the fact that the alkahest does not ridge and is a stickball is incorrect. ; $context$ = sent1: if the monastery does gorge alkahest then it is not Shavian. sent2: the PDA is normative if the monastery is not a Shavian. sent3: something is not a Shavian if that it is a twenty-nine and does not gorge alkahest is not right. sent4: if the PDA is a kind of a detonator then the sandwich is postexilic. sent5: the yanquapin does assemble fetterbush. sent6: if something is normative then it is a detonator. sent7: if the synthesist does not ridge the fact that the alkahest does ridge and is a stickball is not correct. sent8: if the synthesist is a ridge then the fact that the monastery is a twenty-nine that does not gorge alkahest is not correct. sent9: The fetterbush does assemble yanquapin. sent10: that the alkahest is not a ridge but a stickball is not correct if the synthesist is not a kind of a ridge. sent11: if there exists something such that it assembles fetterbush the sandwich is not postexilic. sent12: the fact that the alkahest is postexilic but it is not a stickball is not true. sent13: something is not a ridge and is a kind of a stickball if it is a Shavian. sent14: if the PDA does gorge alkahest the monastery is a detonator. sent15: something is not a Shavian if that it does gorge alkahest is true. sent16: that that the monastery is a kind of a twenty-nine that does gorge alkahest is wrong is not false if the synthesist ridges. ; $proof$ = 
void -> assump1: Let's assume that the synthesist is a ridge.; sent8 & assump1 -> int1: the fact that the monastery is a kind of a twenty-nine that does not gorge alkahest is wrong.; sent3 -> int2: the monastery is not Shavian if the fact that it is a twenty-nine and it does not gorge alkahest does not hold.; int1 & int2 -> int3: the monastery is non-Shavian.; int3 & sent2 -> int4: the PDA is normative.; sent6 -> int5: if the PDA is normative it is a kind of a detonator.; int4 & int5 -> int6: the PDA is a detonator.; int6 & sent4 -> int7: the sandwich is postexilic.; sent5 -> int8: there exists something such that it assembles fetterbush.; int8 & sent11 -> int9: the sandwich is not postexilic.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the synthesist is not a ridge.; int11 & sent10 -> hypothesis; __PROVED__