the fact that the kinin is cardiologic and is not Mozartian is incorrect.
sent1: if that the lawyerbush is not a ootid is not wrong then the kinin is a kind of cardiologic thing that is not Mozartian. sent2: if something is not a kind of a list but it is herbivorous then it is not cardiologic. sent3: the ambassador is a kind of a principalship and is mass-spectrometric if the supermodel is not a ootid. sent4: there is something such that it does peruse Sonchus. sent5: the supermodel is not a thrill if that that the ambassador does not magnify and is not a grub is correct does not hold. sent6: if something does not magnify then it is a kind of achondroplastic thing that is not a lesson. sent7: something is not mass-spectrometric if it is not Mozartian and is not a grub. sent8: the supermodel does not thrill if the ambassador grubs. sent9: if something is a kind of a principalship it is both not a grub and not a thrill. sent10: something is not a ootid if it is both not a principalship and not mass-spectrometric. sent11: if the supermodel does not thrill then the lawyerbush is not a kind of a principalship and is non-mass-spectrometric. sent12: the ambassador does magnify. sent13: that the kinin is not a thrill and it is not cardiologic is not right. sent14: the lawyerbush is not a list but herbivorous if it does not impinge icetray. sent15: the supermodel is not a ootid if the lawyerbush is both not Mozartian and not cardiologic. sent16: that something is cardiologic but it is not Mozartian is incorrect if it does magnify. sent17: if the fact that something is not a Ponstel and does impinge pasang is not true it does not impinge icetray. sent18: that the lawyerbush is not a Ponstel but it impinges pasang is not true if the fact that there exists something such that it does peruse Sonchus is right. sent19: the lawyerbush peruses backgrounding and is not intramural. sent20: the lawyerbush is not Mozartian if it peruses backgrounding and is not intramural. sent21: if something that is not a kind of a grub does not thrill the feeder does not magnify. sent22: that that the supermodel is a thrill that is a principalship is true is not correct if that it is not mass-spectrometric is true.
void -> assump1: Let's assume that the ambassador does not magnify and it is not a kind of a grub.; assump1 -> int1: the ambassador does not magnify.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the ambassador does not magnify and is not a grub is false.; int3 & sent5 -> int4: the supermodel is not a thrill.; int4 & sent11 -> int5: the lawyerbush is not a principalship and it is not mass-spectrometric.; sent10 -> int6: the fact that the lawyerbush is not a ootid is not false if it is not a kind of a principalship and it is not mass-spectrometric.; int5 & int6 -> int7: the lawyerbush is not a ootid.; int7 & sent1 -> hypothesis;
the fact that the feeder is both achondroplastic and not a lesson hold.
sent6 -> int8: the feeder is achondroplastic but it is not a lesson if it does not magnify.; sent9 -> int9: if the fact that the ambassador is a principalship hold then it does not grub and it does not thrill.; sent20 & sent19 -> int10: the lawyerbush is not Mozartian.; sent2 -> int11: the lawyerbush is not cardiologic if it is not a list but herbivorous.; sent17 -> int12: the lawyerbush does not impinge icetray if the fact that it is not a Ponstel and does impinge pasang does not hold.; sent4 & sent18 -> int13: the fact that the lawyerbush is not a Ponstel but it does impinge pasang does not hold.; int12 & int13 -> int14: that the lawyerbush does not impinge icetray is right.; sent14 & int14 -> int15: the lawyerbush is both not a list and herbivorous.; int11 & int15 -> int16: the fact that the lawyerbush is not cardiologic is not wrong.; int10 & int16 -> int17: the lawyerbush is not Mozartian and is not cardiologic.; sent15 & int17 -> int18: the supermodel is not a kind of a ootid.; sent3 & int18 -> int19: the ambassador is a kind of a principalship and is mass-spectrometric.; int19 -> int20: the ambassador is a principalship.; int9 & int20 -> int21: the ambassador is not a grub and is not a thrill.; int21 -> int22: something is not a grub and is not a thrill.; int22 & sent21 -> int23: the feeder does not magnify.; int8 & int23 -> hypothesis;
$hypothesis$ = the fact that the kinin is cardiologic and is not Mozartian is incorrect. ; $context$ = sent1: if that the lawyerbush is not a ootid is not wrong then the kinin is a kind of cardiologic thing that is not Mozartian. sent2: if something is not a kind of a list but it is herbivorous then it is not cardiologic. sent3: the ambassador is a kind of a principalship and is mass-spectrometric if the supermodel is not a ootid. sent4: there is something such that it does peruse Sonchus. sent5: the supermodel is not a thrill if that that the ambassador does not magnify and is not a grub is correct does not hold. sent6: if something does not magnify then it is a kind of achondroplastic thing that is not a lesson. sent7: something is not mass-spectrometric if it is not Mozartian and is not a grub. sent8: the supermodel does not thrill if the ambassador grubs. sent9: if something is a kind of a principalship it is both not a grub and not a thrill. sent10: something is not a ootid if it is both not a principalship and not mass-spectrometric. sent11: if the supermodel does not thrill then the lawyerbush is not a kind of a principalship and is non-mass-spectrometric. sent12: the ambassador does magnify. sent13: that the kinin is not a thrill and it is not cardiologic is not right. sent14: the lawyerbush is not a list but herbivorous if it does not impinge icetray. sent15: the supermodel is not a ootid if the lawyerbush is both not Mozartian and not cardiologic. sent16: that something is cardiologic but it is not Mozartian is incorrect if it does magnify. sent17: if the fact that something is not a Ponstel and does impinge pasang is not true it does not impinge icetray. sent18: that the lawyerbush is not a Ponstel but it impinges pasang is not true if the fact that there exists something such that it does peruse Sonchus is right. sent19: the lawyerbush peruses backgrounding and is not intramural. sent20: the lawyerbush is not Mozartian if it peruses backgrounding and is not intramural. sent21: if something that is not a kind of a grub does not thrill the feeder does not magnify. sent22: that that the supermodel is a thrill that is a principalship is true is not correct if that it is not mass-spectrometric is true. ; $proof$ = 
void -> assump1: Let's assume that the ambassador does not magnify and it is not a kind of a grub.; assump1 -> int1: the ambassador does not magnify.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the ambassador does not magnify and is not a grub is false.; int3 & sent5 -> int4: the supermodel is not a thrill.; int4 & sent11 -> int5: the lawyerbush is not a principalship and it is not mass-spectrometric.; sent10 -> int6: the fact that the lawyerbush is not a ootid is not false if it is not a kind of a principalship and it is not mass-spectrometric.; int5 & int6 -> int7: the lawyerbush is not a ootid.; int7 & sent1 -> hypothesis; __DISPROVED__