the Tutsi is a laziness if it is a Cockney.
sent1: the Tutsi is a kind of a laziness if it blankets stagecraft. sent2: the perceiver is cacodemonic if it jams tackler. sent3: something is not nonreticulate if it is not Wittgensteinian. sent4: if the Tutsi is a Kyphosus then it is sudden. sent5: if that the kainite is not a cirrus but it plans is wrong then the animalization is not a plans. sent6: that the rapeseed is Wittgensteinian and it is a shiftiness is not right if the hacker is not a plan. sent7: if something does not plan then the fact that the hacker does plan and is bathyal is not correct. sent8: the Tutsi blankets makeready. sent9: if the fact that the Tutsi is cacodemonic hold that the contestee is a Cockney is correct. sent10: the race is electrophoretic if it does discount. sent11: the fact that the Tutsi is cacodemonic if the Tutsi is a Cockney hold. sent12: something is cacodemonic or it is a laziness or both if that it is not nonreticulate is true. sent13: the fact that that the kainite is not a kind of a cirrus but it is a plan hold is not correct. sent14: if something is cacodemonic it is a laziness. sent15: something does not plan if the fact that it is a kind of a plan and it is bathyal does not hold. sent16: the jeweler is a kind of a denigration if it is Cockney. sent17: the Tutsi is a candlestick. sent18: the B-girl is cacodemonic.
void -> assump1: Let's assume that the Tutsi is a Cockney.; sent11 & assump1 -> int1: the Tutsi is cacodemonic.; sent14 -> int2: the Tutsi is a laziness if it is cacodemonic.; int1 & int2 -> int3: the Tutsi is a laziness.; [assump1] & int3 -> hypothesis;
the contestee is a Cockney.
sent12 -> int4: if the Tutsi is reticulate then either it is cacodemonic or it is a laziness or both.; sent3 -> int5: the Tutsi is not nonreticulate if it is not Wittgensteinian.; sent15 -> int6: if that the hacker is a plan and bathyal is not right then it is not a plan.; sent5 & sent13 -> int7: the animalization does not plan.; int7 -> int8: there exists something such that it is not a plan.; int8 & sent7 -> int9: that the hacker is a plan and it is bathyal is not right.; int6 & int9 -> int10: the hacker is not a plan.; sent6 & int10 -> int11: the fact that the rapeseed is both Wittgensteinian and a shiftiness is not correct.; int11 -> int12: there exists something such that that it is Wittgensteinian a shiftiness is not right.;
$hypothesis$ = the Tutsi is a laziness if it is a Cockney. ; $context$ = sent1: the Tutsi is a kind of a laziness if it blankets stagecraft. sent2: the perceiver is cacodemonic if it jams tackler. sent3: something is not nonreticulate if it is not Wittgensteinian. sent4: if the Tutsi is a Kyphosus then it is sudden. sent5: if that the kainite is not a cirrus but it plans is wrong then the animalization is not a plans. sent6: that the rapeseed is Wittgensteinian and it is a shiftiness is not right if the hacker is not a plan. sent7: if something does not plan then the fact that the hacker does plan and is bathyal is not correct. sent8: the Tutsi blankets makeready. sent9: if the fact that the Tutsi is cacodemonic hold that the contestee is a Cockney is correct. sent10: the race is electrophoretic if it does discount. sent11: the fact that the Tutsi is cacodemonic if the Tutsi is a Cockney hold. sent12: something is cacodemonic or it is a laziness or both if that it is not nonreticulate is true. sent13: the fact that that the kainite is not a kind of a cirrus but it is a plan hold is not correct. sent14: if something is cacodemonic it is a laziness. sent15: something does not plan if the fact that it is a kind of a plan and it is bathyal does not hold. sent16: the jeweler is a kind of a denigration if it is Cockney. sent17: the Tutsi is a candlestick. sent18: the B-girl is cacodemonic. ; $proof$ = 
void -> assump1: Let's assume that the Tutsi is a Cockney.; sent11 & assump1 -> int1: the Tutsi is cacodemonic.; sent14 -> int2: the Tutsi is a laziness if it is cacodemonic.; int1 & int2 -> int3: the Tutsi is a laziness.; [assump1] & int3 -> hypothesis; __PROVED__