the grotto is not a bunt.
sent1: if something that does idealize neonatology is not a bunt the motel is not Boeotian. sent2: that something is not an inaccuracy and does guard cannonade is not true if it is not a rape. sent3: there exists something such that it bunts and it does subside Dirca. sent4: if the motel does not guard cannonade the grotto tolerates and it is gonadal. sent5: the fact that everything does not rape is not wrong. sent6: there is something such that it does not subside Dirca. sent7: if the breadwinner does not idealize neonatology then the grotto does subside Dirca but it is not a kind of a bunt. sent8: if there exists something such that it does subside Dirca and it does not idealize neonatology then the breadwinner is not Boeotian. sent9: there exists something such that it does subside Dirca and it is Boeotian. sent10: the marathoner does not idealize neonatology. sent11: the breadwinner does not guard snare. sent12: the motel is not Boeotian. sent13: the breadwinner is Boeotian thing that is not a bunt if the motel does not subside Dirca. sent14: there is something such that it does idealize neonatology and it subsides Dirca. sent15: if there exists something such that that it is not an inaccuracy and guards cannonade is not true the motel does not guards cannonade. sent16: if the motel is not Boeotian then the breadwinner idealizes neonatology but it does not subside Dirca. sent17: there exists something such that it does idealize neonatology. sent18: if something that idealizes neonatology does not subside Dirca the grotto is not a bunt. sent19: that something is both not non-Boeotian and non-lithophytic does not hold if that it tolerates is right. sent20: if something bunts and does not subside Dirca the grotto does not idealize neonatology. sent21: the grotto does not idealize neonatology. sent22: that the fact that the breadwinner does not idealize neonatology is right is false. sent23: the grotto does not subside Dirca.
sent16 & sent12 -> int1: the breadwinner does idealize neonatology and does not subside Dirca.; int1 -> int2: there is something such that it does idealize neonatology and it does not subside Dirca.; int2 & sent18 -> hypothesis;
the grotto is a bunt.
sent2 -> int3: that the barbette is not an inaccuracy but it guards cannonade is not correct if it is not a rape.; sent5 -> int4: the barbette is not a rape.; int3 & int4 -> int5: the fact that that the barbette is not an inaccuracy but it guards cannonade does not hold is true.; int5 -> int6: there exists nothing that is not an inaccuracy and does guard cannonade.; int6 -> int7: that the breadwinner is not an inaccuracy and does guard cannonade is not correct.; int7 -> int8: there exists something such that the fact that it is not a kind of an inaccuracy and it guards cannonade is not right.; int8 & sent15 -> int9: the motel does not guard cannonade.; int9 & sent4 -> int10: that the grotto does tolerate and is gonadal is correct.; int10 -> int11: the grotto tolerates.; sent19 -> int12: if the grotto does tolerate then the fact that it is Boeotian and is not lithophytic is not correct.; int11 & int12 -> int13: the fact that the grotto is Boeotian but it is not lithophytic is not correct.;
$hypothesis$ = the grotto is not a bunt. ; $context$ = sent1: if something that does idealize neonatology is not a bunt the motel is not Boeotian. sent2: that something is not an inaccuracy and does guard cannonade is not true if it is not a rape. sent3: there exists something such that it bunts and it does subside Dirca. sent4: if the motel does not guard cannonade the grotto tolerates and it is gonadal. sent5: the fact that everything does not rape is not wrong. sent6: there is something such that it does not subside Dirca. sent7: if the breadwinner does not idealize neonatology then the grotto does subside Dirca but it is not a kind of a bunt. sent8: if there exists something such that it does subside Dirca and it does not idealize neonatology then the breadwinner is not Boeotian. sent9: there exists something such that it does subside Dirca and it is Boeotian. sent10: the marathoner does not idealize neonatology. sent11: the breadwinner does not guard snare. sent12: the motel is not Boeotian. sent13: the breadwinner is Boeotian thing that is not a bunt if the motel does not subside Dirca. sent14: there is something such that it does idealize neonatology and it subsides Dirca. sent15: if there exists something such that that it is not an inaccuracy and guards cannonade is not true the motel does not guards cannonade. sent16: if the motel is not Boeotian then the breadwinner idealizes neonatology but it does not subside Dirca. sent17: there exists something such that it does idealize neonatology. sent18: if something that idealizes neonatology does not subside Dirca the grotto is not a bunt. sent19: that something is both not non-Boeotian and non-lithophytic does not hold if that it tolerates is right. sent20: if something bunts and does not subside Dirca the grotto does not idealize neonatology. sent21: the grotto does not idealize neonatology. sent22: that the fact that the breadwinner does not idealize neonatology is right is false. sent23: the grotto does not subside Dirca. ; $proof$ = 
sent16 & sent12 -> int1: the breadwinner does idealize neonatology and does not subside Dirca.; int1 -> int2: there is something such that it does idealize neonatology and it does not subside Dirca.; int2 & sent18 -> hypothesis; __PROVED__