that the crazy is a kind of a quirk that is a kind of a DO does not hold.
sent1: that the ethologist is not unambitious is not wrong. sent2: the tamarin unbuttons tamarin or it is not a DO or both. sent3: the wallaby is an industrialization. sent4: the fact that the crazy is a quirk and it is a DO is not right if something unbuttons tamarin. sent5: if the wallaby does piddle then the tamarin unbuttons tamarin. sent6: if the fact that the wallaby does not piddle is not false it is an industrialization and it is not a kind of a crossbow. sent7: the crazy is not a tyrolean. sent8: the fact that the ethologist is unambitious or is not a kind of a tyrolean or both is incorrect. sent9: if the wallaby is an industrialization but it is not a crossbow then the ethologist is not a tyrolean. sent10: the wallaby is an industrialization if it does not piddle.
void -> assump1: Let's assume that the wallaby does not piddle.; sent6 & assump1 -> int1: the wallaby is a kind of an industrialization but it is not a crossbow.; int1 & sent9 -> int2: the ethologist is not a kind of a tyrolean.; int2 -> int3: the ethologist is unambitious or not a tyrolean or both.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the wallaby does piddle.; int5 & sent5 -> int6: the tamarin unbuttons tamarin.; int6 -> int7: there exists something such that it unbuttons tamarin.; int7 & sent4 -> hypothesis;
$hypothesis$ = that the crazy is a kind of a quirk that is a kind of a DO does not hold. ; $context$ = sent1: that the ethologist is not unambitious is not wrong. sent2: the tamarin unbuttons tamarin or it is not a DO or both. sent3: the wallaby is an industrialization. sent4: the fact that the crazy is a quirk and it is a DO is not right if something unbuttons tamarin. sent5: if the wallaby does piddle then the tamarin unbuttons tamarin. sent6: if the fact that the wallaby does not piddle is not false it is an industrialization and it is not a kind of a crossbow. sent7: the crazy is not a tyrolean. sent8: the fact that the ethologist is unambitious or is not a kind of a tyrolean or both is incorrect. sent9: if the wallaby is an industrialization but it is not a crossbow then the ethologist is not a tyrolean. sent10: the wallaby is an industrialization if it does not piddle. ; $proof$ = 
void -> assump1: Let's assume that the wallaby does not piddle.; sent6 & assump1 -> int1: the wallaby is a kind of an industrialization but it is not a crossbow.; int1 & sent9 -> int2: the ethologist is not a kind of a tyrolean.; int2 -> int3: the ethologist is unambitious or not a tyrolean or both.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the wallaby does piddle.; int5 & sent5 -> int6: the tamarin unbuttons tamarin.; int6 -> int7: there exists something such that it unbuttons tamarin.; int7 & sent4 -> hypothesis; __PROVED__