the ambusher is not dualistic and it is not a darmstadtium.
sent1: if that the soundboard is not a darmstadtium but it is a kind of a smoothed does not hold then it does not smoothed. sent2: if the soundboard is not high-tension then the pikestaff is not a sack. sent3: something is a smoothed and/or it does not transitivize. sent4: the lapdog does not sack. sent5: that something is not dualistic and is not a darmstadtium does not hold if it is not high-tension. sent6: if something is not smoothed the fact that it does drink choirboy and it is not high-tension is wrong. sent7: if the pikestaff is not high-tension then the soundboard does sack and/or it does not denationalize cache. sent8: the fact that the pikestaff is a Caucasia hold. sent9: the aircraftsman does not transitivize. sent10: the pikestaff is not high-tension. sent11: the pikestaff is not a kind of a darmstadtium. sent12: if the ambusher is not a kind of a smoothed then the aircraftsman is not a darmstadtium. sent13: there is something such that it either denationalizes cache or does not transitivize or both. sent14: if the fact that the lapdog does not transitivize is not wrong the fact that the ambusher is a kind of non-dualistic thing that is not a darmstadtium is not false. sent15: if the pikestaff is a kind of a Caucasia the fact that it transitivizes and it is not hungry is false. sent16: something is high-tension and/or it is thyrotoxic. sent17: the aircraftsman is not thyrotoxic if that something either sacks or does not denationalize cache or both is not incorrect. sent18: something does not drink choirboy if the fact that it does drink choirboy and is not high-tension is not right.
sent7 & sent10 -> int1: the soundboard is a kind of a sack and/or does not denationalize cache.; int1 -> int2: there exists something such that either it does sack or it does not denationalize cache or both.; int2 & sent17 -> int3: the aircraftsman is not thyrotoxic.; int3 -> int4: either the aircraftsman does not smooth or it is not thyrotoxic or both.; int4 -> int5: something either does not smooth or is not thyrotoxic or both.;
the fact that the ambusher is not dualistic and is not a darmstadtium is not true.
sent5 -> int6: that the fact that the ambusher is not dualistic and it is not a kind of a darmstadtium does not hold hold if it is not high-tension.; sent15 & sent8 -> int7: that the pikestaff does transitivize but it is not hungry is not correct.;
$hypothesis$ = the ambusher is not dualistic and it is not a darmstadtium. ; $context$ = sent1: if that the soundboard is not a darmstadtium but it is a kind of a smoothed does not hold then it does not smoothed. sent2: if the soundboard is not high-tension then the pikestaff is not a sack. sent3: something is a smoothed and/or it does not transitivize. sent4: the lapdog does not sack. sent5: that something is not dualistic and is not a darmstadtium does not hold if it is not high-tension. sent6: if something is not smoothed the fact that it does drink choirboy and it is not high-tension is wrong. sent7: if the pikestaff is not high-tension then the soundboard does sack and/or it does not denationalize cache. sent8: the fact that the pikestaff is a Caucasia hold. sent9: the aircraftsman does not transitivize. sent10: the pikestaff is not high-tension. sent11: the pikestaff is not a kind of a darmstadtium. sent12: if the ambusher is not a kind of a smoothed then the aircraftsman is not a darmstadtium. sent13: there is something such that it either denationalizes cache or does not transitivize or both. sent14: if the fact that the lapdog does not transitivize is not wrong the fact that the ambusher is a kind of non-dualistic thing that is not a darmstadtium is not false. sent15: if the pikestaff is a kind of a Caucasia the fact that it transitivizes and it is not hungry is false. sent16: something is high-tension and/or it is thyrotoxic. sent17: the aircraftsman is not thyrotoxic if that something either sacks or does not denationalize cache or both is not incorrect. sent18: something does not drink choirboy if the fact that it does drink choirboy and is not high-tension is not right. ; $proof$ = 
sent7 & sent10 -> int1: the soundboard is a kind of a sack and/or does not denationalize cache.; int1 -> int2: there exists something such that either it does sack or it does not denationalize cache or both.; int2 & sent17 -> int3: the aircraftsman is not thyrotoxic.; int3 -> int4: either the aircraftsman does not smooth or it is not thyrotoxic or both.; int4 -> int5: something either does not smooth or is not thyrotoxic or both.; __UNKNOWN__