either the highway is a kind of a graduation or it targets interspersion or both.
sent1: the highway does target interspersion and/or it beeps hatchback. sent2: if something does not gestate and beeps humbleness then it does fold weakfish. sent3: if the fact that the smoke is a plastique is not false it is not a hosteller and it is a plank. sent4: everything beeps hatchback. sent5: the highway is a kind of a Appalachians. sent6: if the fact that the heretic does not fold weakfish but it is hyaloplasmic does not hold the gomphothere does not beep hatchback. sent7: the fact that the highway is a graduation and/or does target interspersion does not hold if the fact that the gomphothere does not beep hatchback is right. sent8: the smoke is a plastique.
sent4 -> int1: the duck does beep hatchback.;
the fact that the highway is a kind of a graduation or does target interspersion or both is not true.
sent2 -> int2: if the beadle does not gestate but it does beep humbleness it does fold weakfish.; sent3 & sent8 -> int3: the smoke is not a hosteller but it does plank.; int3 -> int4: the smoke is not a hosteller.; int4 -> int5: there exists something such that it is not a hosteller.;
$hypothesis$ = either the highway is a kind of a graduation or it targets interspersion or both. ; $context$ = sent1: the highway does target interspersion and/or it beeps hatchback. sent2: if something does not gestate and beeps humbleness then it does fold weakfish. sent3: if the fact that the smoke is a plastique is not false it is not a hosteller and it is a plank. sent4: everything beeps hatchback. sent5: the highway is a kind of a Appalachians. sent6: if the fact that the heretic does not fold weakfish but it is hyaloplasmic does not hold the gomphothere does not beep hatchback. sent7: the fact that the highway is a graduation and/or does target interspersion does not hold if the fact that the gomphothere does not beep hatchback is right. sent8: the smoke is a plastique. ; $proof$ = 
sent4 -> int1: the duck does beep hatchback.; __UNKNOWN__