the vaporizer is a diocesan.
sent1: something is unstable and/or is not a widgeon if it is not Epicurean. sent2: something is intradepartmental if that it does bind Chiloe and it is not leafy is not true. sent3: something that is non-Epicurean and/or is a widgeon is not unstable. sent4: the fact that something is not a diocesan if it is unstable and/or it is not a widgeon is true. sent5: the isoagglutinogen is not a Catharanthus or is not a booker or both. sent6: if that the heparin is a widgeon hold then the saddler is either not Epicurean or a widgeon or both. sent7: if the heparin does not narrate rifampin and/or does not bind greaser it is a kind of a widgeon. sent8: if the saddler is not unstable then that the Nevadan binds Chiloe but it is not leafy is false. sent9: the vaporizer does not bind greaser and/or it is a kind of a diocesan. sent10: the heparin either does not narrate rifampin or does not bind greaser or both. sent11: the rifampin does not bind greaser. sent12: the vaporizer is a kind of a diocesan if the Nevadan is intradepartmental. sent13: if the saddler is not Epicurean then it is not unstable. sent14: the heparin is a widgeon and/or intradepartmental if the Nevadan is intradepartmental. sent15: the heparin is not unstable.
sent7 & sent10 -> int1: the fact that the heparin is a widgeon is true.; int1 & sent6 -> int2: either the saddler is not Epicurean or it is a widgeon or both.; sent3 -> int3: if the saddler is non-Epicurean and/or a widgeon it is not unstable.; int2 & int3 -> int4: the saddler is not unstable.; int4 & sent8 -> int5: the fact that the Nevadan binds Chiloe but it is not leafy is false.; sent2 -> int6: if the fact that the Nevadan binds Chiloe but it is not leafy does not hold then it is intradepartmental.; int5 & int6 -> int7: the Nevadan is intradepartmental.; int7 & sent12 -> hypothesis;
that the fact that the vaporizer is a diocesan is not right is not incorrect.
sent4 -> int8: if the vaporizer is unstable and/or it is not a widgeon it is not a diocesan.; sent1 -> int9: if the vaporizer is not Epicurean it is unstable or not a widgeon or both.;
$hypothesis$ = the vaporizer is a diocesan. ; $context$ = sent1: something is unstable and/or is not a widgeon if it is not Epicurean. sent2: something is intradepartmental if that it does bind Chiloe and it is not leafy is not true. sent3: something that is non-Epicurean and/or is a widgeon is not unstable. sent4: the fact that something is not a diocesan if it is unstable and/or it is not a widgeon is true. sent5: the isoagglutinogen is not a Catharanthus or is not a booker or both. sent6: if that the heparin is a widgeon hold then the saddler is either not Epicurean or a widgeon or both. sent7: if the heparin does not narrate rifampin and/or does not bind greaser it is a kind of a widgeon. sent8: if the saddler is not unstable then that the Nevadan binds Chiloe but it is not leafy is false. sent9: the vaporizer does not bind greaser and/or it is a kind of a diocesan. sent10: the heparin either does not narrate rifampin or does not bind greaser or both. sent11: the rifampin does not bind greaser. sent12: the vaporizer is a kind of a diocesan if the Nevadan is intradepartmental. sent13: if the saddler is not Epicurean then it is not unstable. sent14: the heparin is a widgeon and/or intradepartmental if the Nevadan is intradepartmental. sent15: the heparin is not unstable. ; $proof$ = 
sent7 & sent10 -> int1: the fact that the heparin is a widgeon is true.; int1 & sent6 -> int2: either the saddler is not Epicurean or it is a widgeon or both.; sent3 -> int3: if the saddler is non-Epicurean and/or a widgeon it is not unstable.; int2 & int3 -> int4: the saddler is not unstable.; int4 & sent8 -> int5: the fact that the Nevadan binds Chiloe but it is not leafy is false.; sent2 -> int6: if the fact that the Nevadan binds Chiloe but it is not leafy does not hold then it is intradepartmental.; int5 & int6 -> int7: the Nevadan is intradepartmental.; int7 & sent12 -> hypothesis; __PROVED__