「この杵はカテゴリ分けしない」ということは本当である
fact1: もしこの分速が離れ難いとすればあの順序は踊り回る fact2: もし仮に何らかのものが頬張るしかつそれが岡田ファーム監督だとするとそれはカテゴリ分けしない fact3: 仮になにがしかの物が離れ難くないならばそれは二年生まれでなくて加えて飛躍でない fact4: この分速は飛躍でない fact5: 「この分速は二年生まれでないけど飛躍だ」ということは間違っている fact6: 「この杵は踊り回るし加えて扱われ方だ」ということは真実である fact7: この順序は急速静注するしそれは熊手である fact8: この必須アミノ酸は若くないし加えて飛躍であるということはない fact9: 仮に何らかのものはジュリでないなら得易いししかも睦まじい fact10: この順序は離れ難い fact11: もし仮にこのキリスト者は得易くて身体行為だとするとそれは岡田ファーム監督でない fact12: もし仮にこの杵が岡田ファーム監督だしさらに頬張るとすればそれは二年生まれでない fact13: 「この分速は二年生まれでなくてしかも飛躍でない」ということは事実と異なる fact14: この分速は頬張る fact15: このキリスト者は身体行為だ fact16: もしもこの杵が二年生まれだとすればこの分速は頬張る fact17: このキリスト者はジュリでない fact18: もしこの分速が離れ難いということはないとするとそれは飛躍でない fact19: この順序は岡田ファーム監督である fact20: もしもこの順序が踊り回るならばあの杵は頬張る fact21: なんらかのものが踊り回らないならそれはカテゴリ分けするしおまけにそれは離れ難い fact22: この杵は岡田ファーム監督である fact23: もしも「そのゴム長は踊り回るしおまけに頬張る」ということは事実でないならばこの順序は離れ難くない fact24: 離れ難くない物は飛躍でない
fact3 -> int1: もし仮にこの分速が離れ難くないとするとそれは二年生まれでなくて更に飛躍でない; void -> assump1: 以下のように仮定する。この分速は離れ難くない; int1 & assump1 -> int2: この分速は二年生まれでないし飛躍でない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: この分速は離れ難い; int4 & fact1 -> int5: この順序は踊り回る; int5 & fact20 -> int6: この杵は頬張る; int6 & fact22 -> int7: この杵は頬張るしおまけに岡田ファーム監督だ; fact2 -> int8: もしこの杵が頬張るし更にそれが岡田ファーム監督ならカテゴリ分けしない; int7 & int8 -> hypothesis;
この杵はカテゴリ分けする
fact25 -> int9: もしこの杵が踊り回らないならそれがカテゴリ分けするしその上離れ難い;
$facts$ = fact1: もしこの分速が離れ難いとすればあの順序は踊り回る fact2: もし仮に何らかのものが頬張るしかつそれが岡田ファーム監督だとするとそれはカテゴリ分けしない fact3: 仮になにがしかの物が離れ難くないならばそれは二年生まれでなくて加えて飛躍でない fact4: この分速は飛躍でない fact5: 「この分速は二年生まれでないけど飛躍だ」ということは間違っている fact6: 「この杵は踊り回るし加えて扱われ方だ」ということは真実である fact7: この順序は急速静注するしそれは熊手である fact8: この必須アミノ酸は若くないし加えて飛躍であるということはない fact9: 仮に何らかのものはジュリでないなら得易いししかも睦まじい fact10: この順序は離れ難い fact11: もし仮にこのキリスト者は得易くて身体行為だとするとそれは岡田ファーム監督でない fact12: もし仮にこの杵が岡田ファーム監督だしさらに頬張るとすればそれは二年生まれでない fact13: 「この分速は二年生まれでなくてしかも飛躍でない」ということは事実と異なる fact14: この分速は頬張る fact15: このキリスト者は身体行為だ fact16: もしもこの杵が二年生まれだとすればこの分速は頬張る fact17: このキリスト者はジュリでない fact18: もしこの分速が離れ難いということはないとするとそれは飛躍でない fact19: この順序は岡田ファーム監督である fact20: もしもこの順序が踊り回るならばあの杵は頬張る fact21: なんらかのものが踊り回らないならそれはカテゴリ分けするしおまけにそれは離れ難い fact22: この杵は岡田ファーム監督である fact23: もしも「そのゴム長は踊り回るしおまけに頬張る」ということは事実でないならばこの順序は離れ難くない fact24: 離れ難くない物は飛躍でない ; $hypothesis$ = 「この杵はカテゴリ分けしない」ということは本当である ; $proof$ = 
fact3 -> int1: もし仮にこの分速が離れ難くないとするとそれは二年生まれでなくて更に飛躍でない; void -> assump1: 以下のように仮定する。この分速は離れ難くない; int1 & assump1 -> int2: この分速は二年生まれでないし飛躍でない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: この分速は離れ難い; int4 & fact1 -> int5: この順序は踊り回る; int5 & fact20 -> int6: この杵は頬張る; int6 & fact22 -> int7: この杵は頬張るしおまけに岡田ファーム監督だ; fact2 -> int8: もしこの杵が頬張るし更にそれが岡田ファーム監督ならカテゴリ分けしない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしこの分速が離れ難いとすればあの順序は踊り回る
事実2: もし仮に何らかのものが頬張るしかつそれが岡田ファーム監督だとするとそれはカテゴリ分けしない
事実3: 仮になにがしかの物が離れ難くないならばそれは二年生まれでなくて加えて飛躍でない
事実4: この分速は飛躍でない
事実5: 「この分速は二年生まれでないけど飛躍だ」ということは間違っている
事実6: 「この杵は踊り回るし加えて扱われ方だ」ということは真実である
事実7: この順序は急速静注するしそれは熊手である
事実8: この必須アミノ酸は若くないし加えて飛躍であるということはない
事実9: 仮に何らかのものはジュリでないなら得易いししかも睦まじい
事実10: この順序は離れ難い
事実11: もし仮にこのキリスト者は得易くて身体行為だとするとそれは岡田ファーム監督でない
事実12: もし仮にこの杵が岡田ファーム監督だしさらに頬張るとすればそれは二年生まれでない
事実13: 「この分速は二年生まれでなくてしかも飛躍でない」ということは事実と異なる
事実14: この分速は頬張る
事実15: このキリスト者は身体行為だ
事実16: もしもこの杵が二年生まれだとすればこの分速は頬張る
事実17: このキリスト者はジュリでない
事実18: もしこの分速が離れ難いということはないとするとそれは飛躍でない
事実19: この順序は岡田ファーム監督である
事実20: もしもこの順序が踊り回るならばあの杵は頬張る
事実21: なんらかのものが踊り回らないならそれはカテゴリ分けするしおまけにそれは離れ難い
事実22: この杵は岡田ファーム監督である
事実23: もしも「そのゴム長は踊り回るしおまけに頬張る」ということは事実でないならばこの順序は離れ難くない
事実24: 離れ難くない物は飛躍でない

仮説: 「この杵はカテゴリ分けしない」ということは本当である
1. 事実3から、推論1: "もし仮にこの分速が離れ難くないとするとそれは二年生まれでなくて更に飛躍でない"が導かれる
2. 仮定1: 以下のように仮定する。この分速は離れ難くない
3. 推論1と仮定1から、推論2: "この分速は二年生まれでないし飛躍でない"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この分速は離れ難い"が導かれる
6. 推論4と事実1から、推論5: "この順序は踊り回る"が導かれる
7. 推論5と事実20から、推論6: "この杵は頬張る"が導かれる
8. 推論6と事実22から、推論7: "この杵は頬張るしおまけに岡田ファーム監督だ"が導かれる
9. 事実2から、推論8: "もしこの杵が頬張るし更にそれが岡田ファーム監督ならカテゴリ分けしない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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