「このコードビューは切り裂く」ということは成り立つ
fact1: もし仮に「このコードビューは切り裂かない」ということは事実だとすると「それは大別しなくてそれは塗り易くない」ということは成り立つということはない fact2: なんらかの物が切り裂くとすればそれは飛躍的進展でないか注入速度であるか両方である fact3: 仮に「なにがしかのものが転落するしその上出走出来る」ということは成り立たないならばそれは転落しない fact4: このチェーン店は転落しない fact5: 「この文法的素性は頼み難くないか大別するかあるいは両方だ」ということは成り立つということはない fact6: もしこの文法的素性が頼み難くないとしたら塗り易い fact7: 「もしもこの文法的素性が塗り易いならこのコードビューは塗り易いか頼み難いかあるいは両方だ」ということは成り立つ fact8: 仮にこの文法的素性が飛躍的進展だとするとこのコードビューは飛躍的進展でないかあるいは切り裂くか両方ともだ fact9: もし仮にあの民族性が飛躍的進展でなくてしかも立ち後れでないとするとこの文法的素性は飛躍的進展であるということはない fact10: 「この桜見物はバージョンアップしないか切り裂く」ということは間違っている fact11: もしこの最前面はヘッドセットでないならば「転落するし加えて出走出来る」ということは偽である fact12: 「このコードビューは大別しなくて塗り易くない」ということは成り立たないなら「この桜見物は頼み難い」ということは本当である fact13: 仮にこの文法的素性は転落しないとすると「頼み難くないかあるいはそれは飛躍的進展だ」ということは偽だ fact14: この文法的素性は転落しない fact15: 仮に「ある物は転落するということはない」ということは真実であるならばそれは切り裂くししかもそれは頼み難い fact16: もしもこの桜見物が頼み難いならばこの文法的素性は頼み難いということはないかもしくはそれは飛躍的進展である fact17: 仮にこの文法的素性は転落しないとすると「頼み難いがしかし塗り易くない」ということは事実でない fact18: 仮にこの桜見物は飛躍的進展でないならば「それは転落しないか頼み難い」ということは誤っている
void -> assump1: 以下のように仮定する。このコードビューは切り裂かない; fact1 & assump1 -> int1: 「このコードビューは大別しないしそれは塗り易くない」ということは成り立たない; int1 & fact12 -> int2: この桜見物は頼み難い; int2 & fact16 -> int3: この文法的素性は頼み難くないかあるいはそれは飛躍的進展であるかまたはどちらもだ; fact13 & fact14 -> int4: 「この文法的素性は頼み難くないかもしくは飛躍的進展であるかあるいは両方である」ということは成り立たない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
このコードビューは切り裂かない
$facts$ = fact1: もし仮に「このコードビューは切り裂かない」ということは事実だとすると「それは大別しなくてそれは塗り易くない」ということは成り立つということはない fact2: なんらかの物が切り裂くとすればそれは飛躍的進展でないか注入速度であるか両方である fact3: 仮に「なにがしかのものが転落するしその上出走出来る」ということは成り立たないならばそれは転落しない fact4: このチェーン店は転落しない fact5: 「この文法的素性は頼み難くないか大別するかあるいは両方だ」ということは成り立つということはない fact6: もしこの文法的素性が頼み難くないとしたら塗り易い fact7: 「もしもこの文法的素性が塗り易いならこのコードビューは塗り易いか頼み難いかあるいは両方だ」ということは成り立つ fact8: 仮にこの文法的素性が飛躍的進展だとするとこのコードビューは飛躍的進展でないかあるいは切り裂くか両方ともだ fact9: もし仮にあの民族性が飛躍的進展でなくてしかも立ち後れでないとするとこの文法的素性は飛躍的進展であるということはない fact10: 「この桜見物はバージョンアップしないか切り裂く」ということは間違っている fact11: もしこの最前面はヘッドセットでないならば「転落するし加えて出走出来る」ということは偽である fact12: 「このコードビューは大別しなくて塗り易くない」ということは成り立たないなら「この桜見物は頼み難い」ということは本当である fact13: 仮にこの文法的素性は転落しないとすると「頼み難くないかあるいはそれは飛躍的進展だ」ということは偽だ fact14: この文法的素性は転落しない fact15: 仮に「ある物は転落するということはない」ということは真実であるならばそれは切り裂くししかもそれは頼み難い fact16: もしもこの桜見物が頼み難いならばこの文法的素性は頼み難いということはないかもしくはそれは飛躍的進展である fact17: 仮にこの文法的素性は転落しないとすると「頼み難いがしかし塗り易くない」ということは事実でない fact18: 仮にこの桜見物は飛躍的進展でないならば「それは転落しないか頼み難い」ということは誤っている ; $hypothesis$ = 「このコードビューは切り裂く」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。このコードビューは切り裂かない; fact1 & assump1 -> int1: 「このコードビューは大別しないしそれは塗り易くない」ということは成り立たない; int1 & fact12 -> int2: この桜見物は頼み難い; int2 & fact16 -> int3: この文法的素性は頼み難くないかあるいはそれは飛躍的進展であるかまたはどちらもだ; fact13 & fact14 -> int4: 「この文法的素性は頼み難くないかもしくは飛躍的進展であるかあるいは両方である」ということは成り立たない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「このコードビューは切り裂かない」ということは事実だとすると「それは大別しなくてそれは塗り易くない」ということは成り立つということはない
事実2: なんらかの物が切り裂くとすればそれは飛躍的進展でないか注入速度であるか両方である
事実3: 仮に「なにがしかのものが転落するしその上出走出来る」ということは成り立たないならばそれは転落しない
事実4: このチェーン店は転落しない
事実5: 「この文法的素性は頼み難くないか大別するかあるいは両方だ」ということは成り立つということはない
事実6: もしこの文法的素性が頼み難くないとしたら塗り易い
事実7: 「もしもこの文法的素性が塗り易いならこのコードビューは塗り易いか頼み難いかあるいは両方だ」ということは成り立つ
事実8: 仮にこの文法的素性が飛躍的進展だとするとこのコードビューは飛躍的進展でないかあるいは切り裂くか両方ともだ
事実9: もし仮にあの民族性が飛躍的進展でなくてしかも立ち後れでないとするとこの文法的素性は飛躍的進展であるということはない
事実10: 「この桜見物はバージョンアップしないか切り裂く」ということは間違っている
事実11: もしこの最前面はヘッドセットでないならば「転落するし加えて出走出来る」ということは偽である
事実12: 「このコードビューは大別しなくて塗り易くない」ということは成り立たないなら「この桜見物は頼み難い」ということは本当である
事実13: 仮にこの文法的素性は転落しないとすると「頼み難くないかあるいはそれは飛躍的進展だ」ということは偽だ
事実14: この文法的素性は転落しない
事実15: 仮に「ある物は転落するということはない」ということは真実であるならばそれは切り裂くししかもそれは頼み難い
事実16: もしもこの桜見物が頼み難いならばこの文法的素性は頼み難いということはないかもしくはそれは飛躍的進展である
事実17: 仮にこの文法的素性は転落しないとすると「頼み難いがしかし塗り易くない」ということは事実でない
事実18: 仮にこの桜見物は飛躍的進展でないならば「それは転落しないか頼み難い」ということは誤っている

仮説: 「このコードビューは切り裂く」ということは成り立つ
1. 仮定1: 以下のように仮定する。このコードビューは切り裂かない
2. 事実1と仮定1から、推論1: "「このコードビューは大別しないしそれは塗り易くない」ということは成り立たない"が導かれる
3. 推論1と事実12から、推論2: "この桜見物は頼み難い"が導かれる
4. 推論2と事実16から、推論3: "この文法的素性は頼み難くないかあるいはそれは飛躍的進展であるかまたはどちらもだ"が導かれる
5. 事実13と事実14から、推論4: "「この文法的素性は頼み難くないかもしくは飛躍的進展であるかあるいは両方である」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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