the buckminsterfullerene is a kind of a melon.
sent1: if the SC is not anabolic and is a kind of a mnemonics the buckminsterfullerene is a melon. sent2: something is not anabolic but a mnemonics if it dangles comet. sent3: something is a hostilities and it does guggle buckminsterfullerene if it does not dangle testatrix. sent4: if that the SC is a hostilities hold then the palate is a hostilities. sent5: if there exists something such that it does dangle testatrix and guggles buckminsterfullerene then the SC does dangle comet. sent6: the palate dangles testatrix if something is not Anglo-catholic. sent7: the SC is a hostilities if there is something such that it is not a kind of a mnemonics. sent8: if something does dangle comet it is not a hostilities but mnemonics. sent9: the palate is telluric. sent10: the buckminsterfullerene does dangle testatrix if there exists something such that it is not an interruption. sent11: there exists something such that it is not Anglo-catholic. sent12: the palate is a hostilities and does guggle buckminsterfullerene. sent13: the buckminsterfullerene is a kind of Anglo-catholic thing that is a pediment. sent14: the muggee is a mnemonics. sent15: the palate is a hostilities if it is anabolic.
sent12 -> int1: that the palate guggles buckminsterfullerene is right.; sent11 & sent6 -> int2: the palate does dangle testatrix.; int1 & int2 -> int3: the palate does dangle testatrix and guggles buckminsterfullerene.; int3 -> int4: there is something such that it does dangle testatrix and does guggle buckminsterfullerene.; int4 & sent5 -> int5: the SC does dangle comet.; sent2 -> int6: if the SC dangles comet it is non-anabolic and mnemonics.; int5 & int6 -> int7: the SC is a kind of non-anabolic a mnemonics.; int7 & sent1 -> hypothesis;
the buckminsterfullerene is not a melon.
sent3 -> int8: the SC is a hostilities that guggles buckminsterfullerene if it does not dangle testatrix.;
$hypothesis$ = the buckminsterfullerene is a kind of a melon. ; $context$ = sent1: if the SC is not anabolic and is a kind of a mnemonics the buckminsterfullerene is a melon. sent2: something is not anabolic but a mnemonics if it dangles comet. sent3: something is a hostilities and it does guggle buckminsterfullerene if it does not dangle testatrix. sent4: if that the SC is a hostilities hold then the palate is a hostilities. sent5: if there exists something such that it does dangle testatrix and guggles buckminsterfullerene then the SC does dangle comet. sent6: the palate dangles testatrix if something is not Anglo-catholic. sent7: the SC is a hostilities if there is something such that it is not a kind of a mnemonics. sent8: if something does dangle comet it is not a hostilities but mnemonics. sent9: the palate is telluric. sent10: the buckminsterfullerene does dangle testatrix if there exists something such that it is not an interruption. sent11: there exists something such that it is not Anglo-catholic. sent12: the palate is a hostilities and does guggle buckminsterfullerene. sent13: the buckminsterfullerene is a kind of Anglo-catholic thing that is a pediment. sent14: the muggee is a mnemonics. sent15: the palate is a hostilities if it is anabolic. ; $proof$ = 
sent12 -> int1: that the palate guggles buckminsterfullerene is right.; sent11 & sent6 -> int2: the palate does dangle testatrix.; int1 & int2 -> int3: the palate does dangle testatrix and guggles buckminsterfullerene.; int3 -> int4: there is something such that it does dangle testatrix and does guggle buckminsterfullerene.; int4 & sent5 -> int5: the SC does dangle comet.; sent2 -> int6: if the SC dangles comet it is non-anabolic and mnemonics.; int5 & int6 -> int7: the SC is a kind of non-anabolic a mnemonics.; int7 & sent1 -> hypothesis; __PROVED__