「その東は言い難いし直り難い」ということは間違いである
fact1: もしあのザバイカル・カザークが言い難いということはないとするとその東は直り難い fact2: もし仮に何かは流行しないなら「言い難いしまた直り難い」ということは成り立たない fact3: その東は直り難い fact4: あのザバイカル・カザークは御忙しくてそれにべた付く fact5: もし仮になんらかのものは叩き為さるしべた付くならそれは言い難いということはない fact6: あのザバイカル・カザークは流行する fact7: あのザバイカル・カザークが言い難くないならその東は言い難くてかつ直り難い fact8: 「あのザバイカル・カザークは御忙しい」ということは誤りだということはない fact9: もしその東がべた付くとすればそれは言い難い fact10: あのザバイカル・カザークが流行するとすればそれは叩き為さる fact11: その背臥位正面は直り難い
fact10 & fact6 -> int1: あのザバイカル・カザークは叩き為さる; fact4 -> int2: あのザバイカル・カザークはべた付く; int1 & int2 -> int3: あのザバイカル・カザークは叩き為さるしそれはべた付く; fact5 -> int4: もしあのザバイカル・カザークが叩き為さるし更にそれがべた付くとすれば言い難いということはない; int3 & int4 -> int5: あのザバイカル・カザークは言い難くない; int5 & fact7 -> hypothesis;
「その東は言い難いしかつそれは直り難い」ということは嘘である
fact12 -> int6: もしもその東は流行しないなら「それは言い難いし加えて直り難い」ということは成り立つということはない;
$facts$ = fact1: もしあのザバイカル・カザークが言い難いということはないとするとその東は直り難い fact2: もし仮に何かは流行しないなら「言い難いしまた直り難い」ということは成り立たない fact3: その東は直り難い fact4: あのザバイカル・カザークは御忙しくてそれにべた付く fact5: もし仮になんらかのものは叩き為さるしべた付くならそれは言い難いということはない fact6: あのザバイカル・カザークは流行する fact7: あのザバイカル・カザークが言い難くないならその東は言い難くてかつ直り難い fact8: 「あのザバイカル・カザークは御忙しい」ということは誤りだということはない fact9: もしその東がべた付くとすればそれは言い難い fact10: あのザバイカル・カザークが流行するとすればそれは叩き為さる fact11: その背臥位正面は直り難い ; $hypothesis$ = 「その東は言い難いし直り難い」ということは間違いである ; $proof$ = 
fact10 & fact6 -> int1: あのザバイカル・カザークは叩き為さる; fact4 -> int2: あのザバイカル・カザークはべた付く; int1 & int2 -> int3: あのザバイカル・カザークは叩き為さるしそれはべた付く; fact5 -> int4: もしあのザバイカル・カザークが叩き為さるし更にそれがべた付くとすれば言い難いということはない; int3 & int4 -> int5: あのザバイカル・カザークは言い難くない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: もしあのザバイカル・カザークが言い難いということはないとするとその東は直り難い
事実2: もし仮に何かは流行しないなら「言い難いしまた直り難い」ということは成り立たない
事実3: その東は直り難い
事実4: あのザバイカル・カザークは御忙しくてそれにべた付く
事実5: もし仮になんらかのものは叩き為さるしべた付くならそれは言い難いということはない
事実6: あのザバイカル・カザークは流行する
事実7: あのザバイカル・カザークが言い難くないならその東は言い難くてかつ直り難い
事実8: 「あのザバイカル・カザークは御忙しい」ということは誤りだということはない
事実9: もしその東がべた付くとすればそれは言い難い
事実10: あのザバイカル・カザークが流行するとすればそれは叩き為さる
事実11: その背臥位正面は直り難い

仮説: 「その東は言い難いし直り難い」ということは間違いである
1. 事実10と事実6から、推論1: "あのザバイカル・カザークは叩き為さる"が導かれる
2. 事実4から、推論2: "あのザバイカル・カザークはべた付く"が導かれる
3. 推論1と推論2から、推論3: "あのザバイカル・カザークは叩き為さるしそれはべた付く"が導かれる
4. 事実5から、推論4: "もしあのザバイカル・カザークが叩き為さるし更にそれがべた付くとすれば言い難いということはない"が導かれる
5. 推論3と推論4から、推論5: "あのザバイカル・カザークは言い難くない"が導かれる
6. 推論5と事実7から、仮説が否定される

よって、仮説が否定されました。