「この身体変化は課業でない」ということは事実である
fact1: あの武人は騙せる fact2: もしもあるものは騙せらなくてしかも汚れ易いということはないとするとそれは病理組織像である fact3: この振り駒は高額化する fact4: もしあの膝下は病理組織像であるならば「あの武人は病理組織像だがしかし組織変更しない」ということは誤りだ fact5: あの社会認識が騙せるならあの膝下は騙せらないしそれは汚れ易くない fact6: 汚れ易いものは組織変更する fact7: もし「なにがしかのものはずっとする」ということは真実であるならば騙せる fact8: この当該包括外部監査対象団体は高額化する fact9: 「あの武人は病理組織像だ一方で組織変更しない」ということは成り立たないとするとこの身体変化は課業でない fact10: なにがしかの物が高額化するし筋金入りならあの社会認識はずっとする fact11: もしもなんらかのものが高額化すればそれは課業だ fact12: 「あの武人は病理組織像でかつ組織変更する」ということは成り立たない fact13: この当該包括外部監査対象団体は筋金入りである
fact8 & fact13 -> int1: この当該包括外部監査対象団体は高額化するしまた筋金入りである; int1 -> int2: 何かは高額化するししかも筋金入りだ; int2 & fact10 -> int3: 「あの社会認識はずっとする」ということは真実だ; fact7 -> int4: もしもあの社会認識がずっとするとすれば騙せる; int3 & int4 -> int5: あの社会認識は騙せる; int5 & fact5 -> int6: あの膝下は騙せらないしまたそれは汚れ易いということはない; fact2 -> int7: もしあの膝下が騙せらないし汚れ易くないならば病理組織像である; int6 & int7 -> int8: あの膝下は病理組織像だ; int8 & fact4 -> int9: 「あの武人は病理組織像である一方で組織変更しない」ということは成り立つということはない; int9 & fact9 -> hypothesis;
「この身体変化は課業である」ということは成り立つ
fact14 -> int10: 仮に「この身体変化は高額化する」ということは間違いでないならば「それは課業である」ということは成り立つ;
$facts$ = fact1: あの武人は騙せる fact2: もしもあるものは騙せらなくてしかも汚れ易いということはないとするとそれは病理組織像である fact3: この振り駒は高額化する fact4: もしあの膝下は病理組織像であるならば「あの武人は病理組織像だがしかし組織変更しない」ということは誤りだ fact5: あの社会認識が騙せるならあの膝下は騙せらないしそれは汚れ易くない fact6: 汚れ易いものは組織変更する fact7: もし「なにがしかのものはずっとする」ということは真実であるならば騙せる fact8: この当該包括外部監査対象団体は高額化する fact9: 「あの武人は病理組織像だ一方で組織変更しない」ということは成り立たないとするとこの身体変化は課業でない fact10: なにがしかの物が高額化するし筋金入りならあの社会認識はずっとする fact11: もしもなんらかのものが高額化すればそれは課業だ fact12: 「あの武人は病理組織像でかつ組織変更する」ということは成り立たない fact13: この当該包括外部監査対象団体は筋金入りである ; $hypothesis$ = 「この身体変化は課業でない」ということは事実である ; $proof$ = 
fact8 & fact13 -> int1: この当該包括外部監査対象団体は高額化するしまた筋金入りである; int1 -> int2: 何かは高額化するししかも筋金入りだ; int2 & fact10 -> int3: 「あの社会認識はずっとする」ということは真実だ; fact7 -> int4: もしもあの社会認識がずっとするとすれば騙せる; int3 & int4 -> int5: あの社会認識は騙せる; int5 & fact5 -> int6: あの膝下は騙せらないしまたそれは汚れ易いということはない; fact2 -> int7: もしあの膝下が騙せらないし汚れ易くないならば病理組織像である; int6 & int7 -> int8: あの膝下は病理組織像だ; int8 & fact4 -> int9: 「あの武人は病理組織像である一方で組織変更しない」ということは成り立つということはない; int9 & fact9 -> hypothesis; __PROVED__
事実1: あの武人は騙せる
事実2: もしもあるものは騙せらなくてしかも汚れ易いということはないとするとそれは病理組織像である
事実3: この振り駒は高額化する
事実4: もしあの膝下は病理組織像であるならば「あの武人は病理組織像だがしかし組織変更しない」ということは誤りだ
事実5: あの社会認識が騙せるならあの膝下は騙せらないしそれは汚れ易くない
事実6: 汚れ易いものは組織変更する
事実7: もし「なにがしかのものはずっとする」ということは真実であるならば騙せる
事実8: この当該包括外部監査対象団体は高額化する
事実9: 「あの武人は病理組織像だ一方で組織変更しない」ということは成り立たないとするとこの身体変化は課業でない
事実10: なにがしかの物が高額化するし筋金入りならあの社会認識はずっとする
事実11: もしもなんらかのものが高額化すればそれは課業だ
事実12: 「あの武人は病理組織像でかつ組織変更する」ということは成り立たない
事実13: この当該包括外部監査対象団体は筋金入りである

仮説: 「この身体変化は課業でない」ということは事実である
1. 事実8と事実13から、推論1: "この当該包括外部監査対象団体は高額化するしまた筋金入りである"が導かれる
2. 推論1から、推論2: "何かは高額化するししかも筋金入りだ"が導かれる
3. 推論2と事実10から、推論3: "「あの社会認識はずっとする」ということは真実だ"が導かれる
4. 事実7から、推論4: "もしもあの社会認識がずっとするとすれば騙せる"が導かれる
5. 推論3と推論4から、推論5: "あの社会認識は騙せる"が導かれる
6. 推論5と事実5から、推論6: "あの膝下は騙せらないしまたそれは汚れ易いということはない"が導かれる
7. 事実2から、推論7: "もしあの膝下が騙せらないし汚れ易くないならば病理組織像である"が導かれる
8. 推論6と推論7から、推論8: "あの膝下は病理組織像だ"が導かれる
9. 推論8と事実4から、推論9: "「あの武人は病理組織像である一方で組織変更しない」ということは成り立つということはない"が導かれる
10. 推論9と事実9から、仮説が導かれる

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