the tom-tom is a Theban.
sent1: that the sidewinder is a Colosseum but it is not a kind of a onionskin is wrong. sent2: the pumpernickel is tuneless and does not bear embitterment. sent3: the tom-tom is Theban if the pumpernickel is not a kind of a tauon and/or it is striate. sent4: the tom-tom is Theban if the pumpernickel is not a kind of a tauon. sent5: the sidewinder is a Colosseum. sent6: if the chalet does not even start then the sidewinder is a Colosseum. sent7: if the chalet does not even start then the sidewinder is a Colosseum but it is not a onionskin. sent8: if the fact that the chalet is non-Theban thing that does even start is false the tom-tom is not a kind of a Theban. sent9: if something does striate then that it is not Theban and it does even start is wrong. sent10: the pumpernickel striates if the chalet does even start. sent11: the pumpernickel is a kind of a tauon or it does striate or both. sent12: if the pumpernickel is tuneless then the sidewinder is not a kind of a stock and does not even sidewinder.
void -> assump1: Let's assume that the chalet does not even start.; sent7 & assump1 -> int1: the sidewinder is a kind of a Colosseum that is not a onionskin.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the chalet does even start.; int3 & sent10 -> int4: the pumpernickel striates.; int4 -> int5: the pumpernickel is not a kind of a tauon or does striate or both.; int5 & sent3 -> hypothesis;
the tom-tom is not Theban.
sent9 -> int6: if the chalet is striate that it is not a kind of a Theban and it evens start is wrong.; sent2 -> int7: the pumpernickel is tuneless.; sent12 & int7 -> int8: the sidewinder is not a kind of a stock and it does not even sidewinder.; int8 -> int9: something is not a stock and it does not even sidewinder.;
$hypothesis$ = the tom-tom is a Theban. ; $context$ = sent1: that the sidewinder is a Colosseum but it is not a kind of a onionskin is wrong. sent2: the pumpernickel is tuneless and does not bear embitterment. sent3: the tom-tom is Theban if the pumpernickel is not a kind of a tauon and/or it is striate. sent4: the tom-tom is Theban if the pumpernickel is not a kind of a tauon. sent5: the sidewinder is a Colosseum. sent6: if the chalet does not even start then the sidewinder is a Colosseum. sent7: if the chalet does not even start then the sidewinder is a Colosseum but it is not a onionskin. sent8: if the fact that the chalet is non-Theban thing that does even start is false the tom-tom is not a kind of a Theban. sent9: if something does striate then that it is not Theban and it does even start is wrong. sent10: the pumpernickel striates if the chalet does even start. sent11: the pumpernickel is a kind of a tauon or it does striate or both. sent12: if the pumpernickel is tuneless then the sidewinder is not a kind of a stock and does not even sidewinder. ; $proof$ = 
void -> assump1: Let's assume that the chalet does not even start.; sent7 & assump1 -> int1: the sidewinder is a kind of a Colosseum that is not a onionskin.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the chalet does even start.; int3 & sent10 -> int4: the pumpernickel striates.; int4 -> int5: the pumpernickel is not a kind of a tauon or does striate or both.; int5 & sent3 -> hypothesis; __PROVED__