the SCPO is a Gibraltar.
sent1: the protamine is a Gibraltar but it is not a norethindrone. sent2: if the shaping does not transplant then the fact that either the protamine is sacral or it does not expense quartzite or both does not hold. sent3: if the shaping is alkalotic then that the protamine is alkalotic is right. sent4: the SCPO does mass but it does not reopen intelligibility. sent5: if the fact that the fire-on-the-mountain is a psaltery is true the shaping does not expense reviewer. sent6: the shaping is alkalotic. sent7: if something is a thymine the fact that it is a rhinotomy and it is not renewable is not true. sent8: if the protamine is a hike that is a norethindrone then it seeks. sent9: if the protamine is a hike but it is not a norethindrone it is a seeking. sent10: something that is renewable is a seeking. sent11: the shaping is a norethindrone if it is alkalotic and it is not a hike. sent12: the shaping does not reopen liveryman. sent13: the protamine is not a norethindrone. sent14: the shaping is not a transplant if it does not reopen liveryman and does not expense reviewer. sent15: the SCPO is not a Gibraltar if a seeking is alkalotic. sent16: the fire-on-the-mountain is a psaltery. sent17: the SCPO is a kind of a norethindrone that is not basal. sent18: the loach does seek. sent19: if something is alkalotic it is a Gibraltar. sent20: something is a kind of a thymine if the fact that it is sacral or does not expense quartzite or both does not hold. sent21: the liveryman is not a kind of a hike. sent22: there is something such that it does seek. sent23: the protamine hikes and is not a norethindrone. sent24: something is alkalotic.
sent9 & sent23 -> int1: the protamine is a seeking.; sent3 & sent6 -> int2: the protamine is alkalotic.; int1 & int2 -> int3: the protamine seeks and it is alkalotic.; int3 -> int4: something is a seeking and is alkalotic.; int4 & sent15 -> hypothesis;
the SCPO is a Gibraltar.
sent19 -> int5: if that the SCPO is alkalotic is true then it is a Gibraltar.; sent10 -> int6: that the SCPO is a seeking hold if it is renewable.; sent7 -> int7: that the protamine is a rhinotomy but it is not renewable does not hold if it is a thymine.; sent20 -> int8: if the fact that the protamine is sacral or it does not expense quartzite or both is wrong then it is a thymine.; sent5 & sent16 -> int9: the shaping does not expense reviewer.; sent12 & int9 -> int10: the shaping does not reopen liveryman and it does not expense reviewer.; sent14 & int10 -> int11: the shaping is not a transplant.; sent2 & int11 -> int12: that either the protamine is sacral or it does not expense quartzite or both is not correct.; int8 & int12 -> int13: the protamine is a kind of a thymine.; int7 & int13 -> int14: that the protamine is a rhinotomy that is not renewable is not true.; int14 -> int15: there is something such that the fact that it is a kind of a rhinotomy and it is not renewable is false.;
$hypothesis$ = the SCPO is a Gibraltar. ; $context$ = sent1: the protamine is a Gibraltar but it is not a norethindrone. sent2: if the shaping does not transplant then the fact that either the protamine is sacral or it does not expense quartzite or both does not hold. sent3: if the shaping is alkalotic then that the protamine is alkalotic is right. sent4: the SCPO does mass but it does not reopen intelligibility. sent5: if the fact that the fire-on-the-mountain is a psaltery is true the shaping does not expense reviewer. sent6: the shaping is alkalotic. sent7: if something is a thymine the fact that it is a rhinotomy and it is not renewable is not true. sent8: if the protamine is a hike that is a norethindrone then it seeks. sent9: if the protamine is a hike but it is not a norethindrone it is a seeking. sent10: something that is renewable is a seeking. sent11: the shaping is a norethindrone if it is alkalotic and it is not a hike. sent12: the shaping does not reopen liveryman. sent13: the protamine is not a norethindrone. sent14: the shaping is not a transplant if it does not reopen liveryman and does not expense reviewer. sent15: the SCPO is not a Gibraltar if a seeking is alkalotic. sent16: the fire-on-the-mountain is a psaltery. sent17: the SCPO is a kind of a norethindrone that is not basal. sent18: the loach does seek. sent19: if something is alkalotic it is a Gibraltar. sent20: something is a kind of a thymine if the fact that it is sacral or does not expense quartzite or both does not hold. sent21: the liveryman is not a kind of a hike. sent22: there is something such that it does seek. sent23: the protamine hikes and is not a norethindrone. sent24: something is alkalotic. ; $proof$ = 
sent9 & sent23 -> int1: the protamine is a seeking.; sent3 & sent6 -> int2: the protamine is alkalotic.; int1 & int2 -> int3: the protamine seeks and it is alkalotic.; int3 -> int4: something is a seeking and is alkalotic.; int4 & sent15 -> hypothesis; __DISPROVED__