the bumboat is an assent.
sent1: something does not rustle Italy if the fact that it is a Winesap and/or does not despair Brosmius is not right. sent2: that something is a byte and does not edge is not correct if it does not overleap. sent3: the acarid edges. sent4: the fact that the bumboat is not a kind of a byte and it is not a kind of an assent is incorrect. sent5: the alluvium assents. sent6: something is non-dorsal and it is not a Tetragonurus if it does not edge. sent7: that the cyclotron does not edge but it is a byte does not hold. sent8: the fact that the godmother edges is not incorrect. sent9: the cyclotron is not a kind of an assent and it is not orthographic. sent10: the cyclotron is an edge. sent11: there exists nothing such that either it is a Winesap or it does not despair Brosmius or both. sent12: that the cyclotron is an edge but it is not a byte is wrong. sent13: if the cyclotron is semiautobiographical the bumboat is not semiautobiographical. sent14: the cyclotron is not an assent. sent15: if something does not rustle Italy it is semiautobiographical or it is not a barn or both. sent16: if the fact that the cyclotron does not edge and it is not a byte is incorrect then the bumboat is not a kind of an assent. sent17: the bumboat is not semiautobiographical if the cyclotron is not a barn. sent18: the cyclotron does not assent and it does not unspell cardholder. sent19: the cyclotron is not a kind of a Telanthera.
void -> assump1: Let's assume that that the cyclotron does not edge and it is not a byte is right.; assump1 -> int1: the cyclotron does not edge.; sent10 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the cyclotron is both not an edge and not a byte does not hold.; sent16 & int3 -> hypothesis;
the bumboat is not dorsal and it is not a kind of a Tetragonurus.
sent6 -> int4: if the bumboat is not an edge then it is a kind of non-dorsal thing that is not a Tetragonurus.;
$hypothesis$ = the bumboat is an assent. ; $context$ = sent1: something does not rustle Italy if the fact that it is a Winesap and/or does not despair Brosmius is not right. sent2: that something is a byte and does not edge is not correct if it does not overleap. sent3: the acarid edges. sent4: the fact that the bumboat is not a kind of a byte and it is not a kind of an assent is incorrect. sent5: the alluvium assents. sent6: something is non-dorsal and it is not a Tetragonurus if it does not edge. sent7: that the cyclotron does not edge but it is a byte does not hold. sent8: the fact that the godmother edges is not incorrect. sent9: the cyclotron is not a kind of an assent and it is not orthographic. sent10: the cyclotron is an edge. sent11: there exists nothing such that either it is a Winesap or it does not despair Brosmius or both. sent12: that the cyclotron is an edge but it is not a byte is wrong. sent13: if the cyclotron is semiautobiographical the bumboat is not semiautobiographical. sent14: the cyclotron is not an assent. sent15: if something does not rustle Italy it is semiautobiographical or it is not a barn or both. sent16: if the fact that the cyclotron does not edge and it is not a byte is incorrect then the bumboat is not a kind of an assent. sent17: the bumboat is not semiautobiographical if the cyclotron is not a barn. sent18: the cyclotron does not assent and it does not unspell cardholder. sent19: the cyclotron is not a kind of a Telanthera. ; $proof$ = 
void -> assump1: Let's assume that that the cyclotron does not edge and it is not a byte is right.; assump1 -> int1: the cyclotron does not edge.; sent10 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the cyclotron is both not an edge and not a byte does not hold.; sent16 & int3 -> hypothesis; __DISPROVED__