the Kiwi is a kind of a Gresham.
sent1: the Kiwi is not a kind of a Gresham if the man-eater is both joyful and not acetylenic. sent2: the Kiwi is a Chimaeridae if the stodge is indexless. sent3: something does dilapidate chimpanzee if it is prime. sent4: that the man-eater is both a sleepyhead and not an overlay does not hold. sent5: the westerly is a prime. sent6: the man-eater is a Woollcott and is not aplacental. sent7: that the man-eater is a Woollcott is correct. sent8: that the man-eater does spectate and is joyful is wrong. sent9: that the stodge is indexless is right if it is a kind of a jumble that does not smock bombast. sent10: if something is acetylenic it is a Gresham. sent11: something does smock cavalla and is acetylenic if it is not a Woollcott. sent12: if the man-eater is not a kind of a sleepyhead it is non-acetylenic. sent13: if the man-eater is a Woollcott and is not aplacental it smocks cavalla. sent14: the man-eater does not smock cavalla if the fact that it does not spectate and it is joyful is incorrect. sent15: the Kiwi is not non-aplacental if there exists something such that the fact that it is not labyrinthine and it is a sleepyhead is incorrect. sent16: if something is a Chimaeridae it is a kind of an overlay. sent17: if something that is aplacental does overlay then that it is not a kind of a Woollcott is true. sent18: if that the man-eater is a sleepyhead but it does not overlay is not right then the fact that it is not acetylenic is correct. sent19: if something dilapidates chimpanzee then that the man-eater is not labyrinthine but a sleepyhead is wrong.
void -> assump1: Let's assume that the fact that the man-eater does not spectate but it is joyful is false.; sent14 & assump1 -> int1: the man-eater does not smock cavalla.; sent13 & sent6 -> int2: that the man-eater smocks cavalla is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the man-eater does not spectate and is joyful.; int4 -> int5: the man-eater is joyful.; sent18 & sent4 -> int6: the man-eater is not acetylenic.; int5 & int6 -> int7: the man-eater is both not non-joyful and not acetylenic.; int7 & sent1 -> hypothesis;
the Kiwi is a Gresham.
sent10 -> int8: if the Kiwi is acetylenic then it is a Gresham.; sent11 -> int9: the Kiwi does smock cavalla and it is acetylenic if it is not a Woollcott.; sent17 -> int10: if the Kiwi is aplacental and it overlays the fact that it is not a Woollcott is not false.; sent3 -> int11: if the westerly is a prime it does dilapidate chimpanzee.; int11 & sent5 -> int12: the westerly dilapidates chimpanzee.; int12 -> int13: something does dilapidate chimpanzee.; int13 & sent19 -> int14: that the man-eater is not labyrinthine but it is a sleepyhead is not correct.; int14 -> int15: there exists something such that that it is not labyrinthine and it is a kind of a sleepyhead is false.; int15 & sent15 -> int16: the Kiwi is aplacental.; sent16 -> int17: if the Kiwi is a Chimaeridae then it is an overlay.;
$hypothesis$ = the Kiwi is a kind of a Gresham. ; $context$ = sent1: the Kiwi is not a kind of a Gresham if the man-eater is both joyful and not acetylenic. sent2: the Kiwi is a Chimaeridae if the stodge is indexless. sent3: something does dilapidate chimpanzee if it is prime. sent4: that the man-eater is both a sleepyhead and not an overlay does not hold. sent5: the westerly is a prime. sent6: the man-eater is a Woollcott and is not aplacental. sent7: that the man-eater is a Woollcott is correct. sent8: that the man-eater does spectate and is joyful is wrong. sent9: that the stodge is indexless is right if it is a kind of a jumble that does not smock bombast. sent10: if something is acetylenic it is a Gresham. sent11: something does smock cavalla and is acetylenic if it is not a Woollcott. sent12: if the man-eater is not a kind of a sleepyhead it is non-acetylenic. sent13: if the man-eater is a Woollcott and is not aplacental it smocks cavalla. sent14: the man-eater does not smock cavalla if the fact that it does not spectate and it is joyful is incorrect. sent15: the Kiwi is not non-aplacental if there exists something such that the fact that it is not labyrinthine and it is a sleepyhead is incorrect. sent16: if something is a Chimaeridae it is a kind of an overlay. sent17: if something that is aplacental does overlay then that it is not a kind of a Woollcott is true. sent18: if that the man-eater is a sleepyhead but it does not overlay is not right then the fact that it is not acetylenic is correct. sent19: if something dilapidates chimpanzee then that the man-eater is not labyrinthine but a sleepyhead is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the man-eater does not spectate but it is joyful is false.; sent14 & assump1 -> int1: the man-eater does not smock cavalla.; sent13 & sent6 -> int2: that the man-eater smocks cavalla is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the man-eater does not spectate and is joyful.; int4 -> int5: the man-eater is joyful.; sent18 & sent4 -> int6: the man-eater is not acetylenic.; int5 & int6 -> int7: the man-eater is both not non-joyful and not acetylenic.; int7 & sent1 -> hypothesis; __DISPROVED__