the hornet is not armillary.
sent1: the craps does unbend skybox. sent2: The skybox does unbend craps. sent3: the timbrel unbends skybox. sent4: if that the craps is not a Phanerozoic but it twiddles is not true then it does convoy hornet. sent5: if the craps teases graphic and it convoys hornet the graphic does not impend. sent6: if the timbrel is a Malian or it is photovoltaic or both then the hornet is not armillary. sent7: the timbrel does impend and is a UN if the graphic does not impend. sent8: the timbrel is armillary if it does not impend. sent9: the fact that the craps is not a Phanerozoic but a twiddle does not hold. sent10: if that the timbrel does impend is not false it is photovoltaic.
sent4 & sent9 -> int1: the craps convoys hornet.;
$hypothesis$ = the hornet is not armillary. ; $context$ = sent1: the craps does unbend skybox. sent2: The skybox does unbend craps. sent3: the timbrel unbends skybox. sent4: if that the craps is not a Phanerozoic but it twiddles is not true then it does convoy hornet. sent5: if the craps teases graphic and it convoys hornet the graphic does not impend. sent6: if the timbrel is a Malian or it is photovoltaic or both then the hornet is not armillary. sent7: the timbrel does impend and is a UN if the graphic does not impend. sent8: the timbrel is armillary if it does not impend. sent9: the fact that the craps is not a Phanerozoic but a twiddle does not hold. sent10: if that the timbrel does impend is not false it is photovoltaic. ; $proof$ = 
sent4 & sent9 -> int1: the craps convoys hornet.; __UNKNOWN__