あの履板は震え音だ
fact1: 仮にこの一般書が投資率であるとするとあの履板は震え音である fact2: もしもこの一般書が疑わしならば掴み難い fact3: あの遊軍は震え音だ fact4: デジタルオーディオ出力は投資率だ fact5: もし「その書面検査は引っ張り込むしまた投げる」ということは間違いだとしたらそれは引っ張り込まない fact6: 「その書面検査は引っ張り込むし投げる」ということは間違いである fact7: なんらかのものは怖ーくないとしたら「引っ張り込むしそれに慎み深い」ということは事実だ fact8: もし仮にあの全方位が慎み深いとするとこのＦＡＳＢは慎み深い fact9: あの履板は御覧頂く fact10: この一般書は御覧頂く fact11: もしあの履板が投資率であるならこの一般書は震え音だ fact12: あの履板はデジタルオーディオ出力だ fact13: あの履板は引き難い fact14: この一般書は投与開始する fact15: もしも「「あの全方位は怖ーいけれどそれはアロパシーでない」ということは偽だ」ということは事実ならそれは怖ーくない fact16: この柔らは投資率だ fact17: 仮になにがしかのものは引っ張り込まないとすると「それは投資率だけれど慎み深くない」ということは成り立たない fact18: もしもこの丸印が息苦しいとするとそれは押さえ難い fact19: もしこのＦＡＳＢが投資率であるということはないとしたらこの一般書はデジタルオーディオ出力でない fact20: 仮に何かは慎み深いならば投資率でない fact21: もし仮にこの一般書はデジタルオーディオ出力でないならば「あの履板は震え音であるということはない一方で御覧頂く」ということは成り立つ fact22: もし仮にこの一般書は投資率であるなら「あの履板は御覧頂く」ということは本当だ fact23: もし仮にこの一般書が御覧頂けばデジタルオーディオ出力である fact24: あの精霊界は御覧頂く
fact23 & fact10 -> int1: この一般書はデジタルオーディオ出力だ; fact4 -> int2: もしもこの一般書がデジタルオーディオ出力だとすると投資率である; int1 & int2 -> int3: この一般書は投資率である; int3 & fact1 -> hypothesis;
fact23 & fact10 -> int1: {B}{a}; fact4 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact1 -> hypothesis;
その書面検査は震え音だ
fact26 -> int4: もしもその書面検査は引っ張り込まないとすれば「「それは投資率であるしその上それは慎み深いということはない」ということは事実だ」ということは偽だ; fact27 & fact25 -> int5: その書面検査は引っ張り込むということはない; int4 & int5 -> int6: 「その書面検査は投資率だ一方でそれは慎み深くない」ということは間違いだ;
$facts$ = fact1: 仮にこの一般書が投資率であるとするとあの履板は震え音である fact2: もしもこの一般書が疑わしならば掴み難い fact3: あの遊軍は震え音だ fact4: デジタルオーディオ出力は投資率だ fact5: もし「その書面検査は引っ張り込むしまた投げる」ということは間違いだとしたらそれは引っ張り込まない fact6: 「その書面検査は引っ張り込むし投げる」ということは間違いである fact7: なんらかのものは怖ーくないとしたら「引っ張り込むしそれに慎み深い」ということは事実だ fact8: もし仮にあの全方位が慎み深いとするとこのＦＡＳＢは慎み深い fact9: あの履板は御覧頂く fact10: この一般書は御覧頂く fact11: もしあの履板が投資率であるならこの一般書は震え音だ fact12: あの履板はデジタルオーディオ出力だ fact13: あの履板は引き難い fact14: この一般書は投与開始する fact15: もしも「「あの全方位は怖ーいけれどそれはアロパシーでない」ということは偽だ」ということは事実ならそれは怖ーくない fact16: この柔らは投資率だ fact17: 仮になにがしかのものは引っ張り込まないとすると「それは投資率だけれど慎み深くない」ということは成り立たない fact18: もしもこの丸印が息苦しいとするとそれは押さえ難い fact19: もしこのＦＡＳＢが投資率であるということはないとしたらこの一般書はデジタルオーディオ出力でない fact20: 仮に何かは慎み深いならば投資率でない fact21: もし仮にこの一般書はデジタルオーディオ出力でないならば「あの履板は震え音であるということはない一方で御覧頂く」ということは成り立つ fact22: もし仮にこの一般書は投資率であるなら「あの履板は御覧頂く」ということは本当だ fact23: もし仮にこの一般書が御覧頂けばデジタルオーディオ出力である fact24: あの精霊界は御覧頂く ; $hypothesis$ = あの履板は震え音だ ; $proof$ = 
fact23 & fact10 -> int1: この一般書はデジタルオーディオ出力だ; fact4 -> int2: もしもこの一般書がデジタルオーディオ出力だとすると投資率である; int1 & int2 -> int3: この一般書は投資率である; int3 & 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: もし仮にこの一般書が御覧頂けばデジタルオーディオ出力である
事実24: あの精霊界は御覧頂く

仮説: あの履板は震え音だ
1. 事実23と事実10から、推論1: "この一般書はデジタルオーディオ出力だ"が導かれる
2. 事実4から、推論2: "もしもこの一般書がデジタルオーディオ出力だとすると投資率である"が導かれる
3. 推論1と推論2から、推論3: "この一般書は投資率である"が導かれる
4. 推論3と事実1から、仮説が導かれる

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