the Sunni is not a assiduity.
sent1: that the microphone is a kind of a centralism is not false. sent2: that the cobber is not deep and/or is Tasmanian is not true if it is physiotherapeutic. sent3: if that something is not a kind of a deep and/or it is Tasmanian is not true then it is a kind of a haymaker. sent4: the cobber is physiotherapeutic and it is a broodmare if it does not tag Pelagianism. sent5: if the tussah is telegraphic the tagasaste does not tag spot-welding. sent6: the fact that the Sunni is a breach hold. sent7: the fact that either something does not tag spot-welding or it is a hen or both is incorrect if it is telegraphic. sent8: if the Sunni is a centralism then it is a assiduity. sent9: if the tagasaste is a hen that the cobber is not a centralism and it is not legible is not true. sent10: that the Sunni does delight is right. sent11: the whitethorn is a kind of a hen if the fact that the Sunni does not tag spot-welding and/or is a hen does not hold. sent12: if something that is not a centralism is not legible then it is a assiduity. sent13: if the storm is a wheatgrass then it is a centralism. sent14: the cobber does not tag Pelagianism. sent15: that if the client is a kind of the lasagna the client is ocular hold. sent16: the fact that the Sunni is a centralism is not wrong. sent17: something that is a hen is not a centralism and is not legible. sent18: the Sunni is amphoric. sent19: if there exists something such that it is a haymaker then the Sunni is not a kind of a piaster. sent20: something that does not tag spot-welding is a kind of a hen. sent21: that the gharry is not a assiduity is not true. sent22: something is telegraphic and a sylph if it is not a kind of a piaster.
sent8 & sent16 -> hypothesis;
the Sunni is not a assiduity.
sent20 -> int1: the tagasaste is a hen if it does not tag spot-welding.;
$hypothesis$ = the Sunni is not a assiduity. ; $context$ = sent1: that the microphone is a kind of a centralism is not false. sent2: that the cobber is not deep and/or is Tasmanian is not true if it is physiotherapeutic. sent3: if that something is not a kind of a deep and/or it is Tasmanian is not true then it is a kind of a haymaker. sent4: the cobber is physiotherapeutic and it is a broodmare if it does not tag Pelagianism. sent5: if the tussah is telegraphic the tagasaste does not tag spot-welding. sent6: the fact that the Sunni is a breach hold. sent7: the fact that either something does not tag spot-welding or it is a hen or both is incorrect if it is telegraphic. sent8: if the Sunni is a centralism then it is a assiduity. sent9: if the tagasaste is a hen that the cobber is not a centralism and it is not legible is not true. sent10: that the Sunni does delight is right. sent11: the whitethorn is a kind of a hen if the fact that the Sunni does not tag spot-welding and/or is a hen does not hold. sent12: if something that is not a centralism is not legible then it is a assiduity. sent13: if the storm is a wheatgrass then it is a centralism. sent14: the cobber does not tag Pelagianism. sent15: that if the client is a kind of the lasagna the client is ocular hold. sent16: the fact that the Sunni is a centralism is not wrong. sent17: something that is a hen is not a centralism and is not legible. sent18: the Sunni is amphoric. sent19: if there exists something such that it is a haymaker then the Sunni is not a kind of a piaster. sent20: something that does not tag spot-welding is a kind of a hen. sent21: that the gharry is not a assiduity is not true. sent22: something is telegraphic and a sylph if it is not a kind of a piaster. ; $proof$ = 
sent8 & sent16 -> hypothesis; __DISPROVED__