the radio-phonograph is not fiber-optic.
sent1: the fact that the lodestar is chalybeate and/or is not a spoilsport is right if the regnellidium is not atrioventricular. sent2: that the regnellidium is fiber-optic and it is atrioventricular is incorrect. sent3: the lodestar is a rafter but it is not interstitial if it is a spoilsport. sent4: if the fact that either the casserole mounts or it is not a spoilsport or both does not hold then the longhorn is not a weeknight. sent5: if the radio-phonograph is not endodontics then either the beta-interferon is atrioventricular or it is not fiber-optic or both. sent6: if the fact that the longhorn rafters and it is a weeknight is false then it is not interstitial. sent7: the wheatworm is a rafter. sent8: the beta-interferon is endodontics. sent9: the fact that the beta-interferon is not a mounted or not a hee-haw or both is not correct. sent10: the beta-interferon is endodontics if the casserole mounts. sent11: the longhorn is not interstitial if it is not a weeknight. sent12: if the lodestar is not a spoilsport then the casserole does mount. sent13: the wheatworm does not administer Hordeum if the fact that either the beta-interferon does not sweeten or it is endodontics or both is not correct. sent14: the casserole does mount and/or does not sweeten. sent15: the lodestar is not a skillfulness. sent16: if there is something such that the fact that it is not atrioventricular is not correct the fact that the longhorn is a rafter and a weeknight is incorrect. sent17: the fact that the beta-interferon does not sweeten or is not endodontics or both is false if the casserole is a mounted. sent18: the radio-phonograph is not fiber-optic if the wheatworm does not administer Hordeum. sent19: the longhorn is interstitial. sent20: either the radio-phonograph is chalybeate or it is not fiber-optic or both. sent21: the radio-phonograph is fiber-optic if the longhorn is atrioventricular. sent22: the casserole is not endodontics. sent23: that the longhorn is not fiber-optic or is not a weeknight or both is not true. sent24: if the fact that either the beta-interferon does not sweeten or it is not endodontics or both is not correct then the wheatworm does not administer Hordeum.
void -> assump1: Let's assume that that the regnellidium is atrioventricular is right.; assump1 -> int1: there is something such that it is atrioventricular.; int1 & sent16 -> int2: that the longhorn is a rafter that is a weeknight is wrong.; int2 & sent6 -> int3: the longhorn is not interstitial.; int3 & sent19 -> int4: this is contradiction.; [assump1] & int4 -> int5: the regnellidium is not atrioventricular.; int5 & sent1 -> int6: the lodestar is chalybeate or not a spoilsport or both.;
the radio-phonograph is fiber-optic.
$hypothesis$ = the radio-phonograph is not fiber-optic. ; $context$ = sent1: the fact that the lodestar is chalybeate and/or is not a spoilsport is right if the regnellidium is not atrioventricular. sent2: that the regnellidium is fiber-optic and it is atrioventricular is incorrect. sent3: the lodestar is a rafter but it is not interstitial if it is a spoilsport. sent4: if the fact that either the casserole mounts or it is not a spoilsport or both does not hold then the longhorn is not a weeknight. sent5: if the radio-phonograph is not endodontics then either the beta-interferon is atrioventricular or it is not fiber-optic or both. sent6: if the fact that the longhorn rafters and it is a weeknight is false then it is not interstitial. sent7: the wheatworm is a rafter. sent8: the beta-interferon is endodontics. sent9: the fact that the beta-interferon is not a mounted or not a hee-haw or both is not correct. sent10: the beta-interferon is endodontics if the casserole mounts. sent11: the longhorn is not interstitial if it is not a weeknight. sent12: if the lodestar is not a spoilsport then the casserole does mount. sent13: the wheatworm does not administer Hordeum if the fact that either the beta-interferon does not sweeten or it is endodontics or both is not correct. sent14: the casserole does mount and/or does not sweeten. sent15: the lodestar is not a skillfulness. sent16: if there is something such that the fact that it is not atrioventricular is not correct the fact that the longhorn is a rafter and a weeknight is incorrect. sent17: the fact that the beta-interferon does not sweeten or is not endodontics or both is false if the casserole is a mounted. sent18: the radio-phonograph is not fiber-optic if the wheatworm does not administer Hordeum. sent19: the longhorn is interstitial. sent20: either the radio-phonograph is chalybeate or it is not fiber-optic or both. sent21: the radio-phonograph is fiber-optic if the longhorn is atrioventricular. sent22: the casserole is not endodontics. sent23: that the longhorn is not fiber-optic or is not a weeknight or both is not true. sent24: if the fact that either the beta-interferon does not sweeten or it is not endodontics or both is not correct then the wheatworm does not administer Hordeum. ; $proof$ = 
void -> assump1: Let's assume that that the regnellidium is atrioventricular is right.; assump1 -> int1: there is something such that it is atrioventricular.; int1 & sent16 -> int2: that the longhorn is a rafter that is a weeknight is wrong.; int2 & sent6 -> int3: the longhorn is not interstitial.; int3 & sent19 -> int4: this is contradiction.; [assump1] & int4 -> int5: the regnellidium is not atrioventricular.; int5 & sent1 -> int6: the lodestar is chalybeate or not a spoilsport or both.; __UNKNOWN__