the oarswoman outs but it does not splat pintail.
sent1: the scene-stealer is not a Devonian. sent2: the fact that if the unguiculate is not a catechin then the isocyanate does not splat emolument and is arbitral is not false. sent3: the fact that the hemoglobin is a kind of a catechin is not false. sent4: the unguiculate is a catechin if there is something such that it does not finish Parasitaxus and/or does not finish bayberry. sent5: if something is not arbitral then the fact that it does splat emolument and is a catechin does not hold. sent6: if the oarswoman is not an outing the scene-stealer is a kind of an outing and does not splat pintail. sent7: if the unguiculate does splat emolument and it is a catechin then the scene-stealer does not out. sent8: that either the hemoglobin does not splat emolument or it does not splat halite or both is incorrect. sent9: the scene-stealer is Pavlovian. sent10: that if the hemoglobin is Pavlovian and it is a kind of a Devonian then the oarswoman does not splat pintail is not incorrect. sent11: if the aoudad is a kind of Pavlovian thing that is arbitral then the frump is not a Devonian. sent12: the hemoglobin is not a Devonian. sent13: if that something is non-isopteran and/or non-Pavlovian does not hold it is arbitral. sent14: if the frump is not isopteran and/or it is not Pavlovian then the unguiculate splats emolument. sent15: the lead-in is not Alexandrian. sent16: an outing is not a catechin. sent17: if the fact that the aoudad is not arbitral or it is not a Bolivian or both is wrong then the frump is not arbitral. sent18: the frump is not isopteran or it is a catechin or both. sent19: if the hemoglobin is not a Devonian that that the aoudad either is not arbitral or is not a Bolivian or both is not right is not false. sent20: if the scene-stealer is not a kind of an outing then the oarswoman is outing and does not splat pintail. sent21: either something is not isopteran or it is a catechin or both. sent22: there exists something such that it is not a Devonian or it does not splat pintail or both. sent23: the unguiculate is isopteran.
sent13 -> int1: the frump is arbitral if the fact that it is not isopteran and/or is not Pavlovian is false.; void -> assump1: Let's assume that that the frump is not isopteran and/or it is not Pavlovian is wrong.; int1 & assump1 -> int2: the frump is arbitral.; sent19 & sent12 -> int3: the fact that the aoudad is not arbitral or is not a Bolivian or both is wrong.; sent17 & int3 -> int4: the frump is non-arbitral.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the frump is not isopteran or it is not Pavlovian or both.; int6 & sent14 -> int7: the unguiculate splats emolument.;
the fact that the oarswoman is outing but it does not splat pintail does not hold.
sent5 -> int8: the fact that the unguiculate does splat emolument and it is a catechin is incorrect if it is not arbitral.;
$hypothesis$ = the oarswoman outs but it does not splat pintail. ; $context$ = sent1: the scene-stealer is not a Devonian. sent2: the fact that if the unguiculate is not a catechin then the isocyanate does not splat emolument and is arbitral is not false. sent3: the fact that the hemoglobin is a kind of a catechin is not false. sent4: the unguiculate is a catechin if there is something such that it does not finish Parasitaxus and/or does not finish bayberry. sent5: if something is not arbitral then the fact that it does splat emolument and is a catechin does not hold. sent6: if the oarswoman is not an outing the scene-stealer is a kind of an outing and does not splat pintail. sent7: if the unguiculate does splat emolument and it is a catechin then the scene-stealer does not out. sent8: that either the hemoglobin does not splat emolument or it does not splat halite or both is incorrect. sent9: the scene-stealer is Pavlovian. sent10: that if the hemoglobin is Pavlovian and it is a kind of a Devonian then the oarswoman does not splat pintail is not incorrect. sent11: if the aoudad is a kind of Pavlovian thing that is arbitral then the frump is not a Devonian. sent12: the hemoglobin is not a Devonian. sent13: if that something is non-isopteran and/or non-Pavlovian does not hold it is arbitral. sent14: if the frump is not isopteran and/or it is not Pavlovian then the unguiculate splats emolument. sent15: the lead-in is not Alexandrian. sent16: an outing is not a catechin. sent17: if the fact that the aoudad is not arbitral or it is not a Bolivian or both is wrong then the frump is not arbitral. sent18: the frump is not isopteran or it is a catechin or both. sent19: if the hemoglobin is not a Devonian that that the aoudad either is not arbitral or is not a Bolivian or both is not right is not false. sent20: if the scene-stealer is not a kind of an outing then the oarswoman is outing and does not splat pintail. sent21: either something is not isopteran or it is a catechin or both. sent22: there exists something such that it is not a Devonian or it does not splat pintail or both. sent23: the unguiculate is isopteran. ; $proof$ = 
sent13 -> int1: the frump is arbitral if the fact that it is not isopteran and/or is not Pavlovian is false.; void -> assump1: Let's assume that that the frump is not isopteran and/or it is not Pavlovian is wrong.; int1 & assump1 -> int2: the frump is arbitral.; sent19 & sent12 -> int3: the fact that the aoudad is not arbitral or is not a Bolivian or both is wrong.; sent17 & int3 -> int4: the frump is non-arbitral.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the frump is not isopteran or it is not Pavlovian or both.; int6 & sent14 -> int7: the unguiculate splats emolument.; __UNKNOWN__