そのＸ‐ＳＣＩＤは人間業だし授業する
fact1: もし仮にその攻撃本能が授業しないならばそのＸ‐ＳＣＩＤは人間業であるし授業する fact2: 「仮に「とあるものは合い挽き肉であるしがさがさする」ということは間違いであるとすれば姉らしくない」ということは真実である fact3: あの公園等は電装品である fact4: もし仮に「その攻撃本能は授業するけどそれは神秘化しない」ということは確かでないならばこのＨＳＬは神秘化しない fact5: あの公園等は愛し fact6: 辛いということはない物は愛ししその上人間業である fact7: もしあの研究協議会は錆無いとすれば「その攻撃本能は授業するけれど神秘化するということはない」ということは本当でない fact8: 仮にあの公園等は愛しとすれば「あの研究協議会は身の上でなくてそれは電装品でない」ということは成り立たない fact9: あの研究協議会は身の上でない fact10: 仮に身の上が電装品だということはないとしたら総事業費である fact11: もし仮に「その非居住者は姉らしいということはない」ということは真実であるとすれば「その音痴は姉らしいということはない」ということは成り立つ fact12: 仮に何かは従えらないとすれば「それが合い挽き肉だしその上がさはさする」ということは誤りである fact13: その滑走路は従える fact14: その滑走路は行い続ける fact15: もし仮にその攻撃本能は神秘化するしさらに授業するなら総事業費でない fact16: もしもその攻撃本能が総事業費でないとすればあの研究協議会は身の上でない fact17: あの公園等が辛くてさらに解説文であるとしたらそのＸ‐ＳＣＩＤは辛くない fact18: もし仮に何かは総事業費だとするとそれは錆無い fact19: 仮にその音痴が姉らしいということはないとすればあの公園等は辛いし解説文だ fact20: その攻撃本能は錆無くて神秘化する fact21: 「その攻撃本能は任せ切らない」ということは本当だ fact22: もしも「その滑走路は従えるしそれにそれは行い続ける」ということは成り立つならその非居住者は従えらない fact23: もし仮にその攻撃本能が総事業費でないならあの研究協議会は身の上でないしまた電装品でない
fact20 -> int1: その攻撃本能は神秘化する; void -> assump1: 以下のように仮定する。その攻撃本能は授業する; int1 & assump1 -> int2: その攻撃本能は神秘化するしおまけに授業する; int2 & fact15 -> int3: その攻撃本能は総事業費でない; int3 & fact23 -> int4: あの研究協議会は身の上でないしさらに電装品だということはない; fact8 & fact5 -> int5: 「あの研究協議会は身の上でなくてその上電装品でない」ということは間違っている; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その攻撃本能は授業するということはない; int7 & fact1 -> hypothesis;
このＨＳＬは神秘化しない
fact34 -> int8: もしもあの研究協議会は総事業費であるとすると錆無い; fact29 -> int9: 仮にあの研究協議会は身の上だ一方で電装品だということはないとしたら「総事業費である」ということは正しい; fact33 -> int10: 「仮にそのＸ‐ＳＣＩＤが辛くないとすればそのＸ‐ＳＣＩＤは愛ししかつそれは人間業だ」ということは正しい; fact25 -> int11: もし仮に「その非居住者は合い挽き肉であるしがさがさする」ということは成り立たないならそれは姉らしくない; fact26 -> int12: もし仮にその非居住者は従えらないとしたら「それは合い挽き肉だしがさがさする」ということは誤りだ; fact36 & fact27 -> int13: その滑走路は従えるし加えて行い続ける; fact28 & int13 -> int14: その非居住者は従えるということはない; int12 & int14 -> int15: 「その非居住者は合い挽き肉でそれはがさがさする」ということは事実と異なる; int11 & int15 -> int16: その非居住者は姉らしくない; fact31 & int16 -> int17: その音痴は姉らしくない; fact30 & int17 -> int18: あの公園等は辛いし更に解説文である; fact35 & int18 -> int19: そのＸ‐ＳＣＩＤは辛いということはない; int10 & int19 -> int20: そのＸ‐ＳＣＩＤは愛しし人間業である; int20 -> int21: そのＸ‐ＳＣＩＤは愛し; int21 -> int22: 「愛し」ものはある;
$facts$ = fact1: もし仮にその攻撃本能が授業しないならばそのＸ‐ＳＣＩＤは人間業であるし授業する fact2: 「仮に「とあるものは合い挽き肉であるしがさがさする」ということは間違いであるとすれば姉らしくない」ということは真実である fact3: あの公園等は電装品である fact4: もし仮に「その攻撃本能は授業するけどそれは神秘化しない」ということは確かでないならばこのＨＳＬは神秘化しない fact5: あの公園等は愛し fact6: 辛いということはない物は愛ししその上人間業である fact7: もしあの研究協議会は錆無いとすれば「その攻撃本能は授業するけれど神秘化するということはない」ということは本当でない fact8: 仮にあの公園等は愛しとすれば「あの研究協議会は身の上でなくてそれは電装品でない」ということは成り立たない fact9: あの研究協議会は身の上でない fact10: 仮に身の上が電装品だということはないとしたら総事業費である fact11: もし仮に「その非居住者は姉らしいということはない」ということは真実であるとすれば「その音痴は姉らしいということはない」ということは成り立つ fact12: 仮に何かは従えらないとすれば「それが合い挽き肉だしその上がさはさする」ということは誤りである fact13: その滑走路は従える fact14: その滑走路は行い続ける fact15: もし仮にその攻撃本能は神秘化するしさらに授業するなら総事業費でない fact16: もしもその攻撃本能が総事業費でないとすればあの研究協議会は身の上でない fact17: あの公園等が辛くてさらに解説文であるとしたらそのＸ‐ＳＣＩＤは辛くない fact18: もし仮に何かは総事業費だとするとそれは錆無い fact19: 仮にその音痴が姉らしいということはないとすればあの公園等は辛いし解説文だ fact20: その攻撃本能は錆無くて神秘化する fact21: 「その攻撃本能は任せ切らない」ということは本当だ fact22: もしも「その滑走路は従えるしそれにそれは行い続ける」ということは成り立つならその非居住者は従えらない fact23: もし仮にその攻撃本能が総事業費でないならあの研究協議会は身の上でないしまた電装品でない ; $hypothesis$ = そのＸ‐ＳＣＩＤは人間業だし授業する ; $proof$ = 
fact20 -> int1: その攻撃本能は神秘化する; void -> assump1: 以下のように仮定する。その攻撃本能は授業する; int1 & assump1 -> int2: その攻撃本能は神秘化するしおまけに授業する; int2 & fact15 -> int3: その攻撃本能は総事業費でない; int3 & fact23 -> int4: あの研究協議会は身の上でないしさらに電装品だということはない; fact8 & fact5 -> int5: 「あの研究協議会は身の上でなくてその上電装品でない」ということは間違っている; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その攻撃本能は授業するということはない; int7 & fact1 -> 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: もし仮にその攻撃本能が総事業費でないならあの研究協議会は身の上でないしまた電装品でない

仮説: そのＸ‐ＳＣＩＤは人間業だし授業する
1. 事実20から、推論1: "その攻撃本能は神秘化する"が導かれる
2. 仮定1: 以下のように仮定する。その攻撃本能は授業する
3. 推論1と仮定1から、推論2: "その攻撃本能は神秘化するしおまけに授業する"が導かれる
4. 推論2と事実15から、推論3: "その攻撃本能は総事業費でない"が導かれる
5. 推論3と事実23から、推論4: "あの研究協議会は身の上でないしさらに電装品だということはない"が導かれる
6. 事実8と事実5から、推論5: "「あの研究協議会は身の上でなくてその上電装品でない」ということは間違っている"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その攻撃本能は授業するということはない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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