something does not foray but it does adjoin.
sent1: the decidua is a brew if the fact that it is a kind of a coif and is not topless is wrong. sent2: something is tribal if the fact that it is topless and it is not leafy does not hold. sent3: something is a grate if the fact that it is a kind of a Cockney is not wrong. sent4: the fact that the decidua is not a sitar and is erecting is not correct. sent5: if the pulsar does not adjoin it is a refrigeration. sent6: if something does gather bilby then the fact that it rebuffs and does mold is false. sent7: the fact that there exists something such that it does adjoin is not incorrect. sent8: if something is a refrigeration that the fact that it does gather Saturnalia and it is a coif hold is not true. sent9: the pulsar is a brew if it is tribal. sent10: the fact that something gathers duality and does not sicken Carboloy is not correct if it is a kind of a reflation. sent11: the fact that the decidua is not leafy and is topless does not hold. sent12: something is a sitar if it does coif. sent13: that the decidua is a French that is a coif does not hold. sent14: something is a kind of a sitar if the fact that it does gather Saturnalia and it is not a coif is not true. sent15: the fact that the pulsar gathers Saturnalia and coifs is incorrect. sent16: the pulsar is tribal. sent17: if something is a sitar and it is a kind of a brew it is not a kind of a button-quail. sent18: the piccolo coifs and it is a refrigeration if there exists something such that it does gather Saturnalia. sent19: the Chevalier is not topless. sent20: if the fact that the decidua is not leafy but it is topless is not correct the pulsar is a kind of a button-quail. sent21: there is something such that it is topless. sent22: if something sickens Nymphicus it is a brownie. sent23: if that the pulsar is not a foray and does adjoin is incorrect then it is a refrigeration. sent24: if something is a refrigeration then the fact that it does gather Saturnalia and it is not a coif is false.
void -> assump1: Let's assume that that the pulsar does not foray but it adjoins is not correct.; sent23 & assump1 -> int1: the pulsar is a refrigeration.; sent24 -> int2: if the pulsar is a refrigeration that it gathers Saturnalia and it is not a coif is wrong.; int1 & int2 -> int3: that that the pulsar gathers Saturnalia and is not a coif is not true hold.; sent14 -> int4: if the fact that the pulsar gathers Saturnalia but it is not a coif does not hold then it is a sitar.; int3 & int4 -> int5: the pulsar is a sitar.; sent9 & sent16 -> int6: the pulsar does brew.; int5 & int6 -> int7: the pulsar is a sitar that is a brew.; sent17 -> int8: if the pulsar is a sitar and is a brew it is not a button-quail.; int7 & int8 -> int9: the pulsar is not a kind of a button-quail.; sent20 & sent11 -> int10: the pulsar is a kind of a button-quail.; int9 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the pulsar is not a foray and adjoins.; int12 -> hypothesis;
that the piccolo is a refrigeration hold.
$hypothesis$ = something does not foray but it does adjoin. ; $context$ = sent1: the decidua is a brew if the fact that it is a kind of a coif and is not topless is wrong. sent2: something is tribal if the fact that it is topless and it is not leafy does not hold. sent3: something is a grate if the fact that it is a kind of a Cockney is not wrong. sent4: the fact that the decidua is not a sitar and is erecting is not correct. sent5: if the pulsar does not adjoin it is a refrigeration. sent6: if something does gather bilby then the fact that it rebuffs and does mold is false. sent7: the fact that there exists something such that it does adjoin is not incorrect. sent8: if something is a refrigeration that the fact that it does gather Saturnalia and it is a coif hold is not true. sent9: the pulsar is a brew if it is tribal. sent10: the fact that something gathers duality and does not sicken Carboloy is not correct if it is a kind of a reflation. sent11: the fact that the decidua is not leafy and is topless does not hold. sent12: something is a sitar if it does coif. sent13: that the decidua is a French that is a coif does not hold. sent14: something is a kind of a sitar if the fact that it does gather Saturnalia and it is not a coif is not true. sent15: the fact that the pulsar gathers Saturnalia and coifs is incorrect. sent16: the pulsar is tribal. sent17: if something is a sitar and it is a kind of a brew it is not a kind of a button-quail. sent18: the piccolo coifs and it is a refrigeration if there exists something such that it does gather Saturnalia. sent19: the Chevalier is not topless. sent20: if the fact that the decidua is not leafy but it is topless is not correct the pulsar is a kind of a button-quail. sent21: there is something such that it is topless. sent22: if something sickens Nymphicus it is a brownie. sent23: if that the pulsar is not a foray and does adjoin is incorrect then it is a refrigeration. sent24: if something is a refrigeration then the fact that it does gather Saturnalia and it is not a coif is false. ; $proof$ = 
void -> assump1: Let's assume that that the pulsar does not foray but it adjoins is not correct.; sent23 & assump1 -> int1: the pulsar is a refrigeration.; sent24 -> int2: if the pulsar is a refrigeration that it gathers Saturnalia and it is not a coif is wrong.; int1 & int2 -> int3: that that the pulsar gathers Saturnalia and is not a coif is not true hold.; sent14 -> int4: if the fact that the pulsar gathers Saturnalia but it is not a coif does not hold then it is a sitar.; int3 & int4 -> int5: the pulsar is a sitar.; sent9 & sent16 -> int6: the pulsar does brew.; int5 & int6 -> int7: the pulsar is a sitar that is a brew.; sent17 -> int8: if the pulsar is a sitar and is a brew it is not a button-quail.; int7 & int8 -> int9: the pulsar is not a kind of a button-quail.; sent20 & sent11 -> int10: the pulsar is a kind of a button-quail.; int9 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the pulsar is not a foray and adjoins.; int12 -> hypothesis; __PROVED__