the fact that if that the riddle is not brotherly is right then that the top is an entrapment but not soluble is false is false.
sent1: if the bluefin beeps aerolite then the kirtle does beeps aerolite. sent2: the saccharin does not platinize reconstruction. sent3: if the riddle is not brotherly the top is a kind of an entrapment but it is not soluble. sent4: the fact that the top is an entrapment and is not soluble is not right if there are non-brotherly things. sent5: the fact that the riddle is soluble but it is not brotherly is incorrect. sent6: if the riddle is not soluble that the top is an entrapment and not brotherly is wrong. sent7: if there exists something such that it is non-brotherly then the top is both an entrapment and not soluble. sent8: if there exists something such that it is not brotherly then that the riddle is both soluble and not an entrapment is wrong. sent9: if there is something such that it is not brotherly that the top is a kind of an entrapment and it is soluble is false. sent10: that the pontifical is not soluble hold. sent11: the top is an entrapment and not soluble. sent12: if the riddle is not brotherly that the top is a kind of an entrapment that is soluble does not hold. sent13: something is not a tuberose if it beeps sorority and it does not fold mullioned. sent14: the top is a kind of a comprehensive that is an entrapment if that the kirtle is not a kind of a tuberose is correct. sent15: the fact that the top does not propagandize is correct. sent16: that the top is brotherly but it is not an entrapment does not hold. sent17: the fact that that the top is an entrapment and it is soluble is not correct is not wrong. sent18: the kirtle beeps sorority and does not fold mullioned if it does beep aerolite. sent19: the bluefin does beep aerolite and it is a puncher. sent20: if the fact that the top is not brotherly and/or it is not soluble is not true then it does not expostulate. sent21: something is brotherly.
void -> assump1: Let's assume that the riddle is non-brotherly.; assump1 -> int1: there exists something such that it is not brotherly.; int1 & sent4 -> int2: that the top is both an entrapment and not soluble does not hold.; [assump1] & int2 -> hypothesis;
there exists something such that it does not expostulate.
sent13 -> int3: if the kirtle does beep sorority but it does not fold mullioned it is not a tuberose.; sent19 -> int4: the bluefin beeps aerolite.; sent1 & int4 -> int5: the kirtle does beep aerolite.; sent18 & int5 -> int6: the kirtle beeps sorority and does not fold mullioned.; int3 & int6 -> int7: the kirtle is not a tuberose.; sent14 & int7 -> int8: the top is a kind of a comprehensive and it is an entrapment.; int8 -> int9: the top is an entrapment.;
$hypothesis$ = the fact that if that the riddle is not brotherly is right then that the top is an entrapment but not soluble is false is false. ; $context$ = sent1: if the bluefin beeps aerolite then the kirtle does beeps aerolite. sent2: the saccharin does not platinize reconstruction. sent3: if the riddle is not brotherly the top is a kind of an entrapment but it is not soluble. sent4: the fact that the top is an entrapment and is not soluble is not right if there are non-brotherly things. sent5: the fact that the riddle is soluble but it is not brotherly is incorrect. sent6: if the riddle is not soluble that the top is an entrapment and not brotherly is wrong. sent7: if there exists something such that it is non-brotherly then the top is both an entrapment and not soluble. sent8: if there exists something such that it is not brotherly then that the riddle is both soluble and not an entrapment is wrong. sent9: if there is something such that it is not brotherly that the top is a kind of an entrapment and it is soluble is false. sent10: that the pontifical is not soluble hold. sent11: the top is an entrapment and not soluble. sent12: if the riddle is not brotherly that the top is a kind of an entrapment that is soluble does not hold. sent13: something is not a tuberose if it beeps sorority and it does not fold mullioned. sent14: the top is a kind of a comprehensive that is an entrapment if that the kirtle is not a kind of a tuberose is correct. sent15: the fact that the top does not propagandize is correct. sent16: that the top is brotherly but it is not an entrapment does not hold. sent17: the fact that that the top is an entrapment and it is soluble is not correct is not wrong. sent18: the kirtle beeps sorority and does not fold mullioned if it does beep aerolite. sent19: the bluefin does beep aerolite and it is a puncher. sent20: if the fact that the top is not brotherly and/or it is not soluble is not true then it does not expostulate. sent21: something is brotherly. ; $proof$ = 
void -> assump1: Let's assume that the riddle is non-brotherly.; assump1 -> int1: there exists something such that it is not brotherly.; int1 & sent4 -> int2: that the top is both an entrapment and not soluble does not hold.; [assump1] & int2 -> hypothesis; __DISPROVED__