「「もしも「裸一貫であるし察さない」ということは真実であるということはないならば毛深い」ものはある」ということは嘘だ
fact1: 仮に「あの舎利は裸一貫だし察す」ということは成り立たないとすると毛深い fact2: 「もし仮に「調べ易いし更に懇願するということはない」ということは成り立たないとしたら羨ましい」ものはある fact3: もしも「あの舎利は裸一貫だけれど察さない」ということは嘘であるとしたらそれは毛深い fact4: 「察すとすれば毛深い」ものはある fact5: もしも「あの舎利は裸一貫だけど古伊万里でない」ということは成り立たないとしたら退陣する fact6: 「「裸一貫であるしその上察すということはない」ということは真実であるとすると毛深い」ものはある fact7: 「もし「蹴上げるし更に早し」ということは事実と異なるとしたら蟠る」ものはある fact8: 「仮に甘ーいということはないなら物寂しい」ものはある fact9: 「あるものは母達だがしかし来易くない」ということは成り立たないなら実定刑罰法規だ fact10: 「裸一貫だということはないならば毛深い」ものはある fact11: 「もしも「裸一貫であるしその上察す」ということは成り立つということはないなら毛深い」物はある fact12: 「「人間蝸牛であるしそれに酷使しない」ということは成り立たないとすると投げ掛ける」ものはある fact13: もしもあの舎利は裸一貫でないならば毛深い fact14: 「「あの舎利は察すがしかしＭＩＮＵＳでない」ということは成り立たない」ということは事実だとするとそれは茶色い fact15: もしもあの舎利が裸一貫だが察さないなら毛深い fact16: もし仮に「何かは裸一貫であるが生易しくない」ということは成り立つということはないとしたらそれは秘密工作員だ fact17: 「もし仮に「予想屋だが取り返せない」ということは成り立つということはないならおもろい」物はある
fact3 -> hypothesis;
もしも「あの舎利は裸一貫だがしかし生易しくない」ということは誤りだとすればそれは秘密工作員である
fact18 -> hypothesis;
$facts$ = fact1: 仮に「あの舎利は裸一貫だし察す」ということは成り立たないとすると毛深い fact2: 「もし仮に「調べ易いし更に懇願するということはない」ということは成り立たないとしたら羨ましい」ものはある fact3: もしも「あの舎利は裸一貫だけれど察さない」ということは嘘であるとしたらそれは毛深い fact4: 「察すとすれば毛深い」ものはある fact5: もしも「あの舎利は裸一貫だけど古伊万里でない」ということは成り立たないとしたら退陣する fact6: 「「裸一貫であるしその上察すということはない」ということは真実であるとすると毛深い」ものはある fact7: 「もし「蹴上げるし更に早し」ということは事実と異なるとしたら蟠る」ものはある fact8: 「仮に甘ーいということはないなら物寂しい」ものはある fact9: 「あるものは母達だがしかし来易くない」ということは成り立たないなら実定刑罰法規だ fact10: 「裸一貫だということはないならば毛深い」ものはある fact11: 「もしも「裸一貫であるしその上察す」ということは成り立つということはないなら毛深い」物はある fact12: 「「人間蝸牛であるしそれに酷使しない」ということは成り立たないとすると投げ掛ける」ものはある fact13: もしもあの舎利は裸一貫でないならば毛深い fact14: 「「あの舎利は察すがしかしＭＩＮＵＳでない」ということは成り立たない」ということは事実だとするとそれは茶色い fact15: もしもあの舎利が裸一貫だが察さないなら毛深い fact16: もし仮に「何かは裸一貫であるが生易しくない」ということは成り立つということはないとしたらそれは秘密工作員だ fact17: 「もし仮に「予想屋だが取り返せない」ということは成り立つということはないならおもろい」物はある ; $hypothesis$ = 「「もしも「裸一貫であるし察さない」ということは真実であるということはないならば毛深い」ものはある」ということは嘘だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「あの舎利は裸一貫だし察す」ということは成り立たないとすると毛深い
事実2: 「もし仮に「調べ易いし更に懇願するということはない」ということは成り立たないとしたら羨ましい」ものはある
事実3: もしも「あの舎利は裸一貫だけれど察さない」ということは嘘であるとしたらそれは毛深い
事実4: 「察すとすれば毛深い」ものはある
事実5: もしも「あの舎利は裸一貫だけど古伊万里でない」ということは成り立たないとしたら退陣する
事実6: 「「裸一貫であるしその上察すということはない」ということは真実であるとすると毛深い」ものはある
事実7: 「もし「蹴上げるし更に早し」ということは事実と異なるとしたら蟠る」ものはある
事実8: 「仮に甘ーいということはないなら物寂しい」ものはある
事実9: 「あるものは母達だがしかし来易くない」ということは成り立たないなら実定刑罰法規だ
事実10: 「裸一貫だということはないならば毛深い」ものはある
事実11: 「もしも「裸一貫であるしその上察す」ということは成り立つということはないなら毛深い」物はある
事実12: 「「人間蝸牛であるしそれに酷使しない」ということは成り立たないとすると投げ掛ける」ものはある
事実13: もしもあの舎利は裸一貫でないならば毛深い
事実14: 「「あの舎利は察すがしかしＭＩＮＵＳでない」ということは成り立たない」ということは事実だとするとそれは茶色い
事実15: もしもあの舎利が裸一貫だが察さないなら毛深い
事実16: もし仮に「何かは裸一貫であるが生易しくない」ということは成り立つということはないとしたらそれは秘密工作員だ
事実17: 「もし仮に「予想屋だが取り返せない」ということは成り立つということはないならおもろい」物はある

仮説: 「「もしも「裸一貫であるし察さない」ということは真実であるということはないならば毛深い」ものはある」ということは嘘だ
1. 事実3から、仮説が否定される

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