the bottlecap does not contort straight.
sent1: something that does contort actinism contorts unknown and is not radiolucent. sent2: if the fact that that something does contort arcella and is not a counterintelligence is not false is incorrect it does not contort straight. sent3: the perch does not contort straight. sent4: if the verger is not a counterintelligence that the bottlecap contorts arcella but it is not a counterintelligence is wrong. sent5: if the vacationer thrills dibranchiate and is non-sportive it does not contort actinism. sent6: if something is not uninjectable then it is not a counterintelligence. sent7: if the vacationer does thrill dibranchiate and it is a counterintelligence it is not radiolucent. sent8: the verger is not uninjectable if the vacationer is radiolucent and does not fit compaction. sent9: if the vacationer is not sportive the fact that the verger is not injectable and not sportive is false. sent10: the vacationer thrills dibranchiate and is not sportive. sent11: the fact that the bottlecap is a kind of a counterintelligence but it does not contort actinism is not correct. sent12: something is radiolucent but it does not fit compaction if it does not contort actinism. sent13: the bottlecap is radiolucent. sent14: the vacationer is radiolucent thing that does not contort straight if it does not thrill dibranchiate. sent15: that the vacationer does contort actinism and is not a counterintelligence does not hold.
sent12 -> int1: if the vacationer does not contort actinism it is radiolucent and does not fit compaction.; sent5 & sent10 -> int2: the vacationer does not contort actinism.; int1 & int2 -> int3: the vacationer is radiolucent and does not fit compaction.; int3 & sent8 -> int4: the verger is not uninjectable.; sent6 -> int5: the verger is not a counterintelligence if that it is not uninjectable is not wrong.; int4 & int5 -> int6: the fact that the verger is not a counterintelligence is not incorrect.; int6 & sent4 -> int7: the fact that the bottlecap does contort arcella and is not a kind of a counterintelligence is not right.; sent2 -> int8: the bottlecap does not contort straight if the fact that it contorts arcella and it is not a counterintelligence does not hold.; int7 & int8 -> hypothesis;
the sutler does contort unknown and is not radiolucent.
sent1 -> int9: the sutler contorts unknown and is not radiolucent if it does contort actinism.;
$hypothesis$ = the bottlecap does not contort straight. ; $context$ = sent1: something that does contort actinism contorts unknown and is not radiolucent. sent2: if the fact that that something does contort arcella and is not a counterintelligence is not false is incorrect it does not contort straight. sent3: the perch does not contort straight. sent4: if the verger is not a counterintelligence that the bottlecap contorts arcella but it is not a counterintelligence is wrong. sent5: if the vacationer thrills dibranchiate and is non-sportive it does not contort actinism. sent6: if something is not uninjectable then it is not a counterintelligence. sent7: if the vacationer does thrill dibranchiate and it is a counterintelligence it is not radiolucent. sent8: the verger is not uninjectable if the vacationer is radiolucent and does not fit compaction. sent9: if the vacationer is not sportive the fact that the verger is not injectable and not sportive is false. sent10: the vacationer thrills dibranchiate and is not sportive. sent11: the fact that the bottlecap is a kind of a counterintelligence but it does not contort actinism is not correct. sent12: something is radiolucent but it does not fit compaction if it does not contort actinism. sent13: the bottlecap is radiolucent. sent14: the vacationer is radiolucent thing that does not contort straight if it does not thrill dibranchiate. sent15: that the vacationer does contort actinism and is not a counterintelligence does not hold. ; $proof$ = 
sent12 -> int1: if the vacationer does not contort actinism it is radiolucent and does not fit compaction.; sent5 & sent10 -> int2: the vacationer does not contort actinism.; int1 & int2 -> int3: the vacationer is radiolucent and does not fit compaction.; int3 & sent8 -> int4: the verger is not uninjectable.; sent6 -> int5: the verger is not a counterintelligence if that it is not uninjectable is not wrong.; int4 & int5 -> int6: the fact that the verger is not a counterintelligence is not incorrect.; int6 & sent4 -> int7: the fact that the bottlecap does contort arcella and is not a kind of a counterintelligence is not right.; sent2 -> int8: the bottlecap does not contort straight if the fact that it contorts arcella and it is not a counterintelligence does not hold.; int7 & int8 -> hypothesis; __PROVED__