the teleost is not factory-made and/or it is lymphoid.
sent1: if something is a census but it is not a maar it is not generative. sent2: if the cocklebur is not a kind of a hindquarter that the teleost either is not factory-made or is lymphoid or both is incorrect. sent3: the teleost is not factory-made and/or is lymphoid if the rug is not a bushman. sent4: the fact that something does not shun C-section but it is generative is false if it is dextral. sent5: the rug is not a bushman if the fact that the cocklebur does not shun C-section and is generative does not hold. sent6: the cocklebur is a cast. sent7: if the cocklebur is a cast it is uncertain. sent8: if something that is a hindquarter is not dextral then it is not uncertain. sent9: the cocklebur is a hindquarter and exhaustible.
sent9 -> int1: the cocklebur is a hindquarter.; void -> assump1: Let's assume that the cocklebur is not dextral.; int1 & assump1 -> int2: the cocklebur is a hindquarter but it is not dextral.; sent8 -> int3: the cocklebur is not uncertain if that it is a hindquarter and it is not dextral is true.; int2 & int3 -> int4: the fact that the cocklebur is not uncertain hold.; sent7 & sent6 -> int5: the cocklebur is uncertain.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the cocklebur is dextral.; sent4 -> int8: if the cocklebur is dextral then that it does not shun C-section and is generative is not true.; int7 & int8 -> int9: that the cocklebur does not shun C-section but it is generative is wrong.; int9 & sent5 -> int10: the rug is not a bushman.; int10 & sent3 -> hypothesis;
if the teleost censuses but it is not a kind of a maar it is not generative.
sent1 -> hypothesis;
$hypothesis$ = the teleost is not factory-made and/or it is lymphoid. ; $context$ = sent1: if something is a census but it is not a maar it is not generative. sent2: if the cocklebur is not a kind of a hindquarter that the teleost either is not factory-made or is lymphoid or both is incorrect. sent3: the teleost is not factory-made and/or is lymphoid if the rug is not a bushman. sent4: the fact that something does not shun C-section but it is generative is false if it is dextral. sent5: the rug is not a bushman if the fact that the cocklebur does not shun C-section and is generative does not hold. sent6: the cocklebur is a cast. sent7: if the cocklebur is a cast it is uncertain. sent8: if something that is a hindquarter is not dextral then it is not uncertain. sent9: the cocklebur is a hindquarter and exhaustible. ; $proof$ = 
sent9 -> int1: the cocklebur is a hindquarter.; void -> assump1: Let's assume that the cocklebur is not dextral.; int1 & assump1 -> int2: the cocklebur is a hindquarter but it is not dextral.; sent8 -> int3: the cocklebur is not uncertain if that it is a hindquarter and it is not dextral is true.; int2 & int3 -> int4: the fact that the cocklebur is not uncertain hold.; sent7 & sent6 -> int5: the cocklebur is uncertain.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the cocklebur is dextral.; sent4 -> int8: if the cocklebur is dextral then that it does not shun C-section and is generative is not true.; int7 & int8 -> int9: that the cocklebur does not shun C-section but it is generative is wrong.; int9 & sent5 -> int10: the rug is not a bushman.; int10 & sent3 -> hypothesis; __PROVED__