that the store does preoccupy Gauguin and is not unenthusiastic is wrong if the thioguanine is a kind of a fusee.
sent1: that the epigenesis is a hydrogenation and it does transfigure is not correct if there exists something such that it is not prenuptial. sent2: if either something does preoccupy stockyard or it is not unenthusiastic or both then that it is not unenthusiastic hold. sent3: if the deltoid is not a hydrogenation the fact that the gecko does not preoccupy stockyard is not true. sent4: there exists something such that it is not prenuptial. sent5: the store is lithophytic. sent6: the thioguanine marshals store and is lithophytic. sent7: if the thioguanine is not unenthusiastic then that the store preoccupies Gauguin but it is not unenthusiastic is wrong. sent8: the thioguanine is not unenthusiastic if it marshals store and is a fusee. sent9: if there exists something such that the fact that it is a hydrogenation and it does transfigure is false the deltoid is not a hydrogenation. sent10: that that the store is a fusee and it marshals store is not true if the Hereford is not lithophytic is not incorrect. sent11: that the store is unenthusiastic and it is a kind of a fusee is not right if the thioguanine preoccupies Gauguin. sent12: if that something is a kind of a fusee that does marshal store is not right it does not marshal store. sent13: if the thioguanine is not unenthusiastic then that the store does preoccupy Gauguin and it is unenthusiastic is not right. sent14: the fact that the fact that the thioguanine is a box but it does not preoccupy Gauguin is right does not hold if there exists something such that it does not marshal store. sent15: the Hereford is not lithophytic if there exists something such that it either is not lithophytic or is not unenthusiastic or both.
sent6 -> int1: the thioguanine marshals store.; void -> assump1: Let's assume that the thioguanine is a fusee.; int1 & assump1 -> int2: the thioguanine marshals store and it is a fusee.; int2 & sent8 -> int3: that the thioguanine is not unenthusiastic hold.; int3 & sent7 -> int4: the fact that the store does preoccupy Gauguin but it is not unenthusiastic is wrong.; [assump1] & int4 -> hypothesis;
that the thioguanine does box and does not preoccupy Gauguin is not right.
sent12 -> int5: if the fact that the store is a fusee and marshals store is incorrect then it does not marshals store.; sent2 -> int6: if the gecko preoccupies stockyard and/or is not unenthusiastic it is not unenthusiastic.; sent4 & sent1 -> int7: the fact that the epigenesis is a hydrogenation and it does transfigure is not true.; int7 -> int8: there exists something such that the fact that it is a kind of a hydrogenation that does transfigure is not true.; int8 & sent9 -> int9: the deltoid is not a hydrogenation.; sent3 & int9 -> int10: the gecko preoccupies stockyard.; int10 -> int11: either the gecko does preoccupy stockyard or it is not unenthusiastic or both.; int6 & int11 -> int12: that the gecko is enthusiastic is not wrong.; int12 -> int13: the gecko is not lithophytic and/or is not unenthusiastic.; int13 -> int14: something is not lithophytic or it is not unenthusiastic or both.; int14 & sent15 -> int15: the Hereford is not lithophytic.; sent10 & int15 -> int16: the fact that the store is a kind of a fusee and it does marshal store is incorrect.; int5 & int16 -> int17: the store does not marshal store.; int17 -> int18: there is something such that it does not marshal store.; int18 & sent14 -> hypothesis;
$hypothesis$ = that the store does preoccupy Gauguin and is not unenthusiastic is wrong if the thioguanine is a kind of a fusee. ; $context$ = sent1: that the epigenesis is a hydrogenation and it does transfigure is not correct if there exists something such that it is not prenuptial. sent2: if either something does preoccupy stockyard or it is not unenthusiastic or both then that it is not unenthusiastic hold. sent3: if the deltoid is not a hydrogenation the fact that the gecko does not preoccupy stockyard is not true. sent4: there exists something such that it is not prenuptial. sent5: the store is lithophytic. sent6: the thioguanine marshals store and is lithophytic. sent7: if the thioguanine is not unenthusiastic then that the store preoccupies Gauguin but it is not unenthusiastic is wrong. sent8: the thioguanine is not unenthusiastic if it marshals store and is a fusee. sent9: if there exists something such that the fact that it is a hydrogenation and it does transfigure is false the deltoid is not a hydrogenation. sent10: that that the store is a fusee and it marshals store is not true if the Hereford is not lithophytic is not incorrect. sent11: that the store is unenthusiastic and it is a kind of a fusee is not right if the thioguanine preoccupies Gauguin. sent12: if that something is a kind of a fusee that does marshal store is not right it does not marshal store. sent13: if the thioguanine is not unenthusiastic then that the store does preoccupy Gauguin and it is unenthusiastic is not right. sent14: the fact that the fact that the thioguanine is a box but it does not preoccupy Gauguin is right does not hold if there exists something such that it does not marshal store. sent15: the Hereford is not lithophytic if there exists something such that it either is not lithophytic or is not unenthusiastic or both. ; $proof$ = 
sent6 -> int1: the thioguanine marshals store.; void -> assump1: Let's assume that the thioguanine is a fusee.; int1 & assump1 -> int2: the thioguanine marshals store and it is a fusee.; int2 & sent8 -> int3: that the thioguanine is not unenthusiastic hold.; int3 & sent7 -> int4: the fact that the store does preoccupy Gauguin but it is not unenthusiastic is wrong.; [assump1] & int4 -> hypothesis; __PROVED__