その有事法案は奮い起こすということはないし設備償却費でない
fact1: 「誤解し易くない」ものはあるとしたら「その有事法案は設備償却費であるし誤解し易い」ということは成り立たない fact2: もしあの日米安保条約が誤解し易くないとしたらこの教科領域はＪＡＷＯＣでないし思い易くない fact3: なんらかの物は誤解し易いということはない fact4: 「その剣突くは不味いし奮い起こす」ということは本当でない fact5: もしその剣突くは及び腰ならば「その有事法案は奮い起こすということはなくてまたそれは設備償却費でない」ということは偽だ fact6: 「とある物が設備償却費だしおまけにそれは誤解し易い」ということは成り立たないなら設備償却費でない fact7: あるものは奮い起こさないとすれば「それが及び腰でなくてその上思い易いということはない」ということは成り立たない fact8: もし仮にこのＡＸ間が誤解し易くないけれど苛立たしいとすればあの日米安保条約は誤解し易くない fact9: もし仮にこの教科領域が及び腰ならばその剣突くは及び腰だ fact10: 「及び腰でない」ものがあればその剣突くは嘲らないし思い易くない fact11: 設備償却費は奮い起こさない fact12: もしもその剣突くが嘲るということはないしその上思い易いないとしたらその有事法案は奮い起こさない fact13: 及び腰は嘲るということはない fact14: 仮にこのＡＸ間が恭しいとしたら連れ戻すしさらにいちゃつかない fact15: 荒々しくないものは誤解し易くないけれど苛立たしい fact16: もし仮にこのＡＸ間は連れ戻すがいちゃつかないならそれは荒々しくない fact17: 「及び腰だということはない」物はある
fact17 & fact10 -> int1: その剣突くは嘲らないしそれは思い易くない; int1 & fact12 -> int2: その有事法案は奮い起こさない; fact6 -> int3: もしも「その有事法案は設備償却費であるしそれに誤解し易い」ということは事実と異なれば設備償却費でない; fact1 & fact3 -> int4: 「その有事法案は設備償却費であるしおまけに誤解し易い」ということは偽だ; int3 & int4 -> int5: その有事法案は設備償却費でない; int2 & int5 -> hypothesis;
そのコピー＆ペーストは嘲るということはない
fact20 -> int6: 仮にそのコピー＆ペーストは及び腰であるなら嘲らない; fact18 -> int7: もしその剣突くは奮い起こさないとすれば「それは及び腰であるということはないしかつ思い易いということはない」ということは嘘である; fact19 -> int8: もしその剣突くが設備償却費だとするとそれは奮い起こすということはない;
$facts$ = fact1: 「誤解し易くない」ものはあるとしたら「その有事法案は設備償却費であるし誤解し易い」ということは成り立たない fact2: もしあの日米安保条約が誤解し易くないとしたらこの教科領域はＪＡＷＯＣでないし思い易くない fact3: なんらかの物は誤解し易いということはない fact4: 「その剣突くは不味いし奮い起こす」ということは本当でない fact5: もしその剣突くは及び腰ならば「その有事法案は奮い起こすということはなくてまたそれは設備償却費でない」ということは偽だ fact6: 「とある物が設備償却費だしおまけにそれは誤解し易い」ということは成り立たないなら設備償却費でない fact7: あるものは奮い起こさないとすれば「それが及び腰でなくてその上思い易いということはない」ということは成り立たない fact8: もし仮にこのＡＸ間が誤解し易くないけれど苛立たしいとすればあの日米安保条約は誤解し易くない fact9: もし仮にこの教科領域が及び腰ならばその剣突くは及び腰だ fact10: 「及び腰でない」ものがあればその剣突くは嘲らないし思い易くない fact11: 設備償却費は奮い起こさない fact12: もしもその剣突くが嘲るということはないしその上思い易いないとしたらその有事法案は奮い起こさない fact13: 及び腰は嘲るということはない fact14: 仮にこのＡＸ間が恭しいとしたら連れ戻すしさらにいちゃつかない fact15: 荒々しくないものは誤解し易くないけれど苛立たしい fact16: もし仮にこのＡＸ間は連れ戻すがいちゃつかないならそれは荒々しくない fact17: 「及び腰だということはない」物はある ; $hypothesis$ = その有事法案は奮い起こすということはないし設備償却費でない ; $proof$ = 
fact17 & fact10 -> int1: その剣突くは嘲らないしそれは思い易くない; int1 & fact12 -> int2: その有事法案は奮い起こさない; fact6 -> int3: もしも「その有事法案は設備償却費であるしそれに誤解し易い」ということは事実と異なれば設備償却費でない; fact1 & fact3 -> int4: 「その有事法案は設備償却費であるしおまけに誤解し易い」ということは偽だ; int3 & int4 -> int5: その有事法案は設備償却費でない; int2 & int5 -> hypothesis; __PROVED__
事実1: 「誤解し易くない」ものはあるとしたら「その有事法案は設備償却費であるし誤解し易い」ということは成り立たない
事実2: もしあの日米安保条約が誤解し易くないとしたらこの教科領域はＪＡＷＯＣでないし思い易くない
事実3: なんらかの物は誤解し易いということはない
事実4: 「その剣突くは不味いし奮い起こす」ということは本当でない
事実5: もしその剣突くは及び腰ならば「その有事法案は奮い起こすということはなくてまたそれは設備償却費でない」ということは偽だ
事実6: 「とある物が設備償却費だしおまけにそれは誤解し易い」ということは成り立たないなら設備償却費でない
事実7: あるものは奮い起こさないとすれば「それが及び腰でなくてその上思い易いということはない」ということは成り立たない
事実8: もし仮にこのＡＸ間が誤解し易くないけれど苛立たしいとすればあの日米安保条約は誤解し易くない
事実9: もし仮にこの教科領域が及び腰ならばその剣突くは及び腰だ
事実10: 「及び腰でない」ものがあればその剣突くは嘲らないし思い易くない
事実11: 設備償却費は奮い起こさない
事実12: もしもその剣突くが嘲るということはないしその上思い易いないとしたらその有事法案は奮い起こさない
事実13: 及び腰は嘲るということはない
事実14: 仮にこのＡＸ間が恭しいとしたら連れ戻すしさらにいちゃつかない
事実15: 荒々しくないものは誤解し易くないけれど苛立たしい
事実16: もし仮にこのＡＸ間は連れ戻すがいちゃつかないならそれは荒々しくない
事実17: 「及び腰だということはない」物はある

仮説: その有事法案は奮い起こすということはないし設備償却費でない
1. 事実17と事実10から、推論1: "その剣突くは嘲らないしそれは思い易くない"が導かれる
2. 推論1と事実12から、推論2: "その有事法案は奮い起こさない"が導かれる
3. 事実6から、推論3: "もしも「その有事法案は設備償却費であるしそれに誤解し易い」ということは事実と異なれば設備償却費でない"が導かれる
4. 事実1と事実3から、推論4: "「その有事法案は設備償却費であるしおまけに誤解し易い」ということは偽だ"が導かれる
5. 推論3と推論4から、推論5: "その有事法案は設備償却費でない"が導かれる
6. 推論2と推論5から、仮説が導かれる

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