the compilation is a kind of a ashcake.
sent1: the dogmatist is unexchangeable and it is meatless. sent2: the ashcake is meaty if there exists something such that that it does not scald chairmanship is not wrong. sent3: the fact that the dogmatist is a ashcake and is not unexchangeable is not right if the ashcake is not meatless. sent4: the cornetfish does not fluctuate if the ashcake does not geyser Montgomery. sent5: everything does not scald chairmanship. sent6: if the cornetfish does not fluctuate then the compilation is a ashcake. sent7: the cornetfish does not scald chairmanship if there exists something such that that it does fluctuate and does not geyser Montgomery is not true. sent8: the fact that that the schistosome is a Akkadian that is politic does not hold is true if there exists something such that it is not politic. sent9: the dogmatist is unexchangeable. sent10: that the dealfish is meatless is correct. sent11: that the ashcake does not geyser Montgomery is correct if the dogmatist is meatless but it does not scald chairmanship. sent12: the fact that the cruiserweight is politic and it is biauricular does not hold. sent13: something is not a Akkadian if the fact that it is both a Akkadian and politic is incorrect. sent14: if the fact that the cruiserweight is politic and it is biauricular is not true it is not politic. sent15: if that the schistosome is not a Akkadian is correct that the anesthetic fluctuates but it does not geyser Montgomery is not correct.
sent1 -> int1: the dogmatist is meatless.; sent5 -> int2: the dogmatist does not scald chairmanship.; int1 & int2 -> int3: the dogmatist is a kind of meatless thing that does not scald chairmanship.; int3 & sent11 -> int4: the ashcake does not geyser Montgomery.; int4 & sent4 -> int5: the cornetfish does not fluctuate.; int5 & sent6 -> hypothesis;
the compilation is not a kind of a ashcake.
sent13 -> int6: the schistosome is not a Akkadian if the fact that it is a kind of a Akkadian and it is politic does not hold.; sent14 & sent12 -> int7: the cruiserweight is impolitic.; int7 -> int8: something is not politic.; int8 & sent8 -> int9: the fact that the schistosome is a Akkadian and it is politic is false.; int6 & int9 -> int10: the schistosome is not a kind of a Akkadian.; sent15 & int10 -> int11: that that the anesthetic does fluctuate but it does not geyser Montgomery is right does not hold.; int11 -> int12: there is something such that that it fluctuates and it does not geyser Montgomery is false.; int12 & sent7 -> int13: that the cornetfish does not scald chairmanship is correct.; int13 -> int14: there exists something such that it does not scald chairmanship.; int14 & sent2 -> int15: the ashcake is not meatless.; sent3 & int15 -> int16: that the dogmatist is a ashcake but it is not unexchangeable is wrong.; int16 -> int17: there is something such that that it is a ashcake but not unexchangeable is not correct.;
$hypothesis$ = the compilation is a kind of a ashcake. ; $context$ = sent1: the dogmatist is unexchangeable and it is meatless. sent2: the ashcake is meaty if there exists something such that that it does not scald chairmanship is not wrong. sent3: the fact that the dogmatist is a ashcake and is not unexchangeable is not right if the ashcake is not meatless. sent4: the cornetfish does not fluctuate if the ashcake does not geyser Montgomery. sent5: everything does not scald chairmanship. sent6: if the cornetfish does not fluctuate then the compilation is a ashcake. sent7: the cornetfish does not scald chairmanship if there exists something such that that it does fluctuate and does not geyser Montgomery is not true. sent8: the fact that that the schistosome is a Akkadian that is politic does not hold is true if there exists something such that it is not politic. sent9: the dogmatist is unexchangeable. sent10: that the dealfish is meatless is correct. sent11: that the ashcake does not geyser Montgomery is correct if the dogmatist is meatless but it does not scald chairmanship. sent12: the fact that the cruiserweight is politic and it is biauricular does not hold. sent13: something is not a Akkadian if the fact that it is both a Akkadian and politic is incorrect. sent14: if the fact that the cruiserweight is politic and it is biauricular is not true it is not politic. sent15: if that the schistosome is not a Akkadian is correct that the anesthetic fluctuates but it does not geyser Montgomery is not correct. ; $proof$ = 
sent1 -> int1: the dogmatist is meatless.; sent5 -> int2: the dogmatist does not scald chairmanship.; int1 & int2 -> int3: the dogmatist is a kind of meatless thing that does not scald chairmanship.; int3 & sent11 -> int4: the ashcake does not geyser Montgomery.; int4 & sent4 -> int5: the cornetfish does not fluctuate.; int5 & sent6 -> hypothesis; __PROVED__