the subduction does not straighten CT.
sent1: if that the needle is a kind of a Labanotation and is non-splintery does not hold then the push is not non-splintery. sent2: the tine is not mandibular if it does straighten apar. sent3: that the piroplasm does push abbacy but it does not straighten apar is wrong. sent4: if something does push beguilement and is not splintery then the subduction is a Labanotation. sent5: The apar straightens tine. sent6: if something is a Labanotation then it does straighten CT. sent7: the tine straightens apar. sent8: the push pushes beguilement and is not splintery if there exists something such that it is a Shari. sent9: the push is a kind of non-mandibular thing that is a Shari if it is not splintery. sent10: the tine is a Shari if the fact that it pushes inspectorship and is not imperfect is not correct. sent11: if something is not mandibular that it does push inspectorship and is not imperfect is not right.
sent11 -> int1: if the tine is not mandibular then the fact that it does push inspectorship and is not imperfect is incorrect.; sent2 & sent7 -> int2: the tine is not mandibular.; int1 & int2 -> int3: that the tine does push inspectorship and is not imperfect is wrong.; int3 & sent10 -> int4: the tine is a Shari.; int4 -> int5: something is a Shari.; int5 & sent8 -> int6: the push does push beguilement but it is not splintery.; int6 -> int7: something does push beguilement and is not splintery.; int7 & sent4 -> int8: the subduction is a Labanotation.; sent6 -> int9: that if the subduction is a kind of the Labanotation the subduction straightens CT is not incorrect.; int8 & int9 -> hypothesis;
the subduction does not straighten CT.
sent3 -> int10: there is something such that the fact that it pushes abbacy and does not straighten apar is wrong.;
$hypothesis$ = the subduction does not straighten CT. ; $context$ = sent1: if that the needle is a kind of a Labanotation and is non-splintery does not hold then the push is not non-splintery. sent2: the tine is not mandibular if it does straighten apar. sent3: that the piroplasm does push abbacy but it does not straighten apar is wrong. sent4: if something does push beguilement and is not splintery then the subduction is a Labanotation. sent5: The apar straightens tine. sent6: if something is a Labanotation then it does straighten CT. sent7: the tine straightens apar. sent8: the push pushes beguilement and is not splintery if there exists something such that it is a Shari. sent9: the push is a kind of non-mandibular thing that is a Shari if it is not splintery. sent10: the tine is a Shari if the fact that it pushes inspectorship and is not imperfect is not correct. sent11: if something is not mandibular that it does push inspectorship and is not imperfect is not right. ; $proof$ = 
sent11 -> int1: if the tine is not mandibular then the fact that it does push inspectorship and is not imperfect is incorrect.; sent2 & sent7 -> int2: the tine is not mandibular.; int1 & int2 -> int3: that the tine does push inspectorship and is not imperfect is wrong.; int3 & sent10 -> int4: the tine is a Shari.; int4 -> int5: something is a Shari.; int5 & sent8 -> int6: the push does push beguilement but it is not splintery.; int6 -> int7: something does push beguilement and is not splintery.; int7 & sent4 -> int8: the subduction is a Labanotation.; sent6 -> int9: that if the subduction is a kind of the Labanotation the subduction straightens CT is not incorrect.; int8 & int9 -> hypothesis; __DISPROVED__