the bishop is not diluvian and is joyful.
sent1: if the bishop is not a kind of a Tombigbee the fact that the gudgeon is not non-diluvian and not non-joyful is not correct. sent2: if the fact that the Cornishwoman is inhumane or it is a Dermacentor or both is incorrect then it is not diluvian. sent3: if something is unostentatious it is not diluvian and it is joyful. sent4: that that the bishop is not diluvian and is joyful does not hold is not false if that the gudgeon is not a Tombigbee is not false. sent5: if the belching is an according then the capsicum is not an according and is a kind of a Leon. sent6: that the fact that the Cornishwoman is diluvian and it is joyful is wrong is true if the bishop is not unostentatious. sent7: that the capsicum is not an according but unostentatious is not wrong if the Cornishwoman does according. sent8: if the Cornishwoman is not a Leon it rotates cock and it is not convenient. sent9: if something does not rotate cock then it accords. sent10: if the Cornishwoman is unostentatious then the belching is convenient. sent11: everything is a Dermacentor that is inhumane. sent12: the chauvinist is not unostentatious if there are inconvenient things. sent13: something is not an according if it is not unostentatious. sent14: the cock does not rotate cock if there exists something such that it is not an according but a Leon. sent15: the belching does accord if it is convenient. sent16: the Cornishwoman is unostentatious. sent17: if the Cornishwoman is convenient the bishop is unostentatious. sent18: the gudgeon is not a Tombigbee if the cock does not rotate cock. sent19: something is convenient if it accords. sent20: the fact that the bishop is diluvian and joyful is not right if the gudgeon is not a Tombigbee. sent21: if something that is not joyful is not a Tombigbee it is not a Leon. sent22: the cock is unostentatious. sent23: the fact that something is both a Leon and not a Tombigbee does not hold if it is a kind of a Dermacentor. sent24: the capsicum is a Leon.
sent10 & sent16 -> int1: the belching is convenient.; int1 & sent15 -> int2: the belching accords.; int2 & sent5 -> int3: the capsicum is both not an according and a Leon.; int3 -> int4: there exists something such that it is not an according but a Leon.; int4 & sent14 -> int5: the cock does not rotate cock.; int5 & sent18 -> int6: the gudgeon is not a kind of a Tombigbee.; int6 & sent4 -> hypothesis;
the chauvinist is not a kind of an according.
sent13 -> int7: the chauvinist does not accord if it is not unostentatious.; sent21 -> int8: the Cornishwoman is not a kind of a Leon if it is not joyful and it is not a Tombigbee.;
$hypothesis$ = the bishop is not diluvian and is joyful. ; $context$ = sent1: if the bishop is not a kind of a Tombigbee the fact that the gudgeon is not non-diluvian and not non-joyful is not correct. sent2: if the fact that the Cornishwoman is inhumane or it is a Dermacentor or both is incorrect then it is not diluvian. sent3: if something is unostentatious it is not diluvian and it is joyful. sent4: that that the bishop is not diluvian and is joyful does not hold is not false if that the gudgeon is not a Tombigbee is not false. sent5: if the belching is an according then the capsicum is not an according and is a kind of a Leon. sent6: that the fact that the Cornishwoman is diluvian and it is joyful is wrong is true if the bishop is not unostentatious. sent7: that the capsicum is not an according but unostentatious is not wrong if the Cornishwoman does according. sent8: if the Cornishwoman is not a Leon it rotates cock and it is not convenient. sent9: if something does not rotate cock then it accords. sent10: if the Cornishwoman is unostentatious then the belching is convenient. sent11: everything is a Dermacentor that is inhumane. sent12: the chauvinist is not unostentatious if there are inconvenient things. sent13: something is not an according if it is not unostentatious. sent14: the cock does not rotate cock if there exists something such that it is not an according but a Leon. sent15: the belching does accord if it is convenient. sent16: the Cornishwoman is unostentatious. sent17: if the Cornishwoman is convenient the bishop is unostentatious. sent18: the gudgeon is not a Tombigbee if the cock does not rotate cock. sent19: something is convenient if it accords. sent20: the fact that the bishop is diluvian and joyful is not right if the gudgeon is not a Tombigbee. sent21: if something that is not joyful is not a Tombigbee it is not a Leon. sent22: the cock is unostentatious. sent23: the fact that something is both a Leon and not a Tombigbee does not hold if it is a kind of a Dermacentor. sent24: the capsicum is a Leon. ; $proof$ = 
sent10 & sent16 -> int1: the belching is convenient.; int1 & sent15 -> int2: the belching accords.; int2 & sent5 -> int3: the capsicum is both not an according and a Leon.; int3 -> int4: there exists something such that it is not an according but a Leon.; int4 & sent14 -> int5: the cock does not rotate cock.; int5 & sent18 -> int6: the gudgeon is not a kind of a Tombigbee.; int6 & sent4 -> hypothesis; __DISPROVED__