the duct is a kind of a phial that is inoffensive.
sent1: the ear does not deactivate inefficacy if that the foramen is not a gametangium and it does not deactivate inefficacy is not correct. sent2: the hauberk is non-amicable and it does not confederate K if it is a Monochamus. sent3: the fact that the foramen is not a kind of a gametangium and it does not deactivate inefficacy is not correct. sent4: if that the duct is not a kind of an easement or is Filipino or both is incorrect then it is inoffensive. sent5: the hauberk is a Monochamus. sent6: if the fact that the hauberk is not nosed hold the duct is a kind of a phial. sent7: that either the duct is not a kind of an easement or it is Filipino or both is not correct if the ear does not deactivate inefficacy. sent8: the foramen is amicable. sent9: if something that is not amicable does not confederate K then the fact that it is noseless hold.
sent2 & sent5 -> int1: the hauberk is non-amicable thing that does not confederate K.; sent9 -> int2: the hauberk is noseless if it is not amicable and it does not confederate K.; int1 & int2 -> int3: the hauberk is noseless.; int3 & sent6 -> int4: the duct is a phial.; sent1 & sent3 -> int5: the ear does not deactivate inefficacy.; sent7 & int5 -> int6: the fact that the duct is either not an easement or not non-Filipino or both is not true.; sent4 & int6 -> int7: the duct is inoffensive.; int4 & int7 -> hypothesis;
$hypothesis$ = the duct is a kind of a phial that is inoffensive. ; $context$ = sent1: the ear does not deactivate inefficacy if that the foramen is not a gametangium and it does not deactivate inefficacy is not correct. sent2: the hauberk is non-amicable and it does not confederate K if it is a Monochamus. sent3: the fact that the foramen is not a kind of a gametangium and it does not deactivate inefficacy is not correct. sent4: if that the duct is not a kind of an easement or is Filipino or both is incorrect then it is inoffensive. sent5: the hauberk is a Monochamus. sent6: if the fact that the hauberk is not nosed hold the duct is a kind of a phial. sent7: that either the duct is not a kind of an easement or it is Filipino or both is not correct if the ear does not deactivate inefficacy. sent8: the foramen is amicable. sent9: if something that is not amicable does not confederate K then the fact that it is noseless hold. ; $proof$ = 
sent2 & sent5 -> int1: the hauberk is non-amicable thing that does not confederate K.; sent9 -> int2: the hauberk is noseless if it is not amicable and it does not confederate K.; int1 & int2 -> int3: the hauberk is noseless.; int3 & sent6 -> int4: the duct is a phial.; sent1 & sent3 -> int5: the ear does not deactivate inefficacy.; sent7 & int5 -> int6: the fact that the duct is either not an easement or not non-Filipino or both is not true.; sent4 & int6 -> int7: the duct is inoffensive.; int4 & int7 -> hypothesis; __PROVED__