the trainman is a trombiculid.
sent1: if the Turki is retractile that the punkie is a programma is not wrong. sent2: if something is not a OV then it is not Aeolian. sent3: if that the punkie is not a Permian hold then that the Turki is a kind of a trombiculid and it programs is not true. sent4: the fact that the Turki is not unable but it is retractile does not hold. sent5: the charcuterie is a Permian if the punkie is a kind of a programma. sent6: if that the yellowcake does avalanche is true then the trainman is a trombiculid. sent7: the fact that that the Turki emends bichromate is true if the fact that the Turki does avalanche is right hold. sent8: the yellowcake is an avalanche if something that is not unable is not retractile. sent9: if the fact that the Turki is not unable and is not retractile is not right the punkie programs. sent10: if that the yellowcake is not a rad is correct then the charcuterie is not a inspissation but it is a OV. sent11: if there exists something such that it is not a Aeolian the punkie is not a Permian. sent12: the charcuterie is not Aeolian if it is not a OV. sent13: the celestite is not a trombiculid and it does not trot. sent14: there is something such that that it is not retractile is not false. sent15: the charcuterie is not a OV if that it is not a rad and is not a inspissation is false. sent16: the atrazine is not a rad. sent17: if something is not a OV it is not a Aeolian and does not emend bichromate. sent18: that something does emend bichromate and is a Aeolian is not true if that it is not an avalanche hold. sent19: the fact that that the charcuterie is not a rad and it is not a inspissation is incorrect is not incorrect. sent20: if that something does emend bichromate and it is a Aeolian is wrong then it is not a Aeolian. sent21: that something is a kind of non-Aeolian thing that does not emend bichromate is not correct if it is a Permian. sent22: that the charcuterie is a Aeolian but it does not emend bichromate does not hold if that it is a Permian hold. sent23: if the fact that either the vice-regent is not a rad or it is not a kind of a arabesque or both hold then the yellowcake is not a kind of a rad. sent24: that something that is not a inspissation but a OV is not an avalanche hold.
void -> assump1: Let's assume that the fact that that the Turki is not unable and it is not retractile hold is not true.; sent9 & assump1 -> int1: the punkie does program.; int1 & sent5 -> int2: the fact that the charcuterie is a Permian is not wrong.; sent21 -> int3: if the charcuterie is a Permian then the fact that it is non-Aeolian thing that does not emend bichromate is false.; int2 & int3 -> int4: the fact that the charcuterie is not a kind of a Aeolian and does not emend bichromate is incorrect.; sent17 -> int5: the charcuterie is not a kind of a Aeolian and it does not emend bichromate if it is not a OV.; sent15 & sent19 -> int6: the charcuterie is not a OV.; int5 & int6 -> int7: the charcuterie is not a Aeolian and does not emend bichromate.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Turki is both not unable and not retractile.; int9 -> int10: there is something such that it is not unable and is not retractile.; int10 & sent8 -> int11: the yellowcake does avalanche.; int11 & sent6 -> hypothesis;
the trainman is not a trombiculid.
sent20 -> int12: the charcuterie is not a Aeolian if that it emends bichromate and is a Aeolian is not right.; sent18 -> int13: that the charcuterie does emend bichromate and is a Aeolian is not right if it is not an avalanche.; sent24 -> int14: if the charcuterie is both not a inspissation and a OV then it does not avalanche.; sent16 -> int15: there is something such that it is not a kind of a rad.;
$hypothesis$ = the trainman is a trombiculid. ; $context$ = sent1: if the Turki is retractile that the punkie is a programma is not wrong. sent2: if something is not a OV then it is not Aeolian. sent3: if that the punkie is not a Permian hold then that the Turki is a kind of a trombiculid and it programs is not true. sent4: the fact that the Turki is not unable but it is retractile does not hold. sent5: the charcuterie is a Permian if the punkie is a kind of a programma. sent6: if that the yellowcake does avalanche is true then the trainman is a trombiculid. sent7: the fact that that the Turki emends bichromate is true if the fact that the Turki does avalanche is right hold. sent8: the yellowcake is an avalanche if something that is not unable is not retractile. sent9: if the fact that the Turki is not unable and is not retractile is not right the punkie programs. sent10: if that the yellowcake is not a rad is correct then the charcuterie is not a inspissation but it is a OV. sent11: if there exists something such that it is not a Aeolian the punkie is not a Permian. sent12: the charcuterie is not Aeolian if it is not a OV. sent13: the celestite is not a trombiculid and it does not trot. sent14: there is something such that that it is not retractile is not false. sent15: the charcuterie is not a OV if that it is not a rad and is not a inspissation is false. sent16: the atrazine is not a rad. sent17: if something is not a OV it is not a Aeolian and does not emend bichromate. sent18: that something does emend bichromate and is a Aeolian is not true if that it is not an avalanche hold. sent19: the fact that that the charcuterie is not a rad and it is not a inspissation is incorrect is not incorrect. sent20: if that something does emend bichromate and it is a Aeolian is wrong then it is not a Aeolian. sent21: that something is a kind of non-Aeolian thing that does not emend bichromate is not correct if it is a Permian. sent22: that the charcuterie is a Aeolian but it does not emend bichromate does not hold if that it is a Permian hold. sent23: if the fact that either the vice-regent is not a rad or it is not a kind of a arabesque or both hold then the yellowcake is not a kind of a rad. sent24: that something that is not a inspissation but a OV is not an avalanche hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the Turki is not unable and it is not retractile hold is not true.; sent9 & assump1 -> int1: the punkie does program.; int1 & sent5 -> int2: the fact that the charcuterie is a Permian is not wrong.; sent21 -> int3: if the charcuterie is a Permian then the fact that it is non-Aeolian thing that does not emend bichromate is false.; int2 & int3 -> int4: the fact that the charcuterie is not a kind of a Aeolian and does not emend bichromate is incorrect.; sent17 -> int5: the charcuterie is not a kind of a Aeolian and it does not emend bichromate if it is not a OV.; sent15 & sent19 -> int6: the charcuterie is not a OV.; int5 & int6 -> int7: the charcuterie is not a Aeolian and does not emend bichromate.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Turki is both not unable and not retractile.; int9 -> int10: there is something such that it is not unable and is not retractile.; int10 & sent8 -> int11: the yellowcake does avalanche.; int11 & sent6 -> hypothesis; __PROVED__