the supermarket does not fornicate.
sent1: that the gallbladder is not philatelic and not non-Guyanese is not true. sent2: the eyeball is Senegalese if the warship identifies Praetorian. sent3: the fact that the supermarket is both propitious and not a blende does not hold. sent4: if something that identifies codex is zoic then the warship is Senegalese. sent5: something fornicates if it is not a kind of a wisdom. sent6: the lotus-eater is zoic if that the eyeball does not identify Praetorian and is philatelic is not right. sent7: if that something is non-propitious thing that is not a blende is incorrect then the fact that it is not a wisdom is right. sent8: the gallbladder is a Guyanese. sent9: if something is not zoic it is Guyanese and it does identify codex. sent10: that the supermarket is not propitious and it is not a blende is wrong if something is Senegalese. sent11: the lotus-eater is zoic if the eyeball identifies Praetorian. sent12: the fact that the supermarket is not propitious but it is a blende does not hold. sent13: if there exists something such that it is a blende the fact that the supermarket does not fornicate and it does not identify codex is not correct. sent14: the lotus-eater does identify codex if the gallbladder is a Guyanese. sent15: that the fact that the eyeball does not identify Praetorian but it is philatelic is incorrect hold. sent16: something is zoic if that it either does identify codex or is not Guyanese or both is false.
sent14 & sent8 -> int1: the lotus-eater does identify codex.; sent6 & sent15 -> int2: the lotus-eater is zoic.; int1 & int2 -> int3: the lotus-eater identifies codex and is zoic.; int3 -> int4: there is something such that it identifies codex and it is zoic.; int4 & sent4 -> int5: the fact that the warship is not non-Senegalese is not incorrect.; int5 -> int6: something is a Senegalese.; int6 & sent10 -> int7: that the supermarket is both not propitious and not a blende is false.; sent7 -> int8: if the fact that the supermarket is both not propitious and not a blende is not true it is not a kind of a wisdom.; int7 & int8 -> int9: that the supermarket is not a wisdom is not wrong.; sent5 -> int10: if the supermarket is not a wisdom then that it fornicates is right.; int9 & int10 -> hypothesis;
the supermarket does not fornicate.
sent9 -> int11: the gallbladder is a kind of a Guyanese that identifies codex if it is not zoic.;
$hypothesis$ = the supermarket does not fornicate. ; $context$ = sent1: that the gallbladder is not philatelic and not non-Guyanese is not true. sent2: the eyeball is Senegalese if the warship identifies Praetorian. sent3: the fact that the supermarket is both propitious and not a blende does not hold. sent4: if something that identifies codex is zoic then the warship is Senegalese. sent5: something fornicates if it is not a kind of a wisdom. sent6: the lotus-eater is zoic if that the eyeball does not identify Praetorian and is philatelic is not right. sent7: if that something is non-propitious thing that is not a blende is incorrect then the fact that it is not a wisdom is right. sent8: the gallbladder is a Guyanese. sent9: if something is not zoic it is Guyanese and it does identify codex. sent10: that the supermarket is not propitious and it is not a blende is wrong if something is Senegalese. sent11: the lotus-eater is zoic if the eyeball identifies Praetorian. sent12: the fact that the supermarket is not propitious but it is a blende does not hold. sent13: if there exists something such that it is a blende the fact that the supermarket does not fornicate and it does not identify codex is not correct. sent14: the lotus-eater does identify codex if the gallbladder is a Guyanese. sent15: that the fact that the eyeball does not identify Praetorian but it is philatelic is incorrect hold. sent16: something is zoic if that it either does identify codex or is not Guyanese or both is false. ; $proof$ = 
sent14 & sent8 -> int1: the lotus-eater does identify codex.; sent6 & sent15 -> int2: the lotus-eater is zoic.; int1 & int2 -> int3: the lotus-eater identifies codex and is zoic.; int3 -> int4: there is something such that it identifies codex and it is zoic.; int4 & sent4 -> int5: the fact that the warship is not non-Senegalese is not incorrect.; int5 -> int6: something is a Senegalese.; int6 & sent10 -> int7: that the supermarket is both not propitious and not a blende is false.; sent7 -> int8: if the fact that the supermarket is both not propitious and not a blende is not true it is not a kind of a wisdom.; int7 & int8 -> int9: that the supermarket is not a wisdom is not wrong.; sent5 -> int10: if the supermarket is not a wisdom then that it fornicates is right.; int9 & int10 -> hypothesis; __DISPROVED__