the icecap is inclement and it is a kind of a barberry.
sent1: the fact that the icecap is a kind of a barberry is right if that the pinchgut is not a barberry and/or it is not a deposition does not hold. sent2: the fact that the pinchgut is not a barberry and/or it is not a deposition is false if the bobwhite is not a VFW. sent3: if the abortifacient presides then it does recriminate. sent4: the abortifacient presides. sent5: the bobwhite is not a VFW. sent6: if something recriminates then it does dissociate Diodon. sent7: if the abortifacient does dissociate Diodon then the icecap is inclement.
sent3 & sent4 -> int1: the abortifacient recriminates.; sent6 -> int2: if the abortifacient does recriminate the fact that it does dissociate Diodon is correct.; int1 & int2 -> int3: the abortifacient dissociates Diodon.; int3 & sent7 -> int4: the icecap is inclement.; sent2 & sent5 -> int5: that the pinchgut is not a barberry and/or is not a deposition is incorrect.; sent1 & int5 -> int6: the icecap is a kind of a barberry.; int4 & int6 -> hypothesis;
$hypothesis$ = the icecap is inclement and it is a kind of a barberry. ; $context$ = sent1: the fact that the icecap is a kind of a barberry is right if that the pinchgut is not a barberry and/or it is not a deposition does not hold. sent2: the fact that the pinchgut is not a barberry and/or it is not a deposition is false if the bobwhite is not a VFW. sent3: if the abortifacient presides then it does recriminate. sent4: the abortifacient presides. sent5: the bobwhite is not a VFW. sent6: if something recriminates then it does dissociate Diodon. sent7: if the abortifacient does dissociate Diodon then the icecap is inclement. ; $proof$ = 
sent3 & sent4 -> int1: the abortifacient recriminates.; sent6 -> int2: if the abortifacient does recriminate the fact that it does dissociate Diodon is correct.; int1 & int2 -> int3: the abortifacient dissociates Diodon.; int3 & sent7 -> int4: the icecap is inclement.; sent2 & sent5 -> int5: that the pinchgut is not a barberry and/or is not a deposition is incorrect.; sent1 & int5 -> int6: the icecap is a kind of a barberry.; int4 & int6 -> hypothesis; __PROVED__