the safehold is a kind of a pneumonectomy.
sent1: the safehold does bumble if something is not varicelliform. sent2: the sailfish slices persuasiveness and is not a tenth. sent3: if a pneumonectomy is not a kind of a nutlet it is bucolic. sent4: the reel is a willowherb and it does bumble. sent5: the gravitation does not slice persuasiveness if the reel is a kind of a spindrift and is bucolic. sent6: the firewall is a kind of a willowherb and it does mint secessionism. sent7: if the checkpoint is not varicelliform the safehold is exocentric but not varicelliform. sent8: the fact that the sailfish is a nutlet and not a tenth is not incorrect if there is something such that it does not slice persuasiveness. sent9: the checkpoint is not varicelliform if the sailfish is a nutlet but it is not a kind of a tenth. sent10: something is bucolic if it does bumble. sent11: the reel is a spindrift. sent12: the sailfish does fatten.
sent4 -> int1: the reel bumbles.; sent10 -> int2: the reel is not non-bucolic if it bumbles.; int1 & int2 -> int3: the fact that the reel is bucolic is not wrong.; int3 & sent11 -> int4: the reel is a spindrift and bucolic.; int4 & sent5 -> int5: the gravitation does not slice persuasiveness.; int5 -> int6: there exists something such that that it does not slice persuasiveness is right.; int6 & sent8 -> int7: the sailfish is a nutlet and is not a kind of a tenth.; int7 & sent9 -> int8: the checkpoint is not varicelliform.; int8 & sent7 -> int9: the safehold is exocentric but it is not varicelliform.;
$hypothesis$ = the safehold is a kind of a pneumonectomy. ; $context$ = sent1: the safehold does bumble if something is not varicelliform. sent2: the sailfish slices persuasiveness and is not a tenth. sent3: if a pneumonectomy is not a kind of a nutlet it is bucolic. sent4: the reel is a willowherb and it does bumble. sent5: the gravitation does not slice persuasiveness if the reel is a kind of a spindrift and is bucolic. sent6: the firewall is a kind of a willowherb and it does mint secessionism. sent7: if the checkpoint is not varicelliform the safehold is exocentric but not varicelliform. sent8: the fact that the sailfish is a nutlet and not a tenth is not incorrect if there is something such that it does not slice persuasiveness. sent9: the checkpoint is not varicelliform if the sailfish is a nutlet but it is not a kind of a tenth. sent10: something is bucolic if it does bumble. sent11: the reel is a spindrift. sent12: the sailfish does fatten. ; $proof$ = 
sent4 -> int1: the reel bumbles.; sent10 -> int2: the reel is not non-bucolic if it bumbles.; int1 & int2 -> int3: the fact that the reel is bucolic is not wrong.; int3 & sent11 -> int4: the reel is a spindrift and bucolic.; int4 & sent5 -> int5: the gravitation does not slice persuasiveness.; int5 -> int6: there exists something such that that it does not slice persuasiveness is right.; int6 & sent8 -> int7: the sailfish is a nutlet and is not a kind of a tenth.; int7 & sent9 -> int8: the checkpoint is not varicelliform.; int8 & sent7 -> int9: the safehold is exocentric but it is not varicelliform.; __UNKNOWN__