the eryngo is maritime and it is repeatable if the pawnbroker is not a jolted.
sent1: the eryngo is a jolted. sent2: either the sannyasi is not downstream or it is a kind of a Bratislava or both. sent3: the eryngo does overstrain cockatrice. sent4: the eryngo does overstrain cockatrice and does not overstrain lysin if it is not maritime. sent5: the sannyasi is not downstream or it is a Bratislava or both if something does disabuse copout. sent6: if there is something such that it does disabuse copout the sannyasi is not downstream and/or is not a kind of a Bratislava. sent7: the sannyasi is a Bratislava if the eryngo is a Bratislava. sent8: either the sannyasi does not disabuse copout or it is a Bratislava or both if there is something such that it is maritime. sent9: the sannyasi is repeatable if it is not a Bratislava. sent10: the sannyasi does overstrain cockatrice and is not maritime if it is not a Bratislava. sent11: if the sannyasi overstrains cockatrice then the eryngo does overstrain lysin and is downstream. sent12: if the sannyasi is repeatable the eryngo is repeatable. sent13: if the eryngo is not downstream it overstrains cockatrice. sent14: if the sannyasi is not downstream or it is not a Bratislava or both then it is repeatable. sent15: if the pawnbroker is a kind of maritime thing that does not overstrain lysin the eryngo is a jolted. sent16: something is a Characinidae that is maritime if it is not a jolted. sent17: the pawnbroker is a jolted if the eryngo does overstrain cockatrice and does not overstrain lysin. sent18: the desk disabuses copout. sent19: the desk is downstream. sent20: The copout disabuses desk. sent21: if that the pawnbroker jolts is not incorrect then the eryngo is not non-maritime and it is repeatable.
void -> assump2: Let's assume that the eryngo is not maritime.; sent4 & assump2 -> int1: the eryngo does overstrain cockatrice and does not overstrain lysin.; int1 & sent17 -> int2: the pawnbroker is a jolted.; void -> assump1: Let's assume that the pawnbroker does not jolt.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the eryngo is maritime.; sent18 -> int5: something disabuses copout.; int5 & sent6 -> int6: either the sannyasi is not downstream or it is not a Bratislava or both.; sent14 & int6 -> int7: the sannyasi is repeatable.; sent12 & int7 -> int8: the eryngo is repeatable.; int4 & int8 -> int9: the eryngo is maritime and is repeatable.; [assump1] & int9 -> hypothesis;
there is something such that it is a kind of a Characinidae.
sent16 -> int10: if that the eryngo is not a jolted is not incorrect it is a Characinidae that is maritime.;
$hypothesis$ = the eryngo is maritime and it is repeatable if the pawnbroker is not a jolted. ; $context$ = sent1: the eryngo is a jolted. sent2: either the sannyasi is not downstream or it is a kind of a Bratislava or both. sent3: the eryngo does overstrain cockatrice. sent4: the eryngo does overstrain cockatrice and does not overstrain lysin if it is not maritime. sent5: the sannyasi is not downstream or it is a Bratislava or both if something does disabuse copout. sent6: if there is something such that it does disabuse copout the sannyasi is not downstream and/or is not a kind of a Bratislava. sent7: the sannyasi is a Bratislava if the eryngo is a Bratislava. sent8: either the sannyasi does not disabuse copout or it is a Bratislava or both if there is something such that it is maritime. sent9: the sannyasi is repeatable if it is not a Bratislava. sent10: the sannyasi does overstrain cockatrice and is not maritime if it is not a Bratislava. sent11: if the sannyasi overstrains cockatrice then the eryngo does overstrain lysin and is downstream. sent12: if the sannyasi is repeatable the eryngo is repeatable. sent13: if the eryngo is not downstream it overstrains cockatrice. sent14: if the sannyasi is not downstream or it is not a Bratislava or both then it is repeatable. sent15: if the pawnbroker is a kind of maritime thing that does not overstrain lysin the eryngo is a jolted. sent16: something is a Characinidae that is maritime if it is not a jolted. sent17: the pawnbroker is a jolted if the eryngo does overstrain cockatrice and does not overstrain lysin. sent18: the desk disabuses copout. sent19: the desk is downstream. sent20: The copout disabuses desk. sent21: if that the pawnbroker jolts is not incorrect then the eryngo is not non-maritime and it is repeatable. ; $proof$ = 
void -> assump2: Let's assume that the eryngo is not maritime.; sent4 & assump2 -> int1: the eryngo does overstrain cockatrice and does not overstrain lysin.; int1 & sent17 -> int2: the pawnbroker is a jolted.; void -> assump1: Let's assume that the pawnbroker does not jolt.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the eryngo is maritime.; sent18 -> int5: something disabuses copout.; int5 & sent6 -> int6: either the sannyasi is not downstream or it is not a Bratislava or both.; sent14 & int6 -> int7: the sannyasi is repeatable.; sent12 & int7 -> int8: the eryngo is repeatable.; int4 & int8 -> int9: the eryngo is maritime and is repeatable.; [assump1] & int9 -> hypothesis; __PROVED__