「この会計処理等は益無し」ということは真実だ
fact1: もしもとある物が誘拐でないとすれば誘惑しない fact2: もしも「「その使用実績は勝たないがそれは僭称する」ということは成り立つ」ということは成り立たないとするとこの会計処理等は勝つ fact3: とある物が誘惑しないとすると益無し fact4: もしも何かは成せるということはないが誘拐であるとすれば「出発しない」ということは本当である fact5: 仮に「なにがしかの物は成せらないけれど誘拐だ」ということは成り立たないとすると誘惑するということはない fact6: もしとあるものは勝てば「出発する」ということは本当だ fact7: 「その使用実績は勝たないが僭称する」ということは嘘だ fact8: 「その使用実績は勝たないがしかし僭称する」ということは間違いであるとしたらそれは成せるということはない
fact4 -> int1: もし仮にこの会計処理等は成せらないがしかし誘拐なら出発しない; void -> assump1: 以下のように仮定する。この会計処理等は成せらないがそれは誘拐だ; int1 & assump1 -> int2: この会計処理等は出発しない; fact7 & fact2 -> int3: この会計処理等は勝つ; fact6 -> int4: 仮にこの会計処理等が勝つとすればそれは出発する; int3 & int4 -> int5: この会計処理等は出発する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この会計処理等は成せらないけどそれは誘拐だ」ということは嘘である; fact5 -> int8: 仮に「この会計処理等は成せらない一方で誘拐だ」ということは偽であるとすれば誘惑しない; int7 & int8 -> int9: この会計処理等は誘惑しない; fact3 -> int10: もしこの会計処理等が誘惑するということはないなら益無し; int9 & int10 -> hypothesis;
$facts$ = fact1: もしもとある物が誘拐でないとすれば誘惑しない fact2: もしも「「その使用実績は勝たないがそれは僭称する」ということは成り立つ」ということは成り立たないとするとこの会計処理等は勝つ fact3: とある物が誘惑しないとすると益無し fact4: もしも何かは成せるということはないが誘拐であるとすれば「出発しない」ということは本当である fact5: 仮に「なにがしかの物は成せらないけれど誘拐だ」ということは成り立たないとすると誘惑するということはない fact6: もしとあるものは勝てば「出発する」ということは本当だ fact7: 「その使用実績は勝たないが僭称する」ということは嘘だ fact8: 「その使用実績は勝たないがしかし僭称する」ということは間違いであるとしたらそれは成せるということはない ; $hypothesis$ = 「この会計処理等は益無し」ということは真実だ ; $proof$ = 
fact4 -> int1: もし仮にこの会計処理等は成せらないがしかし誘拐なら出発しない; void -> assump1: 以下のように仮定する。この会計処理等は成せらないがそれは誘拐だ; int1 & assump1 -> int2: この会計処理等は出発しない; fact7 & fact2 -> int3: この会計処理等は勝つ; fact6 -> int4: 仮にこの会計処理等が勝つとすればそれは出発する; int3 & int4 -> int5: この会計処理等は出発する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この会計処理等は成せらないけどそれは誘拐だ」ということは嘘である; fact5 -> int8: 仮に「この会計処理等は成せらない一方で誘拐だ」ということは偽であるとすれば誘惑しない; int7 & int8 -> int9: この会計処理等は誘惑しない; fact3 -> int10: もしこの会計処理等が誘惑するということはないなら益無し; int9 & int10 -> hypothesis; __PROVED__
事実1: もしもとある物が誘拐でないとすれば誘惑しない
事実2: もしも「「その使用実績は勝たないがそれは僭称する」ということは成り立つ」ということは成り立たないとするとこの会計処理等は勝つ
事実3: とある物が誘惑しないとすると益無し
事実4: もしも何かは成せるということはないが誘拐であるとすれば「出発しない」ということは本当である
事実5: 仮に「なにがしかの物は成せらないけれど誘拐だ」ということは成り立たないとすると誘惑するということはない
事実6: もしとあるものは勝てば「出発する」ということは本当だ
事実7: 「その使用実績は勝たないが僭称する」ということは嘘だ
事実8: 「その使用実績は勝たないがしかし僭称する」ということは間違いであるとしたらそれは成せるということはない

仮説: 「この会計処理等は益無し」ということは真実だ
1. 事実4から、推論1: "もし仮にこの会計処理等は成せらないがしかし誘拐なら出発しない"が導かれる
2. 仮定1: 以下のように仮定する。この会計処理等は成せらないがそれは誘拐だ
3. 推論1と仮定1から、推論2: "この会計処理等は出発しない"が導かれる
4. 事実7と事実2から、推論3: "この会計処理等は勝つ"が導かれる
5. 事実6から、推論4: "仮にこの会計処理等が勝つとすればそれは出発する"が導かれる
6. 推論3と推論4から、推論5: "この会計処理等は出発する"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この会計処理等は成せらないけどそれは誘拐だ」ということは嘘である"が導かれる
9. 事実5から、推論8: "仮に「この会計処理等は成せらない一方で誘拐だ」ということは偽であるとすれば誘惑しない"が導かれる
10. 推論7と推論8から、推論9: "この会計処理等は誘惑しない"が導かれる
11. 事実3から、推論10: "もしこの会計処理等が誘惑するということはないなら益無し"が導かれる
12. 推論9と推論10から、仮説が導かれる

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