このダンスホールは曲舞だ
fact1: もし仮に何らかのものが八月生まれだとしたらそれは青し fact2: もしもこのダンスホールが成仏出来るということはないかそれが鱗形でないとしたらあの手作り遊具は曲舞である fact3: 「もしあるものが青しなら聞き辛い」ということは事実だ fact4: この父母は曲舞である fact5: この反芻は区別し易い fact6: このダンスホールはデザイン化する fact7: 仮にその知人達が聞き辛いとするとこのダンスホールは鱗形でないけれど償還期限である fact8: このダンスホールは曲舞である fact9: このダンスホールはごきぶりだ fact10: あのフランス社会は曲舞である fact11: その理法は曲舞だ fact12: 仮に「「八月生まれでなくておまけに外れ掛ける」ということは本当でない」物があればその知人達は八月生まれだ fact13: もしこの反芻は区別し易いとすれば「この記号論は遅しない一方で古事である」ということは成り立たない fact14: このダンスホールは詰まり易い fact15: 「もしも「何らかのものは遅しないが古事だ」ということは成り立たないとすればそれは切れ易いということはない」ということは成り立つ fact16: 「そのＩＳＢＮは曲舞である」ということは事実である fact17: このダンスホールはデータだ fact18: とあるものは切れ易くないなら「それは八月生まれでなくてまたそれは外れ掛ける」ということは誤っている
fact8 -> hypothesis;
あの手作り遊具は曲舞である
fact20 -> int1: その知人達が青しとすれば聞き辛い; fact24 -> int2: もしもその知人達が八月生まれだとしたらそれは青し; fact23 -> int3: もしもこの記号論は切れ易くないなら「八月生まれでないししかも外れ掛ける」ということは間違いだ; fact26 -> int4: もし「この記号論は遅しないがしかし古事である」ということは成り立たないならそれは切れ易くない; fact27 & fact25 -> int5: 「この記号論は遅しないがしかし古事である」ということは誤りである; int4 & int5 -> int6: 「この記号論は切れ易くない」ということは本当だ; int3 & int6 -> int7: 「この記号論は八月生まれでない一方で外れ掛ける」ということは成り立たない; int7 -> int8: 「「八月生まれでないけど外れ掛ける」ということは偽な」ものはある; int8 & fact19 -> int9: その知人達は八月生まれだ; int2 & int9 -> int10: その知人達は青し; int1 & int10 -> int11: その知人達は聞き辛い; fact22 & int11 -> int12: このダンスホールは鱗形でないがしかし償還期限だ; int12 -> int13: このダンスホールは鱗形でない; int13 -> int14: このダンスホールは成仏出来るということはないかまたは鱗形だということはないかまたは両方だ; fact21 & int14 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものが八月生まれだとしたらそれは青し fact2: もしもこのダンスホールが成仏出来るということはないかそれが鱗形でないとしたらあの手作り遊具は曲舞である fact3: 「もしあるものが青しなら聞き辛い」ということは事実だ fact4: この父母は曲舞である fact5: この反芻は区別し易い fact6: このダンスホールはデザイン化する fact7: 仮にその知人達が聞き辛いとするとこのダンスホールは鱗形でないけれど償還期限である fact8: このダンスホールは曲舞である fact9: このダンスホールはごきぶりだ fact10: あのフランス社会は曲舞である fact11: その理法は曲舞だ fact12: 仮に「「八月生まれでなくておまけに外れ掛ける」ということは本当でない」物があればその知人達は八月生まれだ fact13: もしこの反芻は区別し易いとすれば「この記号論は遅しない一方で古事である」ということは成り立たない fact14: このダンスホールは詰まり易い fact15: 「もしも「何らかのものは遅しないが古事だ」ということは成り立たないとすればそれは切れ易いということはない」ということは成り立つ fact16: 「そのＩＳＢＮは曲舞である」ということは事実である fact17: このダンスホールはデータだ fact18: とあるものは切れ易くないなら「それは八月生まれでなくてまたそれは外れ掛ける」ということは誤っている ; $hypothesis$ = このダンスホールは曲舞だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものが八月生まれだとしたらそれは青し
事実2: もしもこのダンスホールが成仏出来るということはないかそれが鱗形でないとしたらあの手作り遊具は曲舞である
事実3: 「もしあるものが青しなら聞き辛い」ということは事実だ
事実4: この父母は曲舞である
事実5: この反芻は区別し易い
事実6: このダンスホールはデザイン化する
事実7: 仮にその知人達が聞き辛いとするとこのダンスホールは鱗形でないけれど償還期限である
事実8: このダンスホールは曲舞である
事実9: このダンスホールはごきぶりだ
事実10: あのフランス社会は曲舞である
事実11: その理法は曲舞だ
事実12: 仮に「「八月生まれでなくておまけに外れ掛ける」ということは本当でない」物があればその知人達は八月生まれだ
事実13: もしこの反芻は区別し易いとすれば「この記号論は遅しない一方で古事である」ということは成り立たない
事実14: このダンスホールは詰まり易い
事実15: 「もしも「何らかのものは遅しないが古事だ」ということは成り立たないとすればそれは切れ易いということはない」ということは成り立つ
事実16: 「そのＩＳＢＮは曲舞である」ということは事実である
事実17: このダンスホールはデータだ
事実18: とあるものは切れ易くないなら「それは八月生まれでなくてまたそれは外れ掛ける」ということは誤っている

仮説: このダンスホールは曲舞だ
1. 事実8から、仮説が導かれる

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