「その勝利宣言は安っぽいということはないけれどそれは審査請求期間だ」ということは成り立つということはない
fact1: 仮に「その物理的移動は温かい」ということは成り立つなら「平べったい」ということは確かである fact2: もし仮に何らかの物は学道しないとすれば「それは安っぽくないが審査請求期間である」ということは真実でない fact3: 「その物理的移動は参加し易い」ということは成り立つ fact4: もしもその物理的移動が平べったいなら学道しないか観察し易いかもしくはどちらもである fact5: 仮にその勝利宣言が審査請求期間でないけど形成され易いとしたら温かくない fact6: すべては審査請求期間でそれは形成され易い fact7: もし「その四書は筆線であるということはないけどそれは参加し易い」ということは本当でないならばあの勝利宣言は安っぽくない fact8: その物理的移動は折する fact9: 仮にその物理的移動は審査請求期間であるとすればそれは安っぽいかあるいは観察し易い fact10: 仮に「その勝利宣言は参加し易い」ということは間違いでないならそれは安っぽいかもしくはそれは形成され易い fact11: 全てのものは形成され易い fact12: もし仮にその四書が筆線でないけど参加し易いとしたらそれは経文でない fact13: 仮にその四書が観察し易いということはなくて学道しないとするとその勝利宣言は学道しない fact14: その物理的移動は温かい fact15: もしその四書は経文でないとすれば「その物理的移動は学道しないかそれは観察し易いかもしくはどちらもだ」ということは事実と異なる fact16: その勝利宣言は経文だということはないがそれは形成され易い
void -> assump1: 以下のように仮定する。その四書は筆線だということはないがしかしそれは参加し易い; fact12 & assump1 -> int1: 「その四書は経文だということはない」ということは誤っていない; int1 & fact15 -> int2: 「その物理的移動は学道しないかもしくはそれは観察し易いかもしくは両方だ」ということは誤りだ; fact1 & fact14 -> int3: 「その物理的移動は平べったい」ということは真実である; int3 & fact4 -> int4: その物理的移動は学道しないかもしくは観察し易いかどちらもである; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その四書は筆線でない一方で参加し易い」ということは偽である; int6 & fact7 -> int7: その勝利宣言は安っぽくない; fact6 -> int8: その勝利宣言は審査請求期間でかつそれは形成され易い; int8 -> int9: その勝利宣言は審査請求期間だ; int7 & int9 -> hypothesis;
「その勝利宣言は安っぽくない一方でそれは審査請求期間である」ということは真実でない
fact17 -> int10: 仮にその勝利宣言は学道しないならば「安っぽいということはないししかもそれは審査請求期間である」ということは間違いである;
$facts$ = fact1: 仮に「その物理的移動は温かい」ということは成り立つなら「平べったい」ということは確かである fact2: もし仮に何らかの物は学道しないとすれば「それは安っぽくないが審査請求期間である」ということは真実でない fact3: 「その物理的移動は参加し易い」ということは成り立つ fact4: もしもその物理的移動が平べったいなら学道しないか観察し易いかもしくはどちらもである fact5: 仮にその勝利宣言が審査請求期間でないけど形成され易いとしたら温かくない fact6: すべては審査請求期間でそれは形成され易い fact7: もし「その四書は筆線であるということはないけどそれは参加し易い」ということは本当でないならばあの勝利宣言は安っぽくない fact8: その物理的移動は折する fact9: 仮にその物理的移動は審査請求期間であるとすればそれは安っぽいかあるいは観察し易い fact10: 仮に「その勝利宣言は参加し易い」ということは間違いでないならそれは安っぽいかもしくはそれは形成され易い fact11: 全てのものは形成され易い fact12: もし仮にその四書が筆線でないけど参加し易いとしたらそれは経文でない fact13: 仮にその四書が観察し易いということはなくて学道しないとするとその勝利宣言は学道しない fact14: その物理的移動は温かい fact15: もしその四書は経文でないとすれば「その物理的移動は学道しないかそれは観察し易いかもしくはどちらもだ」ということは事実と異なる fact16: その勝利宣言は経文だということはないがそれは形成され易い ; $hypothesis$ = 「その勝利宣言は安っぽいということはないけれどそれは審査請求期間だ」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その四書は筆線だということはないがしかしそれは参加し易い; fact12 & assump1 -> int1: 「その四書は経文だということはない」ということは誤っていない; int1 & fact15 -> int2: 「その物理的移動は学道しないかもしくはそれは観察し易いかもしくは両方だ」ということは誤りだ; fact1 & fact14 -> int3: 「その物理的移動は平べったい」ということは真実である; int3 & fact4 -> int4: その物理的移動は学道しないかもしくは観察し易いかどちらもである; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その四書は筆線でない一方で参加し易い」ということは偽である; int6 & fact7 -> int7: その勝利宣言は安っぽくない; fact6 -> int8: その勝利宣言は審査請求期間でかつそれは形成され易い; int8 -> int9: その勝利宣言は審査請求期間だ; int7 & int9 -> hypothesis; __DISPROVED__
事実1: 仮に「その物理的移動は温かい」ということは成り立つなら「平べったい」ということは確かである
事実2: もし仮に何らかの物は学道しないとすれば「それは安っぽくないが審査請求期間である」ということは真実でない
事実3: 「その物理的移動は参加し易い」ということは成り立つ
事実4: もしもその物理的移動が平べったいなら学道しないか観察し易いかもしくはどちらもである
事実5: 仮にその勝利宣言が審査請求期間でないけど形成され易いとしたら温かくない
事実6: すべては審査請求期間でそれは形成され易い
事実7: もし「その四書は筆線であるということはないけどそれは参加し易い」ということは本当でないならばあの勝利宣言は安っぽくない
事実8: その物理的移動は折する
事実9: 仮にその物理的移動は審査請求期間であるとすればそれは安っぽいかあるいは観察し易い
事実10: 仮に「その勝利宣言は参加し易い」ということは間違いでないならそれは安っぽいかもしくはそれは形成され易い
事実11: 全てのものは形成され易い
事実12: もし仮にその四書が筆線でないけど参加し易いとしたらそれは経文でない
事実13: 仮にその四書が観察し易いということはなくて学道しないとするとその勝利宣言は学道しない
事実14: その物理的移動は温かい
事実15: もしその四書は経文でないとすれば「その物理的移動は学道しないかそれは観察し易いかもしくはどちらもだ」ということは事実と異なる
事実16: その勝利宣言は経文だということはないがそれは形成され易い

仮説: 「その勝利宣言は安っぽいということはないけれどそれは審査請求期間だ」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その四書は筆線だということはないがしかしそれは参加し易い
2. 事実12と仮定1から、推論1: "「その四書は経文だということはない」ということは誤っていない"が導かれる
3. 推論1と事実15から、推論2: "「その物理的移動は学道しないかもしくはそれは観察し易いかもしくは両方だ」ということは誤りだ"が導かれる
4. 事実1と事実14から、推論3: "「その物理的移動は平べったい」ということは真実である"が導かれる
5. 推論3と事実4から、推論4: "その物理的移動は学道しないかもしくは観察し易いかどちらもである"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その四書は筆線でない一方で参加し易い」ということは偽である"が導かれる
8. 推論6と事実7から、推論7: "その勝利宣言は安っぽくない"が導かれる
9. 事実6から、推論8: "その勝利宣言は審査請求期間でかつそれは形成され易い"が導かれる
10. 推論8から、推論9: "その勝利宣言は審査請求期間だ"が導かれる
11. 推論7と推論9から、仮説が否定される

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