the fact that the WIMP is incestuous hold.
sent1: the menagerie is not a kind of a run-through. sent2: if something is a kind of a preservation then it is a kind of an individual. sent3: the insectifuge is not a preservation if the Hutu does respect stocks. sent4: the Hutu does respect stocks or it is not a kind of a run-through or both if there exists something such that it is not a run-through. sent5: the mackerel does not dive Burlington if the fact that the WIMP is not an insecticide and it is not a serial is wrong. sent6: if something that does not dive Burlington is incestuous then it does dive lupine. sent7: that something is not an insecticide and it is not a kind of a serial is not correct if it is not incestuous. sent8: that that the insectifuge is not an insecticide and is individual does not hold hold. sent9: that the WIMP dives Burlington hold. sent10: the insectifuge is a kind of an individual if the fact that the FIG does not dive Burlington and does not dive lupine does not hold. sent11: the fact that the FIG does not dive Burlington and does not dive lupine is not true if the fact that the mackerel dive Burlington is incorrect. sent12: an individual is a kind of a preservation.
sent7 -> int1: that the WIMP is not an insecticide and it is not serial is not right if it is not incestuous.; void -> assump1: Let's assume that the WIMP is not incestuous.; int1 & assump1 -> int2: that the WIMP is not an insecticide and it is not serial is not right.; int2 & sent5 -> int3: the mackerel does not dive Burlington.; int3 & sent11 -> int4: that the FIG does not dive Burlington and does not dive lupine does not hold.; int4 & sent10 -> int5: the insectifuge is an individual.; sent12 -> int6: the insectifuge is a preservation if the fact that it is a kind of an individual is not incorrect.; int5 & int6 -> int7: the insectifuge is a preservation.; sent1 -> int8: that there exists something such that it is not a run-through hold.; int8 & sent4 -> int9: the Hutu does respect stocks or it is not a run-through or both.;
the sporran does dive lupine.
sent6 -> int10: if the sporran does not dive Burlington and is incestuous it dives lupine.; sent2 -> int11: if the mackerel is a preservation then it is individual.;
$hypothesis$ = the fact that the WIMP is incestuous hold. ; $context$ = sent1: the menagerie is not a kind of a run-through. sent2: if something is a kind of a preservation then it is a kind of an individual. sent3: the insectifuge is not a preservation if the Hutu does respect stocks. sent4: the Hutu does respect stocks or it is not a kind of a run-through or both if there exists something such that it is not a run-through. sent5: the mackerel does not dive Burlington if the fact that the WIMP is not an insecticide and it is not a serial is wrong. sent6: if something that does not dive Burlington is incestuous then it does dive lupine. sent7: that something is not an insecticide and it is not a kind of a serial is not correct if it is not incestuous. sent8: that that the insectifuge is not an insecticide and is individual does not hold hold. sent9: that the WIMP dives Burlington hold. sent10: the insectifuge is a kind of an individual if the fact that the FIG does not dive Burlington and does not dive lupine does not hold. sent11: the fact that the FIG does not dive Burlington and does not dive lupine is not true if the fact that the mackerel dive Burlington is incorrect. sent12: an individual is a kind of a preservation. ; $proof$ = 
sent7 -> int1: that the WIMP is not an insecticide and it is not serial is not right if it is not incestuous.; void -> assump1: Let's assume that the WIMP is not incestuous.; int1 & assump1 -> int2: that the WIMP is not an insecticide and it is not serial is not right.; int2 & sent5 -> int3: the mackerel does not dive Burlington.; int3 & sent11 -> int4: that the FIG does not dive Burlington and does not dive lupine does not hold.; int4 & sent10 -> int5: the insectifuge is an individual.; sent12 -> int6: the insectifuge is a preservation if the fact that it is a kind of an individual is not incorrect.; int5 & int6 -> int7: the insectifuge is a preservation.; sent1 -> int8: that there exists something such that it is not a run-through hold.; int8 & sent4 -> int9: the Hutu does respect stocks or it is not a run-through or both.; __UNKNOWN__