the tapir is not a kind of a mounting.
sent1: something does not exclude and does mount if it is not a kind of a Mongolian. sent2: the pyelogram is a Mongolian. sent3: something that does deactivate Karok or is not a Ludian or both is not a Ludian. sent4: if the lawyerbush is not a Ludian then that the skinny-dipper is a implicitness but it is not gnostic does not hold. sent5: the tapir is not a mounting if the pyelogram does not exclude and does mounting. sent6: the aphrodisiac is not a implicitness if the fact that the skinny-dipper is a kind of a implicitness that is not gnostic is not right. sent7: if the forge does not cascade East-sider the chlorobenzene either does clutch or does not calve or both. sent8: if that the fact that the cave is not a blubber and it does not deactivate Karok is right is incorrect then it does deactivate Karok. sent9: the cave is sorrowful. sent10: if something does not calve and/or it is not a clutch that it is not a Mongolian is not wrong. sent11: something that is not a mounting does not exclude. sent12: if the cave is sorrowful then the fact that it does not blubber and it does not deactivate Karok is not correct. sent13: the fact that the forge is not a kind of a casque and it is not a sociability is false if the aphrodisiac is not a implicitness. sent14: if the pyelogram does not exclude but it does calve the tapir exclude. sent15: that the chlorobenzene is not a casque is right if the fact that the forge is not a casque and is not a kind of a sociability is wrong. sent16: that the pyelogram is not a Mongolian but it is a mounting does not hold if the chlorobenzene does not exclude. sent17: if the pyelogram is a Mongolian then it does not exclude and calves. sent18: something does not cascade East-sider if it is not a casque. sent19: if the pyelogram is Mongolian it does calve. sent20: the pyelogram does not calve and/or it is not a clutch if the chlorobenzene does not cascade East-sider.
sent11 -> int1: the tapir does not exclude if it is not a mounting.; void -> assump1: Let's assume that the fact that the tapir is not a kind of a mounting is correct.; int1 & assump1 -> int2: the tapir does not exclude.; sent17 & sent2 -> int3: the pyelogram does not exclude and calves.; sent14 & int3 -> int4: the tapir excludes.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the tapir is not a mounting.
sent1 -> int6: the pyelogram does not exclude but it mounts if it is not a kind of a Mongolian.; sent10 -> int7: if the pyelogram does not calve and/or it is not a kind of a clutch it is not a Mongolian.; sent18 -> int8: if the chlorobenzene is not a casque it does not cascade East-sider.; sent3 -> int9: if the lawyerbush does deactivate Karok and/or is not a kind of a Ludian then it is not a Ludian.; sent12 & sent9 -> int10: that the cave does not blubber and it does not deactivate Karok does not hold.; sent8 & int10 -> int11: the cave deactivates Karok.; int11 -> int12: there is something such that it deactivates Karok.;
$hypothesis$ = the tapir is not a kind of a mounting. ; $context$ = sent1: something does not exclude and does mount if it is not a kind of a Mongolian. sent2: the pyelogram is a Mongolian. sent3: something that does deactivate Karok or is not a Ludian or both is not a Ludian. sent4: if the lawyerbush is not a Ludian then that the skinny-dipper is a implicitness but it is not gnostic does not hold. sent5: the tapir is not a mounting if the pyelogram does not exclude and does mounting. sent6: the aphrodisiac is not a implicitness if the fact that the skinny-dipper is a kind of a implicitness that is not gnostic is not right. sent7: if the forge does not cascade East-sider the chlorobenzene either does clutch or does not calve or both. sent8: if that the fact that the cave is not a blubber and it does not deactivate Karok is right is incorrect then it does deactivate Karok. sent9: the cave is sorrowful. sent10: if something does not calve and/or it is not a clutch that it is not a Mongolian is not wrong. sent11: something that is not a mounting does not exclude. sent12: if the cave is sorrowful then the fact that it does not blubber and it does not deactivate Karok is not correct. sent13: the fact that the forge is not a kind of a casque and it is not a sociability is false if the aphrodisiac is not a implicitness. sent14: if the pyelogram does not exclude but it does calve the tapir exclude. sent15: that the chlorobenzene is not a casque is right if the fact that the forge is not a casque and is not a kind of a sociability is wrong. sent16: that the pyelogram is not a Mongolian but it is a mounting does not hold if the chlorobenzene does not exclude. sent17: if the pyelogram is a Mongolian then it does not exclude and calves. sent18: something does not cascade East-sider if it is not a casque. sent19: if the pyelogram is Mongolian it does calve. sent20: the pyelogram does not calve and/or it is not a clutch if the chlorobenzene does not cascade East-sider. ; $proof$ = 
sent11 -> int1: the tapir does not exclude if it is not a mounting.; void -> assump1: Let's assume that the fact that the tapir is not a kind of a mounting is correct.; int1 & assump1 -> int2: the tapir does not exclude.; sent17 & sent2 -> int3: the pyelogram does not exclude and calves.; sent14 & int3 -> int4: the tapir excludes.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__