とある物は送稿するし秒単位だ
fact1: その血溜まりが息苦しいならばその軽微違反行為は秒単位だ fact2: 仮にその血溜まりが前払いするとすればそれは息苦しい fact3: その血溜まりは息苦しいししかも会話らしい fact4: 「あの高機能自閉症は前払いするけれど覚めない」ということは成り立たない fact5: もし仮に「この組み方は副官だ」ということは成り立つとしたらその軽微違反行為はこそばゆい fact6: もしもその再挑戦がリークしないがそれが学級編制だとすればこの組み方は副官だ fact7: もし何かはこそばゆいとすると送稿する fact8: もし仮にその軽微違反行為は秒単位だとすれば「前払いしない」ということは成り立つ fact9: もしもその再挑戦がリークしないなら副官だ fact10: 引用部分はリークしない一方で学級編制である fact11: もしも「あの高機能自閉症は前払いするがしかし覚めない」ということは成り立たないならそれはアプローチし易い fact12: もしあの高機能自閉症がアプローチし易いとしたらその再挑戦は引用部分である
fact11 & fact4 -> int1: あの高機能自閉症はアプローチし易い; int1 & fact12 -> int2: 「その再挑戦は引用部分である」ということは成り立つ; fact10 -> int3: もし「その再挑戦は引用部分である」ということは真実だとすればそれはリークするということはないが学級編制だ; int2 & int3 -> int4: その再挑戦はリークしないけど学級編制だ; int4 & fact6 -> int5: この組み方は副官だ; int5 & fact5 -> int6: その軽微違反行為はこそばゆい; fact7 -> int7: もし仮にその軽微違反行為がこそばゆいならば送稿する; int6 & int7 -> int8: その軽微違反行為は送稿する; fact3 -> int9: その血溜まりは息苦しい; fact1 & int9 -> int10: その軽微違反行為は秒単位だ; int8 & int10 -> int11: その軽微違反行為は送稿するししかも秒単位だ; int11 -> hypothesis;
$facts$ = fact1: その血溜まりが息苦しいならばその軽微違反行為は秒単位だ fact2: 仮にその血溜まりが前払いするとすればそれは息苦しい fact3: その血溜まりは息苦しいししかも会話らしい fact4: 「あの高機能自閉症は前払いするけれど覚めない」ということは成り立たない fact5: もし仮に「この組み方は副官だ」ということは成り立つとしたらその軽微違反行為はこそばゆい fact6: もしもその再挑戦がリークしないがそれが学級編制だとすればこの組み方は副官だ fact7: もし何かはこそばゆいとすると送稿する fact8: もし仮にその軽微違反行為は秒単位だとすれば「前払いしない」ということは成り立つ fact9: もしもその再挑戦がリークしないなら副官だ fact10: 引用部分はリークしない一方で学級編制である fact11: もしも「あの高機能自閉症は前払いするがしかし覚めない」ということは成り立たないならそれはアプローチし易い fact12: もしあの高機能自閉症がアプローチし易いとしたらその再挑戦は引用部分である ; $hypothesis$ = とある物は送稿するし秒単位だ ; $proof$ = 
fact11 & fact4 -> int1: あの高機能自閉症はアプローチし易い; int1 & fact12 -> int2: 「その再挑戦は引用部分である」ということは成り立つ; fact10 -> int3: もし「その再挑戦は引用部分である」ということは真実だとすればそれはリークするということはないが学級編制だ; int2 & int3 -> int4: その再挑戦はリークしないけど学級編制だ; int4 & fact6 -> int5: この組み方は副官だ; int5 & fact5 -> int6: その軽微違反行為はこそばゆい; fact7 -> int7: もし仮にその軽微違反行為がこそばゆいならば送稿する; int6 & int7 -> int8: その軽微違反行為は送稿する; fact3 -> int9: その血溜まりは息苦しい; fact1 & int9 -> int10: その軽微違反行為は秒単位だ; int8 & int10 -> int11: その軽微違反行為は送稿するししかも秒単位だ; int11 -> hypothesis; __PROVED__
事実1: その血溜まりが息苦しいならばその軽微違反行為は秒単位だ
事実2: 仮にその血溜まりが前払いするとすればそれは息苦しい
事実3: その血溜まりは息苦しいししかも会話らしい
事実4: 「あの高機能自閉症は前払いするけれど覚めない」ということは成り立たない
事実5: もし仮に「この組み方は副官だ」ということは成り立つとしたらその軽微違反行為はこそばゆい
事実6: もしもその再挑戦がリークしないがそれが学級編制だとすればこの組み方は副官だ
事実7: もし何かはこそばゆいとすると送稿する
事実8: もし仮にその軽微違反行為は秒単位だとすれば「前払いしない」ということは成り立つ
事実9: もしもその再挑戦がリークしないなら副官だ
事実10: 引用部分はリークしない一方で学級編制である
事実11: もしも「あの高機能自閉症は前払いするがしかし覚めない」ということは成り立たないならそれはアプローチし易い
事実12: もしあの高機能自閉症がアプローチし易いとしたらその再挑戦は引用部分である

仮説: とある物は送稿するし秒単位だ
1. 事実11と事実4から、推論1: "あの高機能自閉症はアプローチし易い"が導かれる
2. 推論1と事実12から、推論2: "「その再挑戦は引用部分である」ということは成り立つ"が導かれる
3. 事実10から、推論3: "もし「その再挑戦は引用部分である」ということは真実だとすればそれはリークするということはないが学級編制だ"が導かれる
4. 推論2と推論3から、推論4: "その再挑戦はリークしないけど学級編制だ"が導かれる
5. 推論4と事実6から、推論5: "この組み方は副官だ"が導かれる
6. 推論5と事実5から、推論6: "その軽微違反行為はこそばゆい"が導かれる
7. 事実7から、推論7: "もし仮にその軽微違反行為がこそばゆいならば送稿する"が導かれる
8. 推論6と推論7から、推論8: "その軽微違反行為は送稿する"が導かれる
9. 事実3から、推論9: "その血溜まりは息苦しい"が導かれる
10. 事実1と推論9から、推論10: "その軽微違反行為は秒単位だ"が導かれる
11. 推論8と推論10から、推論11: "その軽微違反行為は送稿するししかも秒単位だ"が導かれる
12. 推論11から、仮説が導かれる

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