「あの酒池肉林は言い兼ねらない」ということは成り立つ
fact1: 「とある物は離宮である」ということは事実である fact2: もし仮に「国道沿いな」ものがあるならこのインターフェロンは頒布しない一方で離宮だ fact3: もしもとあるものが言い兼ねるとするとそれは離宮だ fact4: もしなにがしかのものが算定し難くないなら言い兼ねるしそれは試論だ fact5: 「その総定数は蠧簡である」ということは本当だ fact6: もし「このインターフェロンは離宮である」ということは成り立つとしたらあの酒池肉林は言い兼ねる fact7: なんらかの物は国道沿いだ fact8: もし「このインターフェロンは言い兼ねる」ということは真実であるならあの酒池肉林は頒布する fact9: もしもこのインターフェロンが頒布しない一方で国道沿いだとすればあの酒池肉林は頒布する fact10: 仮に「とある物は国道沿いであるしその上頒布する」ということは成り立たないとするとそれは言い兼ねるということはない fact11: このインターフェロンは頒布しない fact12: もし「国道沿いである」ものがあるならこのインターフェロンは頒布しない
fact7 & fact2 -> int1: このインターフェロンは頒布しない一方で離宮である; int1 -> int2: 「このインターフェロンは離宮である」ということは本当である; int2 & fact6 -> hypothesis;
fact7 & fact2 -> int1: (¬{B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
あの酒池肉林は言い兼ねらない
fact13 -> int3: もし仮に「あの酒池肉林は国道沿いであるしまたそれは頒布する」ということは確かでないならば言い兼ねるということはない;
$facts$ = fact1: 「とある物は離宮である」ということは事実である fact2: もし仮に「国道沿いな」ものがあるならこのインターフェロンは頒布しない一方で離宮だ fact3: もしもとあるものが言い兼ねるとするとそれは離宮だ fact4: もしなにがしかのものが算定し難くないなら言い兼ねるしそれは試論だ fact5: 「その総定数は蠧簡である」ということは本当だ fact6: もし「このインターフェロンは離宮である」ということは成り立つとしたらあの酒池肉林は言い兼ねる fact7: なんらかの物は国道沿いだ fact8: もし「このインターフェロンは言い兼ねる」ということは真実であるならあの酒池肉林は頒布する fact9: もしもこのインターフェロンが頒布しない一方で国道沿いだとすればあの酒池肉林は頒布する fact10: 仮に「とある物は国道沿いであるしその上頒布する」ということは成り立たないとするとそれは言い兼ねるということはない fact11: このインターフェロンは頒布しない fact12: もし「国道沿いである」ものがあるならこのインターフェロンは頒布しない ; $hypothesis$ = 「あの酒池肉林は言い兼ねらない」ということは成り立つ ; $proof$ = 
fact7 & fact2 -> int1: このインターフェロンは頒布しない一方で離宮である; int1 -> int2: 「このインターフェロンは離宮である」ということは本当である; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 「とある物は離宮である」ということは事実である
事実2: もし仮に「国道沿いな」ものがあるならこのインターフェロンは頒布しない一方で離宮だ
事実3: もしもとあるものが言い兼ねるとするとそれは離宮だ
事実4: もしなにがしかのものが算定し難くないなら言い兼ねるしそれは試論だ
事実5: 「その総定数は蠧簡である」ということは本当だ
事実6: もし「このインターフェロンは離宮である」ということは成り立つとしたらあの酒池肉林は言い兼ねる
事実7: なんらかの物は国道沿いだ
事実8: もし「このインターフェロンは言い兼ねる」ということは真実であるならあの酒池肉林は頒布する
事実9: もしもこのインターフェロンが頒布しない一方で国道沿いだとすればあの酒池肉林は頒布する
事実10: 仮に「とある物は国道沿いであるしその上頒布する」ということは成り立たないとするとそれは言い兼ねるということはない
事実11: このインターフェロンは頒布しない
事実12: もし「国道沿いである」ものがあるならこのインターフェロンは頒布しない

仮説: 「あの酒池肉林は言い兼ねらない」ということは成り立つ
1. 事実7と事実2から、推論1: "このインターフェロンは頒布しない一方で離宮である"が導かれる
2. 推論1から、推論2: "「このインターフェロンは離宮である」ということは本当である"が導かれる
3. 推論2と事実6から、仮説が否定される

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