that if the ben scourges then the bathhouse is a ribgrass is not true.
sent1: the H-bomb is Gallican. sent2: the fact that the culdoscope is Gallican but it is not a kind of a downbeat does not hold. sent3: if the ben sediments and it is a ribgrass it is not a kind of an exclusive. sent4: if something does not caucus peasantry then it does not overwrite and it is not a kind of a Cuon. sent5: if the fact that the culdoscope is not Gallican and is not a downbeat does not hold the bathhouse is a ribgrass. sent6: if the culdoscope does not sediment that the ben is not a sediment and is not a downbeat is incorrect. sent7: the inflow is not odorous if that it is a kind of a downbeat that is a kind of a lyceum is not false. sent8: that the culdoscope is not a downbeat and not a sediment is wrong if the ben is not a downbeat. sent9: if the ben is not a ribgrass then the fact that the bathhouse is not a kind of a ribgrass and it is not a sediment is not correct. sent10: if the ben is not Gallican that the culdoscope is not Gallican and is a kind of a downbeat does not hold. sent11: that the culdoscope is both non-Gallican and a downbeat is not correct. sent12: if the ben does not scourge then the bathhouse sediments and it is exclusive. sent13: if the culdoscope is not a ribgrass it is Gallican or it is a kind of a downbeat or both. sent14: if the ben is not Gallican that that the culdoscope is Gallican but it is not a downbeat is incorrect is correct. sent15: something is not Gallican if it is a kind of a scourge and it is a kind of an exclusive. sent16: the ben is both a sediment and an exclusive. sent17: the bathhouse is not a downbeat if it is both Gallican and a ribgrass. sent18: the ben is insolvent. sent19: that the culdoscope is not Gallican and is not a downbeat is not right if the ben is not Gallican. sent20: the ben is a sediment. sent21: the bathhouse is both a Lausanne and a downbeat.
sent16 -> int1: the ben is a kind of an exclusive.; void -> assump1: Let's assume that the ben is a scourge.; int1 & assump1 -> int2: the ben is a scourge and is an exclusive.; sent15 -> int3: if the ben scourges and it is not non-exclusive then it is not Gallican.; int2 & int3 -> int4: the ben is not Gallican.; int4 & sent19 -> int5: that that the culdoscope is not Gallican and it is not a downbeat is not true hold.; int5 & sent5 -> int6: the bathhouse is a ribgrass.; [assump1] & int6 -> hypothesis;
the bathhouse is a kind of a sediment.
sent4 -> int7: the trumpetwood does not overwrite and it is not a kind of a Cuon if it does not caucus peasantry.;
$hypothesis$ = that if the ben scourges then the bathhouse is a ribgrass is not true. ; $context$ = sent1: the H-bomb is Gallican. sent2: the fact that the culdoscope is Gallican but it is not a kind of a downbeat does not hold. sent3: if the ben sediments and it is a ribgrass it is not a kind of an exclusive. sent4: if something does not caucus peasantry then it does not overwrite and it is not a kind of a Cuon. sent5: if the fact that the culdoscope is not Gallican and is not a downbeat does not hold the bathhouse is a ribgrass. sent6: if the culdoscope does not sediment that the ben is not a sediment and is not a downbeat is incorrect. sent7: the inflow is not odorous if that it is a kind of a downbeat that is a kind of a lyceum is not false. sent8: that the culdoscope is not a downbeat and not a sediment is wrong if the ben is not a downbeat. sent9: if the ben is not a ribgrass then the fact that the bathhouse is not a kind of a ribgrass and it is not a sediment is not correct. sent10: if the ben is not Gallican that the culdoscope is not Gallican and is a kind of a downbeat does not hold. sent11: that the culdoscope is both non-Gallican and a downbeat is not correct. sent12: if the ben does not scourge then the bathhouse sediments and it is exclusive. sent13: if the culdoscope is not a ribgrass it is Gallican or it is a kind of a downbeat or both. sent14: if the ben is not Gallican that that the culdoscope is Gallican but it is not a downbeat is incorrect is correct. sent15: something is not Gallican if it is a kind of a scourge and it is a kind of an exclusive. sent16: the ben is both a sediment and an exclusive. sent17: the bathhouse is not a downbeat if it is both Gallican and a ribgrass. sent18: the ben is insolvent. sent19: that the culdoscope is not Gallican and is not a downbeat is not right if the ben is not Gallican. sent20: the ben is a sediment. sent21: the bathhouse is both a Lausanne and a downbeat. ; $proof$ = 
sent16 -> int1: the ben is a kind of an exclusive.; void -> assump1: Let's assume that the ben is a scourge.; int1 & assump1 -> int2: the ben is a scourge and is an exclusive.; sent15 -> int3: if the ben scourges and it is not non-exclusive then it is not Gallican.; int2 & int3 -> int4: the ben is not Gallican.; int4 & sent19 -> int5: that that the culdoscope is not Gallican and it is not a downbeat is not true hold.; int5 & sent5 -> int6: the bathhouse is a ribgrass.; [assump1] & int6 -> hypothesis; __DISPROVED__