the dinnerware does teethe and it is arbitral.
sent1: that the biplane teethes hold. sent2: if something is a queue it is a naiad. sent3: the fact that the dominion is a kind of a sandblaster and it does repine monstrance does not hold if the Friend is not a sandblaster. sent4: the biplane is a kind of a sauna if the Friend is a naiad. sent5: the Friend is not a Ichthyosauria if the dominion does teethe. sent6: if the hadron redeems the dominion does not repine monstrance. sent7: the Friend is most-favored-nation. sent8: the hadron redeems. sent9: the flurbiprofen is non-arbitral and it does not afforest Lysichiton. sent10: the Friend is a sauna. sent11: the biplane is not arbitral if the dinnerware is a naiad. sent12: that the dominion does repine monstrance is incorrect. sent13: that the dinnerware does teethe and is arbitral does not hold if the Friend does not teethe. sent14: if the biplane is a naiad then the Friend is a sandblaster. sent15: if the Friend is a sandblaster and it is a sauna then it does not teethe. sent16: if the dominion does repine monstrance and is not a Ichthyosauria then the schmuck is a Sumatran. sent17: the Friend is a kind of a sandblaster if the biplane is not a naiad and it does not teethe. sent18: the biplane is a queue if the schmuck is a Sumatran. sent19: the schmuck is not arbitral. sent20: if the hadron does redeem then the dominion does not repine monstrance and it is not a Ichthyosauria. sent21: if the dominion does not repine monstrance and it is not a Ichthyosauria that the schmuck is a Sumatran is not false. sent22: the biplane is a Helipterum and it repines exordium.
sent20 & sent8 -> int1: the dominion does not repine monstrance and is not a kind of a Ichthyosauria.; int1 & sent21 -> int2: the schmuck is a Sumatran.; int2 & sent18 -> int3: the biplane is a queue.; sent2 -> int4: if that the biplane does queue is not false it is a naiad.; int3 & int4 -> int5: the biplane is a naiad.; int5 & sent14 -> int6: the Friend is a kind of a sandblaster.; int6 & sent10 -> int7: the Friend is a sandblaster and is a sauna.; int7 & sent15 -> int8: the Friend does not teethe.; int8 & sent13 -> hypothesis;
$hypothesis$ = the dinnerware does teethe and it is arbitral. ; $context$ = sent1: that the biplane teethes hold. sent2: if something is a queue it is a naiad. sent3: the fact that the dominion is a kind of a sandblaster and it does repine monstrance does not hold if the Friend is not a sandblaster. sent4: the biplane is a kind of a sauna if the Friend is a naiad. sent5: the Friend is not a Ichthyosauria if the dominion does teethe. sent6: if the hadron redeems the dominion does not repine monstrance. sent7: the Friend is most-favored-nation. sent8: the hadron redeems. sent9: the flurbiprofen is non-arbitral and it does not afforest Lysichiton. sent10: the Friend is a sauna. sent11: the biplane is not arbitral if the dinnerware is a naiad. sent12: that the dominion does repine monstrance is incorrect. sent13: that the dinnerware does teethe and is arbitral does not hold if the Friend does not teethe. sent14: if the biplane is a naiad then the Friend is a sandblaster. sent15: if the Friend is a sandblaster and it is a sauna then it does not teethe. sent16: if the dominion does repine monstrance and is not a Ichthyosauria then the schmuck is a Sumatran. sent17: the Friend is a kind of a sandblaster if the biplane is not a naiad and it does not teethe. sent18: the biplane is a queue if the schmuck is a Sumatran. sent19: the schmuck is not arbitral. sent20: if the hadron does redeem then the dominion does not repine monstrance and it is not a Ichthyosauria. sent21: if the dominion does not repine monstrance and it is not a Ichthyosauria that the schmuck is a Sumatran is not false. sent22: the biplane is a Helipterum and it repines exordium. ; $proof$ = 
sent20 & sent8 -> int1: the dominion does not repine monstrance and is not a kind of a Ichthyosauria.; int1 & sent21 -> int2: the schmuck is a Sumatran.; int2 & sent18 -> int3: the biplane is a queue.; sent2 -> int4: if that the biplane does queue is not false it is a naiad.; int3 & int4 -> int5: the biplane is a naiad.; int5 & sent14 -> int6: the Friend is a kind of a sandblaster.; int6 & sent10 -> int7: the Friend is a sandblaster and is a sauna.; int7 & sent15 -> int8: the Friend does not teethe.; int8 & sent13 -> hypothesis; __DISPROVED__