「その御守は移り易いがしかしそれはすこくない」ということは事実と異なる
fact1: もしもなんらかのものは移り易いとしたら「出れるということはないしそれは切り難い」ということは成り立たない fact2: もし仮に「「「すこいということはなくて主食でない」ということは偽な」物はある」ということは本当ならばその御守は駐屯でない fact3: もしこのプリントダイアログが出れるとしたらあの同ページは出れない一方で主食だ fact4: 仮に「出れなくて主食である」ものがあるとすればその専有面積はすこい fact5: 何かは倒せるということはないかまたはそれが茶色いということはないとしたらそれは順バイアス状態でない fact6: その意志は順バイアス状態でないけれど全壊する fact7: もしその専有面積はすこいとすれば「その御守は移り易いがしかしそれはすこくない」ということは嘘である fact8: 何もかもは移り易いしさらに全壊する fact9: 仮にとあるものが駐屯でないなら倒せないかあるいはそれは茶色くないかまたはどちらもだ fact10: 仮にその意志が順バイアス状態でない一方で全壊するとしたらこのクラブフェースは駐屯である fact11: もし仮になんらかのものが倒せるとするとそれは移り易いがしかしすこくない fact12: もしも「このクラブフェースは出れないけど切り難い」ということは間違っているとすると「その御守は切り難い」ということは成り立つ fact13: もし仮にこのクラブフェースが茶色くないしかつ倒せないならばその御守は倒せる fact14: もしも何らかの物が倒せなくて加えてそれが茶色くないとするとこのクラブフェースは駐屯でない fact15: 「このプリントダイアログはすこくないししかも主食であるということはない」ということは成り立たない fact16: もし仮に「この細胞説は倒せないしそれは茶色くない」ということは成り立たないとすればこのプリントダイアログは出れる
void -> assump1: 以下のように仮定する。この細胞説は倒せないし茶色くない; assump1 -> int1: 「倒せないししかも茶色くない」物はある; int1 & fact14 -> int2: このクラブフェースは駐屯でない; fact6 & fact10 -> int3: このクラブフェースは駐屯である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この細胞説は倒せなくて茶色くない」ということは誤りである; int5 & fact16 -> int6: 「このプリントダイアログは出れない」ということは成り立たない; int6 & fact3 -> int7: あの同ページは出れないがそれは主食だ; int7 -> int8: なんらかの物は出れないが主食だ; int8 & fact4 -> int9: その専有面積はすこい; int9 & fact7 -> hypothesis;
その御守は順バイアス状態だということはないけれどそれは切り難い
fact21 -> int10: もしもその御守は倒せるということはないかあるいは茶色くないかどちらもであるとすると「順バイアス状態でない」ということは事実である; fact18 -> int11: その御守が駐屯でないなら倒せないかまたはそれは茶色くない; fact20 -> int12: 「「すこくないししかも主食でない」ということは誤っている」ものはある; int12 & fact22 -> int13: その御守は駐屯でない; int11 & int13 -> int14: その御守は倒せないかもしくはそれは茶色いということはないかもしくはどちらもだ; int10 & int14 -> int15: その御守は順バイアス状態でない; fact17 -> int16: もし仮に「このクラブフェースは移り易い」ということは誤りであるということはないなら「それは出れないけど切り難い」ということは誤りだ; fact23 -> int17: このクラブフェースは移り易いしさらに全壊する; int17 -> int18: このクラブフェースは移り易い; int16 & int18 -> int19: 「このクラブフェースは出れないけどそれは切り難い」ということは成り立たない; fact19 & int19 -> int20: その御守は切り難い; int15 & int20 -> hypothesis;
$facts$ = fact1: もしもなんらかのものは移り易いとしたら「出れるということはないしそれは切り難い」ということは成り立たない fact2: もし仮に「「「すこいということはなくて主食でない」ということは偽な」物はある」ということは本当ならばその御守は駐屯でない fact3: もしこのプリントダイアログが出れるとしたらあの同ページは出れない一方で主食だ fact4: 仮に「出れなくて主食である」ものがあるとすればその専有面積はすこい fact5: 何かは倒せるということはないかまたはそれが茶色いということはないとしたらそれは順バイアス状態でない fact6: その意志は順バイアス状態でないけれど全壊する fact7: もしその専有面積はすこいとすれば「その御守は移り易いがしかしそれはすこくない」ということは嘘である fact8: 何もかもは移り易いしさらに全壊する fact9: 仮にとあるものが駐屯でないなら倒せないかあるいはそれは茶色くないかまたはどちらもだ fact10: 仮にその意志が順バイアス状態でない一方で全壊するとしたらこのクラブフェースは駐屯である fact11: もし仮になんらかのものが倒せるとするとそれは移り易いがしかしすこくない fact12: もしも「このクラブフェースは出れないけど切り難い」ということは間違っているとすると「その御守は切り難い」ということは成り立つ fact13: もし仮にこのクラブフェースが茶色くないしかつ倒せないならばその御守は倒せる fact14: もしも何らかの物が倒せなくて加えてそれが茶色くないとするとこのクラブフェースは駐屯でない fact15: 「このプリントダイアログはすこくないししかも主食であるということはない」ということは成り立たない fact16: もし仮に「この細胞説は倒せないしそれは茶色くない」ということは成り立たないとすればこのプリントダイアログは出れる ; $hypothesis$ = 「その御守は移り易いがしかしそれはすこくない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この細胞説は倒せないし茶色くない; assump1 -> int1: 「倒せないししかも茶色くない」物はある; int1 & fact14 -> int2: このクラブフェースは駐屯でない; fact6 & fact10 -> int3: このクラブフェースは駐屯である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この細胞説は倒せなくて茶色くない」ということは誤りである; int5 & fact16 -> int6: 「このプリントダイアログは出れない」ということは成り立たない; int6 & fact3 -> int7: あの同ページは出れないがそれは主食だ; int7 -> int8: なんらかの物は出れないが主食だ; int8 & fact4 -> int9: その専有面積はすこい; int9 & fact7 -> hypothesis; __PROVED__
事実1: もしもなんらかのものは移り易いとしたら「出れるということはないしそれは切り難い」ということは成り立たない
事実2: もし仮に「「「すこいということはなくて主食でない」ということは偽な」物はある」ということは本当ならばその御守は駐屯でない
事実3: もしこのプリントダイアログが出れるとしたらあの同ページは出れない一方で主食だ
事実4: 仮に「出れなくて主食である」ものがあるとすればその専有面積はすこい
事実5: 何かは倒せるということはないかまたはそれが茶色いということはないとしたらそれは順バイアス状態でない
事実6: その意志は順バイアス状態でないけれど全壊する
事実7: もしその専有面積はすこいとすれば「その御守は移り易いがしかしそれはすこくない」ということは嘘である
事実8: 何もかもは移り易いしさらに全壊する
事実9: 仮にとあるものが駐屯でないなら倒せないかあるいはそれは茶色くないかまたはどちらもだ
事実10: 仮にその意志が順バイアス状態でない一方で全壊するとしたらこのクラブフェースは駐屯である
事実11: もし仮になんらかのものが倒せるとするとそれは移り易いがしかしすこくない
事実12: もしも「このクラブフェースは出れないけど切り難い」ということは間違っているとすると「その御守は切り難い」ということは成り立つ
事実13: もし仮にこのクラブフェースが茶色くないしかつ倒せないならばその御守は倒せる
事実14: もしも何らかの物が倒せなくて加えてそれが茶色くないとするとこのクラブフェースは駐屯でない
事実15: 「このプリントダイアログはすこくないししかも主食であるということはない」ということは成り立たない
事実16: もし仮に「この細胞説は倒せないしそれは茶色くない」ということは成り立たないとすればこのプリントダイアログは出れる

仮説: 「その御守は移り易いがしかしそれはすこくない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この細胞説は倒せないし茶色くない
2. 仮定1から、推論1: "「倒せないししかも茶色くない」物はある"が導かれる
3. 推論1と事実14から、推論2: "このクラブフェースは駐屯でない"が導かれる
4. 事実6と事実10から、推論3: "このクラブフェースは駐屯である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この細胞説は倒せなくて茶色くない」ということは誤りである"が導かれる
7. 推論5と事実16から、推論6: "「このプリントダイアログは出れない」ということは成り立たない"が導かれる
8. 推論6と事実3から、推論7: "あの同ページは出れないがそれは主食だ"が導かれる
9. 推論7から、推論8: "なんらかの物は出れないが主食だ"が導かれる
10. 推論8と事実4から、推論9: "その専有面積はすこい"が導かれる
11. 推論9と事実7から、仮説が導かれる

よって、仮説が証明されました。