that there are regretful and nonrandom things is false.
sent1: something that is not nonreciprocal either is not regretful or fumbles Bevin or both. sent2: there is nothing such that it is not Trinidadian or it does fumble Bevin or both. sent3: the seasonal is regretful thing that is nonrandom if the Restoration is regretful. sent4: that the trapezoid is not Masonic is correct if that the benzodiazepine is nonreciprocal and it honors mouton is incorrect. sent5: if there exists something such that that it is non-Trinidadian thing that fumbles Bevin is wrong then the benzodiazepine is Masonic. sent6: something is a Trinidadian and/or it does fumble Bevin if the fact that it is not Masonic is true. sent7: if the Restoration is not nonreciprocal and/or it does not honor mouton it does not honor mouton. sent8: the trapezoid does not mint chromatin if there is something such that the fact that the fact that it does not slice controlling or it is not regretful or both hold is not correct. sent9: if the benzodiazepine does not slice controlling then the fact that it is nonreciprocal and it honors mouton is not correct. sent10: there exists something such that it is causative. sent11: if the seasonal is not nonrandom the fact that it is non-Trinidadian thing that does fumble Bevin is incorrect. sent12: the benzodiazepine does not slice controlling if the Restoration is regretful. sent13: something is not a Trinidadian and/or it does fumble Bevin if it is not Masonic. sent14: the fact that something does not slice controlling or is not regretful or both does not hold if it does not honor mouton. sent15: that the benzodiazepine honors mouton and it is regretful is not right.
void -> assump1: Let's assume that the Restoration is regretful.; sent12 & assump1 -> int1: the benzodiazepine does not slice controlling.; int1 & sent9 -> int2: the fact that the benzodiazepine is nonreciprocal and it does honor mouton is not true.; int2 & sent4 -> int3: the trapezoid is not Masonic.; sent13 -> int4: if the trapezoid is non-Masonic it is not a kind of a Trinidadian and/or it does fumble Bevin.; int3 & int4 -> int5: the trapezoid is not a Trinidadian and/or does fumble Bevin.; sent2 -> int6: the fact that the trapezoid is not Trinidadian or it does fumble Bevin or both is not correct.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Restoration is not regretful.; int8 & sent3 -> int9: the seasonal is regretful and is nonrandom.; int9 -> hypothesis;
the trapezoid does not mint chromatin.
sent14 -> int10: if the Restoration does not honor mouton then the fact that it does not slice controlling and/or it is not regretful is false.;
$hypothesis$ = that there are regretful and nonrandom things is false. ; $context$ = sent1: something that is not nonreciprocal either is not regretful or fumbles Bevin or both. sent2: there is nothing such that it is not Trinidadian or it does fumble Bevin or both. sent3: the seasonal is regretful thing that is nonrandom if the Restoration is regretful. sent4: that the trapezoid is not Masonic is correct if that the benzodiazepine is nonreciprocal and it honors mouton is incorrect. sent5: if there exists something such that that it is non-Trinidadian thing that fumbles Bevin is wrong then the benzodiazepine is Masonic. sent6: something is a Trinidadian and/or it does fumble Bevin if the fact that it is not Masonic is true. sent7: if the Restoration is not nonreciprocal and/or it does not honor mouton it does not honor mouton. sent8: the trapezoid does not mint chromatin if there is something such that the fact that the fact that it does not slice controlling or it is not regretful or both hold is not correct. sent9: if the benzodiazepine does not slice controlling then the fact that it is nonreciprocal and it honors mouton is not correct. sent10: there exists something such that it is causative. sent11: if the seasonal is not nonrandom the fact that it is non-Trinidadian thing that does fumble Bevin is incorrect. sent12: the benzodiazepine does not slice controlling if the Restoration is regretful. sent13: something is not a Trinidadian and/or it does fumble Bevin if it is not Masonic. sent14: the fact that something does not slice controlling or is not regretful or both does not hold if it does not honor mouton. sent15: that the benzodiazepine honors mouton and it is regretful is not right. ; $proof$ = 
void -> assump1: Let's assume that the Restoration is regretful.; sent12 & assump1 -> int1: the benzodiazepine does not slice controlling.; int1 & sent9 -> int2: the fact that the benzodiazepine is nonreciprocal and it does honor mouton is not true.; int2 & sent4 -> int3: the trapezoid is not Masonic.; sent13 -> int4: if the trapezoid is non-Masonic it is not a kind of a Trinidadian and/or it does fumble Bevin.; int3 & int4 -> int5: the trapezoid is not a Trinidadian and/or does fumble Bevin.; sent2 -> int6: the fact that the trapezoid is not Trinidadian or it does fumble Bevin or both is not correct.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Restoration is not regretful.; int8 & sent3 -> int9: the seasonal is regretful and is nonrandom.; int9 -> hypothesis; __DISPROVED__