the fact that there is something such that that it either is a cardhouse or is a horsecar or both does not hold does not hold.
sent1: something is a cardhouse or it is a horsecar or both. sent2: if something is a horsecar it is not a cardhouse. sent3: the whooper is not a cardhouse. sent4: if that the fact that either the polyandrist is a havoc or it resists Culicidae or both is false is right the whooper does not resists Culicidae. sent5: if the fractionation is not a cardhouse the whooper is not a cardhouse. sent6: something is a stupid and is a horsecar if it does not resist Culicidae. sent7: there exists something such that it is not a horsecar. sent8: if the furosemide is not a cardhouse then that the fractionation is a cardhouse or it is a lapdog or both does not hold. sent9: the fact that the fact that the polyandrist either is a kind of the havoc or resists Culicidae or both is not right if the polyandrist does not strangulate Blimp hold. sent10: if the whooper is not a cardhouse then the fractionation is not a kind of a canton and is a kind of a knife. sent11: there is something such that it is a lapdog. sent12: the furosemide is a lapdog. sent13: something is not a cardhouse. sent14: the whooper is not a kind of a lapdog if something that is not a kind of a horsecar is a cardhouse. sent15: something does not strangulate Blimp if that it deserves coachbuilder and it is nonthermal is incorrect. sent16: there exists something such that it is non-maladaptive. sent17: the furosemide is not maladaptive but it is a lapdog. sent18: if the fractionation is not a kind of a cardhouse that the whooper is a kind of a cardhouse and/or it is a horsecar is wrong. sent19: there exists something such that it is maladaptive and it is a lapdog. sent20: the fractionation is not a cardhouse if something that is not maladaptive is a kind of a lapdog. sent21: there exists something such that that it is either a ringing or hair-shirt or both does not hold. sent22: the fractionation is not phonic.
sent17 -> int1: something is not maladaptive but it is a kind of a lapdog.; int1 & sent20 -> int2: the fractionation is not a kind of a cardhouse.; sent18 & int2 -> int3: the fact that that either the whooper is a cardhouse or it is a kind of a horsecar or both is not right hold.; int3 -> hypothesis;
something is not a canton but it knifes.
sent2 -> int4: the whooper is not a cardhouse if that it is a horsecar hold.; sent6 -> int5: if the whooper does not resist Culicidae then it is stupid and it is a kind of a horsecar.; sent15 -> int6: if that the polyandrist deserves coachbuilder and it is nonthermal does not hold it does not strangulate Blimp.;
$hypothesis$ = the fact that there is something such that that it either is a cardhouse or is a horsecar or both does not hold does not hold. ; $context$ = sent1: something is a cardhouse or it is a horsecar or both. sent2: if something is a horsecar it is not a cardhouse. sent3: the whooper is not a cardhouse. sent4: if that the fact that either the polyandrist is a havoc or it resists Culicidae or both is false is right the whooper does not resists Culicidae. sent5: if the fractionation is not a cardhouse the whooper is not a cardhouse. sent6: something is a stupid and is a horsecar if it does not resist Culicidae. sent7: there exists something such that it is not a horsecar. sent8: if the furosemide is not a cardhouse then that the fractionation is a cardhouse or it is a lapdog or both does not hold. sent9: the fact that the fact that the polyandrist either is a kind of the havoc or resists Culicidae or both is not right if the polyandrist does not strangulate Blimp hold. sent10: if the whooper is not a cardhouse then the fractionation is not a kind of a canton and is a kind of a knife. sent11: there is something such that it is a lapdog. sent12: the furosemide is a lapdog. sent13: something is not a cardhouse. sent14: the whooper is not a kind of a lapdog if something that is not a kind of a horsecar is a cardhouse. sent15: something does not strangulate Blimp if that it deserves coachbuilder and it is nonthermal is incorrect. sent16: there exists something such that it is non-maladaptive. sent17: the furosemide is not maladaptive but it is a lapdog. sent18: if the fractionation is not a kind of a cardhouse that the whooper is a kind of a cardhouse and/or it is a horsecar is wrong. sent19: there exists something such that it is maladaptive and it is a lapdog. sent20: the fractionation is not a cardhouse if something that is not maladaptive is a kind of a lapdog. sent21: there exists something such that that it is either a ringing or hair-shirt or both does not hold. sent22: the fractionation is not phonic. ; $proof$ = 
sent17 -> int1: something is not maladaptive but it is a kind of a lapdog.; int1 & sent20 -> int2: the fractionation is not a kind of a cardhouse.; sent18 & int2 -> int3: the fact that that either the whooper is a cardhouse or it is a kind of a horsecar or both is not right hold.; int3 -> hypothesis; __DISPROVED__