the autotype is a Bolivian and/or not illicit.
sent1: if the hull does stiffen the fact that it is not a monarch and not flatbed does not hold. sent2: either something is a Bolivian or it is not illicit or both if it does not stiffen. sent3: the cush-cush is not imperfect if that that the hull is not a monarch and it is not a kind of a flatbed is true does not hold. sent4: the sleeve is cybernetic if that the backscratcher is not recombinant but it is a vertical is correct. sent5: that the autotype is Bolivian and/or it is not illicit is not correct if something is cybernetic. sent6: the backscratcher is Lamarckian. sent7: the scow is illicit. sent8: the fact that the autotype is vertical is not wrong. sent9: if there is something such that the fact that that it is not a monarch and it is not a recombinant is true is false then the hull is a kind of a flatbed. sent10: something is not lowborn and it does not field fatigability. sent11: the cush-cush is asymmetrical if there is something such that the fact that it is not lowborn and it does not field fatigability is incorrect. sent12: the turban is a kind of a vertical. sent13: if the fact that the autotype is not recombinant hold then the fact that the backscratcher is not illicit is not false. sent14: if the hull does not stiffen then the fact that the backscratcher is both not a recombinant and vertical is not false. sent15: that the hull is a kind of non-flatbed thing that is not a kind of a monarch is not correct if it is a kind of a vertical. sent16: the fact that the cush-cush does wail is correct. sent17: the driveller is not asymmetrical. sent18: the welwitschia is a Kaochlor. sent19: there is something such that the fact that it is not lowborn and does not field fatigability is not correct. sent20: if something stiffens the fact that it is anticlimactic is right. sent21: something is imperfect if that it is asymmetrical is correct. sent22: the cush-cush is asymmetrical if the hull is not a recombinant but it is a monarch. sent23: that either the autotype is a nectarine or it is not vertical or both is not true. sent24: the fact that the autotype is imperfect and/or not illicit is incorrect. sent25: the backscratcher is a kind of a vertical if there is something such that it is a recombinant.
void -> assump1: Let's assume that the hull stiffens.; sent1 & assump1 -> int1: the fact that the hull is not a monarch and is not flatbed is not true.; int1 & sent3 -> int2: the cush-cush is not imperfect.; sent21 -> int3: the cush-cush is imperfect if it is asymmetrical.; sent19 & sent11 -> int4: the cush-cush is asymmetrical.; int3 & int4 -> int5: the cush-cush is imperfect.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hull does not stiffen.; int7 & sent14 -> int8: the backscratcher is not a recombinant but a vertical.; int8 & sent4 -> int9: the sleeve is cybernetic.; int9 -> int10: there exists something such that it is cybernetic.; int10 & sent5 -> hypothesis;
the autotype is a Bolivian and/or it is not illicit.
sent2 -> int11: if the autotype does not stiffen it is a Bolivian or it is not illicit or both.;
$hypothesis$ = the autotype is a Bolivian and/or not illicit. ; $context$ = sent1: if the hull does stiffen the fact that it is not a monarch and not flatbed does not hold. sent2: either something is a Bolivian or it is not illicit or both if it does not stiffen. sent3: the cush-cush is not imperfect if that that the hull is not a monarch and it is not a kind of a flatbed is true does not hold. sent4: the sleeve is cybernetic if that the backscratcher is not recombinant but it is a vertical is correct. sent5: that the autotype is Bolivian and/or it is not illicit is not correct if something is cybernetic. sent6: the backscratcher is Lamarckian. sent7: the scow is illicit. sent8: the fact that the autotype is vertical is not wrong. sent9: if there is something such that the fact that that it is not a monarch and it is not a recombinant is true is false then the hull is a kind of a flatbed. sent10: something is not lowborn and it does not field fatigability. sent11: the cush-cush is asymmetrical if there is something such that the fact that it is not lowborn and it does not field fatigability is incorrect. sent12: the turban is a kind of a vertical. sent13: if the fact that the autotype is not recombinant hold then the fact that the backscratcher is not illicit is not false. sent14: if the hull does not stiffen then the fact that the backscratcher is both not a recombinant and vertical is not false. sent15: that the hull is a kind of non-flatbed thing that is not a kind of a monarch is not correct if it is a kind of a vertical. sent16: the fact that the cush-cush does wail is correct. sent17: the driveller is not asymmetrical. sent18: the welwitschia is a Kaochlor. sent19: there is something such that the fact that it is not lowborn and does not field fatigability is not correct. sent20: if something stiffens the fact that it is anticlimactic is right. sent21: something is imperfect if that it is asymmetrical is correct. sent22: the cush-cush is asymmetrical if the hull is not a recombinant but it is a monarch. sent23: that either the autotype is a nectarine or it is not vertical or both is not true. sent24: the fact that the autotype is imperfect and/or not illicit is incorrect. sent25: the backscratcher is a kind of a vertical if there is something such that it is a recombinant. ; $proof$ = 
void -> assump1: Let's assume that the hull stiffens.; sent1 & assump1 -> int1: the fact that the hull is not a monarch and is not flatbed is not true.; int1 & sent3 -> int2: the cush-cush is not imperfect.; sent21 -> int3: the cush-cush is imperfect if it is asymmetrical.; sent19 & sent11 -> int4: the cush-cush is asymmetrical.; int3 & int4 -> int5: the cush-cush is imperfect.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hull does not stiffen.; int7 & sent14 -> int8: the backscratcher is not a recombinant but a vertical.; int8 & sent4 -> int9: the sleeve is cybernetic.; int9 -> int10: there exists something such that it is cybernetic.; int10 & sent5 -> hypothesis; __DISPROVED__