the coleslaw is not a stylization and it is not a kind of a stroke.
sent1: something is not diocesan or basaltic or both if it does not activate Gentianella. sent2: the diffuser is incorporeal if the Grey is not incorporeal. sent3: the coleslaw is basaltic if the alkylbenzenesulfonate is a diocesan. sent4: if the fact that something is a kind of non-gestational thing that is a hugger-mugger is wrong then the fact that it is a diocesan is correct. sent5: the coleslaw is not a stroke. sent6: if the Grey does not send it is incorporeal and/or is a incandescence. sent7: if something that is incorporeal is acetonic the chlorination does not shiver melena. sent8: if that the Grey shivers electrolyte and it is unreal does not hold it does not send. sent9: the coleslaw is not a stylization if it either is basaltic or activates Gentianella or both. sent10: the coleslaw is not a kind of a stroke if it is a diocesan. sent11: if the alkylbenzenesulfonate is a stylization then it is gestational. sent12: the fact that the Grey does shiver electrolyte and is unreal is false. sent13: the breast does not activate Gentianella if something does not shiver melena. sent14: the fact that the fact that the alkylbenzenesulfonate is non-gestational thing that is a hugger-mugger is not true is not false. sent15: the diffuser is not non-acetonic. sent16: if that the coleslaw is not gestational but it is a kind of a hugger-mugger is not right then it is basaltic. sent17: the diffuser is incorporeal if the Grey is a incandescence. sent18: if something is not a hugger-mugger then it is a diocesan.
sent4 -> int1: if that the alkylbenzenesulfonate is both not gestational and a hugger-mugger is not true it is a kind of a diocesan.; int1 & sent14 -> int2: the alkylbenzenesulfonate is a diocesan.; int2 & sent3 -> int3: the fact that the coleslaw is basaltic is not false.; int3 -> int4: the coleslaw is not non-basaltic or it does activate Gentianella or both.; int4 & sent9 -> int5: the coleslaw is not a stylization.; int5 & sent5 -> hypothesis;
that the coleslaw is not a stylization and it is not a stroke is false.
sent1 -> int6: if the breast does not activate Gentianella then it is not a diocesan and/or it is basaltic.; sent8 & sent12 -> int7: the Grey does not send.; sent6 & int7 -> int8: the Grey is incorporeal or it is a incandescence or both.; int8 & sent2 & sent17 -> int9: the diffuser is incorporeal.; int9 & sent15 -> int10: the diffuser is incorporeal and is acetonic.; int10 -> int11: something is not corporeal and it is acetonic.; int11 & sent7 -> int12: the chlorination does not shiver melena.; int12 -> int13: something does not shiver melena.; int13 & sent13 -> int14: the breast does not activate Gentianella.; int6 & int14 -> int15: the breast is not diocesan or is basaltic or both.; int15 -> int16: something is not a kind of a diocesan and/or it is basaltic.;
$hypothesis$ = the coleslaw is not a stylization and it is not a kind of a stroke. ; $context$ = sent1: something is not diocesan or basaltic or both if it does not activate Gentianella. sent2: the diffuser is incorporeal if the Grey is not incorporeal. sent3: the coleslaw is basaltic if the alkylbenzenesulfonate is a diocesan. sent4: if the fact that something is a kind of non-gestational thing that is a hugger-mugger is wrong then the fact that it is a diocesan is correct. sent5: the coleslaw is not a stroke. sent6: if the Grey does not send it is incorporeal and/or is a incandescence. sent7: if something that is incorporeal is acetonic the chlorination does not shiver melena. sent8: if that the Grey shivers electrolyte and it is unreal does not hold it does not send. sent9: the coleslaw is not a stylization if it either is basaltic or activates Gentianella or both. sent10: the coleslaw is not a kind of a stroke if it is a diocesan. sent11: if the alkylbenzenesulfonate is a stylization then it is gestational. sent12: the fact that the Grey does shiver electrolyte and is unreal is false. sent13: the breast does not activate Gentianella if something does not shiver melena. sent14: the fact that the fact that the alkylbenzenesulfonate is non-gestational thing that is a hugger-mugger is not true is not false. sent15: the diffuser is not non-acetonic. sent16: if that the coleslaw is not gestational but it is a kind of a hugger-mugger is not right then it is basaltic. sent17: the diffuser is incorporeal if the Grey is a incandescence. sent18: if something is not a hugger-mugger then it is a diocesan. ; $proof$ = 
sent4 -> int1: if that the alkylbenzenesulfonate is both not gestational and a hugger-mugger is not true it is a kind of a diocesan.; int1 & sent14 -> int2: the alkylbenzenesulfonate is a diocesan.; int2 & sent3 -> int3: the fact that the coleslaw is basaltic is not false.; int3 -> int4: the coleslaw is not non-basaltic or it does activate Gentianella or both.; int4 & sent9 -> int5: the coleslaw is not a stylization.; int5 & sent5 -> hypothesis; __PROVED__