if the viewgraph deglazes panther then the rattrap is a proximity and not inboard.
sent1: that the eoraptor is a peacock and it does bedew tachograph is right. sent2: that the tanbark verbifies three-decker but it is not a gastrectomy is not correct. sent3: if something is not a grazing that it either is a ricin or is not a Nyiragongo or both is not true. sent4: if there exists something such that the fact that it is credulous but not an upbeat does not hold the cheesecake does not graze. sent5: the viewgraph does deglaze panther if the rattrap is not a kind of a proximity. sent6: if something is not a faintheartedness and/or it is not a kind of a gastrectomy then it is not inboard. sent7: if the fact that either the cheesecake is a ricin or it is not a Nyiragongo or both is not right then the therapist is not a Nyiragongo. sent8: if something is not a faintheartedness then it is not inboard. sent9: if there exists something such that the fact that it does verbify three-decker and is not a kind of a gastrectomy does not hold then the therapist is a gastrectomy. sent10: if there exists something such that it is a faintheartedness that the rattrap does not deglaze panther and it is not inboard is not correct. sent11: if there exists something such that that it does not deglaze panther and it is not inboard does not hold the fact that the viewgraph is not a proximity hold. sent12: if something that is a gastrectomy is not a Nyiragongo then it is a faintheartedness. sent13: the rattrap is a faintheartedness or it is not a gastrectomy or both. sent14: if the eoraptor bedews tachograph then that the housewrecker is a kind of credulous thing that is not an upbeat does not hold. sent15: the viewgraph does not deglaze panther if the rattrap is not a proximity. sent16: the rattrap does not deglaze panther and/or it is not a doctor. sent17: if the rattrap is not a faintheartedness it is not inboard. sent18: the fact that the countryside is not a proximity is not false.
void -> assump1: Let's assume that that the rattrap is not a proximity is not false.; sent15 & assump1 -> int1: the viewgraph does not deglaze panther.; void -> assump2: Let's assume that the viewgraph deglazes panther.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the rattrap is a proximity.; sent6 -> int4: the rattrap is not inboard if the fact that it is not a faintheartedness and/or is not a kind of a gastrectomy is not false.;
the viewgraph is not a proximity.
sent12 -> int5: the therapist is a kind of a faintheartedness if it is a gastrectomy but not a Nyiragongo.; sent2 -> int6: there is something such that that the fact that it does verbify three-decker and is not a gastrectomy is true is false.; int6 & sent9 -> int7: the therapist is a gastrectomy.; sent3 -> int8: the fact that the cheesecake is a ricin and/or it is not a Nyiragongo is incorrect if it is not a grazing.; sent1 -> int9: the eoraptor does bedew tachograph.; sent14 & int9 -> int10: the fact that the housewrecker is credulous but it is not a kind of an upbeat is wrong.; int10 -> int11: there is something such that the fact that it is credulous and it is not an upbeat is not true.; int11 & sent4 -> int12: the fact that the cheesecake is not a grazing is correct.; int8 & int12 -> int13: the fact that the cheesecake is a kind of a ricin and/or it is not a Nyiragongo is false.; sent7 & int13 -> int14: the therapist is not a Nyiragongo.; int7 & int14 -> int15: the therapist is a gastrectomy and is not a Nyiragongo.; int5 & int15 -> int16: the therapist is a faintheartedness.; int16 -> int17: something is a faintheartedness.; int17 & sent10 -> int18: the fact that the rattrap does not deglaze panther and is not inboard is false.; int18 -> int19: there exists something such that that it does not deglaze panther and is not inboard is false.; int19 & sent11 -> hypothesis;
$hypothesis$ = if the viewgraph deglazes panther then the rattrap is a proximity and not inboard. ; $context$ = sent1: that the eoraptor is a peacock and it does bedew tachograph is right. sent2: that the tanbark verbifies three-decker but it is not a gastrectomy is not correct. sent3: if something is not a grazing that it either is a ricin or is not a Nyiragongo or both is not true. sent4: if there exists something such that the fact that it is credulous but not an upbeat does not hold the cheesecake does not graze. sent5: the viewgraph does deglaze panther if the rattrap is not a kind of a proximity. sent6: if something is not a faintheartedness and/or it is not a kind of a gastrectomy then it is not inboard. sent7: if the fact that either the cheesecake is a ricin or it is not a Nyiragongo or both is not right then the therapist is not a Nyiragongo. sent8: if something is not a faintheartedness then it is not inboard. sent9: if there exists something such that the fact that it does verbify three-decker and is not a kind of a gastrectomy does not hold then the therapist is a gastrectomy. sent10: if there exists something such that it is a faintheartedness that the rattrap does not deglaze panther and it is not inboard is not correct. sent11: if there exists something such that that it does not deglaze panther and it is not inboard does not hold the fact that the viewgraph is not a proximity hold. sent12: if something that is a gastrectomy is not a Nyiragongo then it is a faintheartedness. sent13: the rattrap is a faintheartedness or it is not a gastrectomy or both. sent14: if the eoraptor bedews tachograph then that the housewrecker is a kind of credulous thing that is not an upbeat does not hold. sent15: the viewgraph does not deglaze panther if the rattrap is not a proximity. sent16: the rattrap does not deglaze panther and/or it is not a doctor. sent17: if the rattrap is not a faintheartedness it is not inboard. sent18: the fact that the countryside is not a proximity is not false. ; $proof$ = 
void -> assump1: Let's assume that that the rattrap is not a proximity is not false.; sent15 & assump1 -> int1: the viewgraph does not deglaze panther.; void -> assump2: Let's assume that the viewgraph deglazes panther.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the rattrap is a proximity.; sent6 -> int4: the rattrap is not inboard if the fact that it is not a faintheartedness and/or is not a kind of a gastrectomy is not false.; __UNKNOWN__