the fact that the dumbwaiter is a Serra but it is not opaque is not right.
sent1: if the BASIC is not a Serra then the dumbwaiter is a kind of a Serra but it is not opaque. sent2: if the BASIC is a Serra it is not a sorter. sent3: there exists something such that the fact that it is Peloponnesian and it mingles fruit is not right. sent4: if the elision is a rap that the BASIC is not a kind of a newsletter or is a orthoptist or both does not hold. sent5: the fact that something is a kind of a Serra but it is not opaque is not true if it is not a sorter. sent6: the ADP does not mingle fruit if there exists something such that the fact that it is Peloponnesian and does mingle fruit does not hold. sent7: if that the BASIC is not a newsletter and/or it is a orthoptist does not hold then the dumbwaiter is not a orthoptist. sent8: if something is not a kind of a orthoptist then that it is a mastering and/or not unfree is wrong. sent9: that something is a kind of a rockfish and is unrhetorical is not correct if that it does not mingle fruit hold. sent10: if the heliport is a kind of a orthoptist but it is not a newsletter the elision does not free. sent11: if the heliport does rap it is a orthoptist and it is not a newsletter. sent12: the fruit is not opaque if the BASIC is both a sorter and not a Serra. sent13: the heliport raps. sent14: if there exists something such that that it is a rockfish that is unrhetorical is false then the heliport is not a rockfish. sent15: the dumbwaiter is a kind of a Serra. sent16: the heliport is a orthoptist. sent17: if something is not calyculate then it is a kind of a lumpsucker and/or is macrencephalic. sent18: if the heliport is not a rockfish the elision is not calyculate. sent19: something is not a kind of a sorter if that it masters and/or it does free is incorrect. sent20: if something is a lumpsucker it raps. sent21: the heliport is a kind of a orthoptist if it raps. sent22: if the BASIC is not a kind of a Serra then that the dumbwaiter is a kind of a Serra is not incorrect. sent23: if something is not a mastering it is a free. sent24: the elision is not a mastering if the BASIC is not a sorter.
void -> assump1: Let's assume that the BASIC is a Serra.; sent2 & assump1 -> int1: the BASIC is not a kind of a sorter.; int1 & sent24 -> int2: the elision does not master.; sent23 -> int3: the elision is a free if it is not a kind of a mastering.; int2 & int3 -> int4: the elision does free.; sent11 & sent13 -> int5: that the heliport is a orthoptist and is not a kind of a newsletter hold.; sent10 & int5 -> int6: the elision is not free.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the BASIC is not a Serra.; int8 & sent1 -> hypothesis;
that the dumbwaiter is both a Serra and not opaque does not hold.
sent5 -> int9: that the fact that the dumbwaiter is a Serra but it is not opaque is not correct hold if it is not a sorter.; sent19 -> int10: that the dumbwaiter is not a sorter is true if the fact that it is a mastering and/or is free is not right.; sent8 -> int11: the fact that that the dumbwaiter does master and/or does free is incorrect hold if it is not a orthoptist.; sent17 -> int12: the elision is a lumpsucker and/or it is macrencephalic if it is not calyculate.; sent9 -> int13: the fact that the ADP is a rockfish and it is unrhetorical is incorrect if it does not mingle fruit.; sent3 & sent6 -> int14: the ADP does not mingle fruit.; int13 & int14 -> int15: that the ADP is a rockfish and it is unrhetorical is not right.; int15 -> int16: there is something such that that it is a rockfish that is unrhetorical is not right.; int16 & sent14 -> int17: the heliport is not a kind of a rockfish.; sent18 & int17 -> int18: the elision is not calyculate.; int12 & int18 -> int19: the elision is a lumpsucker and/or it is macrencephalic.; sent20 -> int20: the elision is a rap if it is a lumpsucker.;
$hypothesis$ = the fact that the dumbwaiter is a Serra but it is not opaque is not right. ; $context$ = sent1: if the BASIC is not a Serra then the dumbwaiter is a kind of a Serra but it is not opaque. sent2: if the BASIC is a Serra it is not a sorter. sent3: there exists something such that the fact that it is Peloponnesian and it mingles fruit is not right. sent4: if the elision is a rap that the BASIC is not a kind of a newsletter or is a orthoptist or both does not hold. sent5: the fact that something is a kind of a Serra but it is not opaque is not true if it is not a sorter. sent6: the ADP does not mingle fruit if there exists something such that the fact that it is Peloponnesian and does mingle fruit does not hold. sent7: if that the BASIC is not a newsletter and/or it is a orthoptist does not hold then the dumbwaiter is not a orthoptist. sent8: if something is not a kind of a orthoptist then that it is a mastering and/or not unfree is wrong. sent9: that something is a kind of a rockfish and is unrhetorical is not correct if that it does not mingle fruit hold. sent10: if the heliport is a kind of a orthoptist but it is not a newsletter the elision does not free. sent11: if the heliport does rap it is a orthoptist and it is not a newsletter. sent12: the fruit is not opaque if the BASIC is both a sorter and not a Serra. sent13: the heliport raps. sent14: if there exists something such that that it is a rockfish that is unrhetorical is false then the heliport is not a rockfish. sent15: the dumbwaiter is a kind of a Serra. sent16: the heliport is a orthoptist. sent17: if something is not calyculate then it is a kind of a lumpsucker and/or is macrencephalic. sent18: if the heliport is not a rockfish the elision is not calyculate. sent19: something is not a kind of a sorter if that it masters and/or it does free is incorrect. sent20: if something is a lumpsucker it raps. sent21: the heliport is a kind of a orthoptist if it raps. sent22: if the BASIC is not a kind of a Serra then that the dumbwaiter is a kind of a Serra is not incorrect. sent23: if something is not a mastering it is a free. sent24: the elision is not a mastering if the BASIC is not a sorter. ; $proof$ = 
void -> assump1: Let's assume that the BASIC is a Serra.; sent2 & assump1 -> int1: the BASIC is not a kind of a sorter.; int1 & sent24 -> int2: the elision does not master.; sent23 -> int3: the elision is a free if it is not a kind of a mastering.; int2 & int3 -> int4: the elision does free.; sent11 & sent13 -> int5: that the heliport is a orthoptist and is not a kind of a newsletter hold.; sent10 & int5 -> int6: the elision is not free.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the BASIC is not a Serra.; int8 & sent1 -> hypothesis; __DISPROVED__