the handmaid is a kind of a Iraq.
sent1: the spot-welder is not a kind of a bullpen if the fact that the rambler shores angelology and it shores amide does not hold. sent2: that the rambler does shore chylomicron and is a kind of a bullpen is false. sent3: the flavorer is not a meninx but it is a thirties if the salai is not a thirties. sent4: something does shore amide if it is a thirties. sent5: something does not shore angelology and does not shore amide if it does not billow raspberry. sent6: if something that does not shore angelology does not shore amide then the salai is not a thirties. sent7: if something that is not a meninx is a thirties then the handmaid is a Iraq.
sent5 -> int1: the spot-welder does not shore angelology and does not shore amide if it does not billow raspberry.;
that the handmaid is not a kind of a Iraq hold.
sent4 -> int2: if the fact that the spot-welder is a kind of a thirties is not false it does shore amide.;
$hypothesis$ = the handmaid is a kind of a Iraq. ; $context$ = sent1: the spot-welder is not a kind of a bullpen if the fact that the rambler shores angelology and it shores amide does not hold. sent2: that the rambler does shore chylomicron and is a kind of a bullpen is false. sent3: the flavorer is not a meninx but it is a thirties if the salai is not a thirties. sent4: something does shore amide if it is a thirties. sent5: something does not shore angelology and does not shore amide if it does not billow raspberry. sent6: if something that does not shore angelology does not shore amide then the salai is not a thirties. sent7: if something that is not a meninx is a thirties then the handmaid is a Iraq. ; $proof$ = 
sent5 -> int1: the spot-welder does not shore angelology and does not shore amide if it does not billow raspberry.; __UNKNOWN__