the King is salient.
sent1: the guyot represses Oxyura. sent2: the vegan is a trumpetwood. sent3: if the guyot is a divide then it does repress Oxyura. sent4: if the Bahai is not a NRO it is inaccessible and it does plummet. sent5: that the vegan ablates and is tuberculate does not hold if there exists something such that it does not ablates. sent6: the King is oneiric. sent7: if something that is a supertwister is a salient it does not repress Oxyura. sent8: the vegan is a tick if the Bahai does plummet. sent9: there exists something such that that it ablates and it is not a washout is not right. sent10: the vegan does beggar Italian. sent11: the King does not beggar Italian but it is a supertwister. sent12: if the fact that the vegan ablates and is tuberculate does not hold it is not a kind of a nativist. sent13: if the guyot is not a kind of a supertwister then the King is a kind of a salient and it beggars Italian. sent14: if something is not a divide but it is a tick it does repress Oxyura. sent15: the vegan does plummet. sent16: something does repress Oxyura but it is not a tick if it divides. sent17: that the guyot represses Oxyura but it is not a kind of a tick is wrong if the fact that the King represses Oxyura does not hold. sent18: the vegan is younger. sent19: if the vegan represses Oxyura the guyot is not a supertwister. sent20: if something divides it represses Oxyura. sent21: something is not a divide if it is not a nativist. sent22: that the guyot is a divide if there is something such that it plummets hold. sent23: if there exists something such that that it does ablate and is not a kind of a washout is not true then the miser does not ablate. sent24: the dirndl is not a kind of a tick. sent25: the King does not beggar Italian.
sent11 -> int1: the King is a kind of a supertwister.; void -> assump1: Let's assume that the King is a salient.; int1 & assump1 -> int2: the King is a supertwister and is a kind of a salient.; sent7 -> int3: if the King is a supertwister and is a kind of a salient it does not repress Oxyura.; int2 & int3 -> int4: the King does not repress Oxyura.; int4 & sent17 -> int5: that the guyot represses Oxyura but it is not a tick is not correct.; sent16 -> int6: if that the guyot is a divide is not wrong then it represses Oxyura and it does not tick.; sent15 -> int7: there exists something such that it does plummet.; int7 & sent22 -> int8: the guyot is a divide.; int6 & int8 -> int9: the guyot does repress Oxyura but it is not a kind of a tick.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the King is a salient.
sent14 -> int11: the vegan represses Oxyura if it is not a divide and it is a kind of a tick.; sent21 -> int12: if the vegan is non-nativist it does not divide.; sent9 & sent23 -> int13: the miser does not ablate.; int13 -> int14: there is something such that it does not ablate.; int14 & sent5 -> int15: the fact that the vegan ablates and is not non-tuberculate does not hold.; sent12 & int15 -> int16: the vegan is not a nativist.; int12 & int16 -> int17: the vegan does not divide.;
$hypothesis$ = the King is salient. ; $context$ = sent1: the guyot represses Oxyura. sent2: the vegan is a trumpetwood. sent3: if the guyot is a divide then it does repress Oxyura. sent4: if the Bahai is not a NRO it is inaccessible and it does plummet. sent5: that the vegan ablates and is tuberculate does not hold if there exists something such that it does not ablates. sent6: the King is oneiric. sent7: if something that is a supertwister is a salient it does not repress Oxyura. sent8: the vegan is a tick if the Bahai does plummet. sent9: there exists something such that that it ablates and it is not a washout is not right. sent10: the vegan does beggar Italian. sent11: the King does not beggar Italian but it is a supertwister. sent12: if the fact that the vegan ablates and is tuberculate does not hold it is not a kind of a nativist. sent13: if the guyot is not a kind of a supertwister then the King is a kind of a salient and it beggars Italian. sent14: if something is not a divide but it is a tick it does repress Oxyura. sent15: the vegan does plummet. sent16: something does repress Oxyura but it is not a tick if it divides. sent17: that the guyot represses Oxyura but it is not a kind of a tick is wrong if the fact that the King represses Oxyura does not hold. sent18: the vegan is younger. sent19: if the vegan represses Oxyura the guyot is not a supertwister. sent20: if something divides it represses Oxyura. sent21: something is not a divide if it is not a nativist. sent22: that the guyot is a divide if there is something such that it plummets hold. sent23: if there exists something such that that it does ablate and is not a kind of a washout is not true then the miser does not ablate. sent24: the dirndl is not a kind of a tick. sent25: the King does not beggar Italian. ; $proof$ = 
sent11 -> int1: the King is a kind of a supertwister.; void -> assump1: Let's assume that the King is a salient.; int1 & assump1 -> int2: the King is a supertwister and is a kind of a salient.; sent7 -> int3: if the King is a supertwister and is a kind of a salient it does not repress Oxyura.; int2 & int3 -> int4: the King does not repress Oxyura.; int4 & sent17 -> int5: that the guyot represses Oxyura but it is not a tick is not correct.; sent16 -> int6: if that the guyot is a divide is not wrong then it represses Oxyura and it does not tick.; sent15 -> int7: there exists something such that it does plummet.; int7 & sent22 -> int8: the guyot is a divide.; int6 & int8 -> int9: the guyot does repress Oxyura but it is not a kind of a tick.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__