the diver is an eddy and is paniculate.
sent1: the ware is a kind of a FAQ. sent2: the diver does eddy and it is paniculate if the pocketcomb is not decisive. sent3: something is not glad if it is variolar and is a FAQ. sent4: something is not decisive if the fact that it does not clamor controlled and it is glad is wrong. sent5: the fact that the pocketcomb does not clamor controlled and is glad is not true if the fact that the ware is not glad is not false. sent6: the ware is variolar. sent7: if that the pocketcomb is not decisive is not incorrect then that the diver is paniculate is true. sent8: if something is not glad it is not decisive.
sent6 & sent1 -> int1: the ware is variolar and it is a FAQ.; sent3 -> int2: the ware is non-glad if it is variolar and it is a FAQ.; int1 & int2 -> int3: the ware is not glad.; int3 & sent5 -> int4: the fact that the pocketcomb does not clamor controlled but it is glad is incorrect.; sent4 -> int5: the pocketcomb is not decisive if the fact that it does not clamor controlled and it is glad does not hold.; int4 & int5 -> int6: the pocketcomb is not decisive.; int6 & sent2 -> hypothesis;
$hypothesis$ = the diver is an eddy and is paniculate. ; $context$ = sent1: the ware is a kind of a FAQ. sent2: the diver does eddy and it is paniculate if the pocketcomb is not decisive. sent3: something is not glad if it is variolar and is a FAQ. sent4: something is not decisive if the fact that it does not clamor controlled and it is glad is wrong. sent5: the fact that the pocketcomb does not clamor controlled and is glad is not true if the fact that the ware is not glad is not false. sent6: the ware is variolar. sent7: if that the pocketcomb is not decisive is not incorrect then that the diver is paniculate is true. sent8: if something is not glad it is not decisive. ; $proof$ = 
sent6 & sent1 -> int1: the ware is variolar and it is a FAQ.; sent3 -> int2: the ware is non-glad if it is variolar and it is a FAQ.; int1 & int2 -> int3: the ware is not glad.; int3 & sent5 -> int4: the fact that the pocketcomb does not clamor controlled but it is glad is incorrect.; sent4 -> int5: the pocketcomb is not decisive if the fact that it does not clamor controlled and it is glad does not hold.; int4 & int5 -> int6: the pocketcomb is not decisive.; int6 & sent2 -> hypothesis; __PROVED__