the metalware is not a kind of a portable.
sent1: if the sanatorium is non-lyric the metalware is a portable. sent2: something is not a numeral if the fact that it is a numeral and it is not unfair is not correct. sent3: the ovum is not caudal. sent4: everything does not tin rectangularity. sent5: if the processor is a kind of numeral thing that is not a Gabonese the herpetologist is not Gabonese. sent6: the carotene is unfair but it is not a kind of a corkboard. sent7: the carotene is unfair. sent8: the sanatorium is a kind of a Calder. sent9: the processor is not Gabonese if it is testicular thing that does not tin rectangularity. sent10: if the fact that the herpetologist is testicular but it does not tin rectangularity is true then the ovum is testicular. sent11: the fact that the fact that the ovum is both not lyric and a Calder hold is incorrect if it is testicular. sent12: the processor is testicular thing that does not tin rectangularity. sent13: if something that is a kind of a Calder is a kind of a torridity then the fact that it is not a lyric is not false. sent14: the metalware is lyric. sent15: the processor is numeral and/or is a corkboard. sent16: if the carotene is a kind of unfair thing that is not a corkboard that the processor is a kind of a numeral is right. sent17: if the processor is not portable then the metalware is non-Gabonese and is a kind of a numeral. sent18: the herpetologist is testicular if it is a numeral. sent19: the herpetologist is a Gabonese if there exists something such that it is not caudal but a blare. sent20: the herpetologist is a Gabonese if there exists something such that it is caudal thing that is a kind of a blare. sent21: if the sanatorium is not a torridity the ovum is not caudal but it is a kind of a blare. sent22: the fact that the ovum is a Calder is right if that the herpetologist is testicular but it is not a kind of a lyric is not right. sent23: if the processor is not numeral then that the herpetologist is testicular but it is not a lyric is incorrect. sent24: the metalware is unportable and a torridity if the sanatorium is not a kind of a Gabonese.
void -> assump1: Let's assume that the sanatorium is not a torridity.; sent21 & assump1 -> int1: the ovum is both non-caudal and a blare.; int1 -> int2: there is something such that it is non-caudal and it is a blare.; int2 & sent19 -> int3: the herpetologist is a Gabonese.; sent16 & sent6 -> int4: the fact that the processor is a numeral is not false.; sent9 & sent12 -> int5: the processor is not a Gabonese.; int4 & int5 -> int6: the processor is a numeral but it is not a kind of a Gabonese.; sent5 & int6 -> int7: the herpetologist is not a Gabonese.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the sanatorium is a kind of a torridity.; int9 & sent8 -> int10: the sanatorium is a kind of a Calder and it is a torridity.; sent13 -> int11: the sanatorium is not a kind of a lyric if it is a Calder and it is a torridity.; int10 & int11 -> int12: the sanatorium is not a kind of a lyric.; int12 & sent1 -> hypothesis;
the metalware is not portable.
$hypothesis$ = the metalware is not a kind of a portable. ; $context$ = sent1: if the sanatorium is non-lyric the metalware is a portable. sent2: something is not a numeral if the fact that it is a numeral and it is not unfair is not correct. sent3: the ovum is not caudal. sent4: everything does not tin rectangularity. sent5: if the processor is a kind of numeral thing that is not a Gabonese the herpetologist is not Gabonese. sent6: the carotene is unfair but it is not a kind of a corkboard. sent7: the carotene is unfair. sent8: the sanatorium is a kind of a Calder. sent9: the processor is not Gabonese if it is testicular thing that does not tin rectangularity. sent10: if the fact that the herpetologist is testicular but it does not tin rectangularity is true then the ovum is testicular. sent11: the fact that the fact that the ovum is both not lyric and a Calder hold is incorrect if it is testicular. sent12: the processor is testicular thing that does not tin rectangularity. sent13: if something that is a kind of a Calder is a kind of a torridity then the fact that it is not a lyric is not false. sent14: the metalware is lyric. sent15: the processor is numeral and/or is a corkboard. sent16: if the carotene is a kind of unfair thing that is not a corkboard that the processor is a kind of a numeral is right. sent17: if the processor is not portable then the metalware is non-Gabonese and is a kind of a numeral. sent18: the herpetologist is testicular if it is a numeral. sent19: the herpetologist is a Gabonese if there exists something such that it is not caudal but a blare. sent20: the herpetologist is a Gabonese if there exists something such that it is caudal thing that is a kind of a blare. sent21: if the sanatorium is not a torridity the ovum is not caudal but it is a kind of a blare. sent22: the fact that the ovum is a Calder is right if that the herpetologist is testicular but it is not a kind of a lyric is not right. sent23: if the processor is not numeral then that the herpetologist is testicular but it is not a lyric is incorrect. sent24: the metalware is unportable and a torridity if the sanatorium is not a kind of a Gabonese. ; $proof$ = 
void -> assump1: Let's assume that the sanatorium is not a torridity.; sent21 & assump1 -> int1: the ovum is both non-caudal and a blare.; int1 -> int2: there is something such that it is non-caudal and it is a blare.; int2 & sent19 -> int3: the herpetologist is a Gabonese.; sent16 & sent6 -> int4: the fact that the processor is a numeral is not false.; sent9 & sent12 -> int5: the processor is not a Gabonese.; int4 & int5 -> int6: the processor is a numeral but it is not a kind of a Gabonese.; sent5 & int6 -> int7: the herpetologist is not a Gabonese.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the sanatorium is a kind of a torridity.; int9 & sent8 -> int10: the sanatorium is a kind of a Calder and it is a torridity.; sent13 -> int11: the sanatorium is not a kind of a lyric if it is a Calder and it is a torridity.; int10 & int11 -> int12: the sanatorium is not a kind of a lyric.; int12 & sent1 -> hypothesis; __DISPROVED__