the fact that the barbican is a emendation or it is not a Sudan or both if the mortarboard does parse punkah is not true.
sent1: the mortarboard articles buffalo and it does pant-hoot if it is not a kind of a quarter. sent2: if the mortarboard articles buffalo the barbican is not non-Palestinian. sent3: if the mortarboard parses punkah it is a urochord. sent4: the fact that the barbican is not an iniquity and not a quarter is wrong if there is something such that it does pant-hoot. sent5: if something is a emendation it is a Palestinian. sent6: the birthwort is a kind of a emendation. sent7: that the mortarboard does pant-hoot hold. sent8: if the mortarboard is a urochord then the fact that the Sealyham is a Sudan is not false. sent9: the mortarboard is not a kind of a quarter if it is a urochord and an iniquity. sent10: the hollandaise parses punkah and is full-term. sent11: something does pant-hoot and does not article buffalo if it is a Palestinian. sent12: the mortarboard is not a HND. sent13: the barbican is a emendation or is a Sudan or both if the mortarboard parses punkah. sent14: the barbican is a emendation and/or it is a kind of a Sudan. sent15: the Sealyham is a kind of a Sudan if the mortarboard is a Sudan. sent16: something is a Sudan and/or it is a kind of a urochord if it does not parse punkah. sent17: if the mortarboard quarters and it is a emendation the fact that it does not pant-hoot is correct. sent18: if the fact that the barbican is a kind of a Palestinian is not wrong then either it is a emendation or it is a Sudan or both. sent19: a Palestinian is a emendation or is not a kind of a Sudan or both. sent20: something is a emendation or a Sudan or both if it is a kind of a Palestinian. sent21: the mortarboard is a kind of a hurry. sent22: the mortarboard is an iniquity and is a kind of a hurry. sent23: the mortarboard pant-hoots if it is not a quarter.
void -> assump1: Let's assume that the mortarboard does parse punkah.; sent3 & assump1 -> int1: the mortarboard is a urochord.; sent22 -> int2: the fact that the mortarboard is a kind of an iniquity is right.; int1 & int2 -> int3: the mortarboard is a urochord and it is a kind of an iniquity.; int3 & sent9 -> int4: the mortarboard is not a kind of a quarter.; int4 & sent1 -> int5: that the mortarboard articles buffalo and does pant-hoot hold.; int5 -> int6: the mortarboard does article buffalo.; int6 & sent2 -> int7: the barbican is a Palestinian.; sent19 -> int8: the barbican is a emendation and/or is not a Sudan if it is a Palestinian.; int7 & int8 -> int9: the barbican is a emendation or it is not a Sudan or both.; [assump1] & int9 -> hypothesis;
the Sealyham is a Sudan.
sent16 -> int10: the mortarboard is a Sudan and/or is a kind of a urochord if it does not parse punkah.; sent11 -> int11: the birthwort does pant-hoot and does not article buffalo if it is Palestinian.; sent5 -> int12: the birthwort is a kind of a Palestinian if it is a kind of a emendation.; int12 & sent6 -> int13: the birthwort is a Palestinian.; int11 & int13 -> int14: the birthwort pant-hoots but it does not article buffalo.; int14 -> int15: the birthwort does pant-hoot.; int15 -> int16: there is something such that it pant-hoots.; int16 & sent4 -> int17: that the barbican is both not an iniquity and not a quarter is not right.; int17 -> int18: there is something such that the fact that it is not a kind of an iniquity and is not a kind of a quarter is not correct.;
$hypothesis$ = the fact that the barbican is a emendation or it is not a Sudan or both if the mortarboard does parse punkah is not true. ; $context$ = sent1: the mortarboard articles buffalo and it does pant-hoot if it is not a kind of a quarter. sent2: if the mortarboard articles buffalo the barbican is not non-Palestinian. sent3: if the mortarboard parses punkah it is a urochord. sent4: the fact that the barbican is not an iniquity and not a quarter is wrong if there is something such that it does pant-hoot. sent5: if something is a emendation it is a Palestinian. sent6: the birthwort is a kind of a emendation. sent7: that the mortarboard does pant-hoot hold. sent8: if the mortarboard is a urochord then the fact that the Sealyham is a Sudan is not false. sent9: the mortarboard is not a kind of a quarter if it is a urochord and an iniquity. sent10: the hollandaise parses punkah and is full-term. sent11: something does pant-hoot and does not article buffalo if it is a Palestinian. sent12: the mortarboard is not a HND. sent13: the barbican is a emendation or is a Sudan or both if the mortarboard parses punkah. sent14: the barbican is a emendation and/or it is a kind of a Sudan. sent15: the Sealyham is a kind of a Sudan if the mortarboard is a Sudan. sent16: something is a Sudan and/or it is a kind of a urochord if it does not parse punkah. sent17: if the mortarboard quarters and it is a emendation the fact that it does not pant-hoot is correct. sent18: if the fact that the barbican is a kind of a Palestinian is not wrong then either it is a emendation or it is a Sudan or both. sent19: a Palestinian is a emendation or is not a kind of a Sudan or both. sent20: something is a emendation or a Sudan or both if it is a kind of a Palestinian. sent21: the mortarboard is a kind of a hurry. sent22: the mortarboard is an iniquity and is a kind of a hurry. sent23: the mortarboard pant-hoots if it is not a quarter. ; $proof$ = 
void -> assump1: Let's assume that the mortarboard does parse punkah.; sent3 & assump1 -> int1: the mortarboard is a urochord.; sent22 -> int2: the fact that the mortarboard is a kind of an iniquity is right.; int1 & int2 -> int3: the mortarboard is a urochord and it is a kind of an iniquity.; int3 & sent9 -> int4: the mortarboard is not a kind of a quarter.; int4 & sent1 -> int5: that the mortarboard articles buffalo and does pant-hoot hold.; int5 -> int6: the mortarboard does article buffalo.; int6 & sent2 -> int7: the barbican is a Palestinian.; sent19 -> int8: the barbican is a emendation and/or is not a Sudan if it is a Palestinian.; int7 & int8 -> int9: the barbican is a emendation or it is not a Sudan or both.; [assump1] & int9 -> hypothesis; __DISPROVED__