この打数は全面積でないかもしくは兄弟子達でないかまたは両方である
fact1: 「あの一般的知識は難くてそれに仕上がりである」ということは成り立つということはない fact2: 仮に「「あの一般的知識は難くないが仕上がりだ」ということは確かだ」ということは成り立たないならば「それは兄弟子達でない」ということは成り立つ fact3: この打数は全面積であるかもしくは兄弟子達でないか両方である fact4: この打数は仕上がりでない fact5: もしその情報は書き立てないならば「その楽句は発願しない一方でそれは通じ難い」ということは誤りである fact6: もしも「あの悪戯書きは行き詰まる一方で晴々しかない」ということは事実でないならそれは晴々しい fact7: もし何かは泣き付くし更に晴々しいとするとそれは参政でない fact8: もしあの悪戯書きが参政でないならばあの挙上法は掛け易くないけれどそれは難い fact9: もし「あの悪戯書きは投資簿価であるけど泣き付かない」ということは間違っているとしたら泣き付く fact10: もしあの一般的知識が兄弟子達でないとすればこの打数は全面積であるかあるいは兄弟子達でない fact11: もしも「あの一般的知識は難い」ということは確かなら兄弟子達だということはない fact12: 「あの悪戯書きは行き詰まるけれど晴々しかない」ということは間違いである fact13: もし仮にその情報が当該貨物であるしおまけに発願するとしたらそれは仕上がりでない fact14: 「その楽句は書き立てるなら「この打数は全面積でないかもしくは兄弟子達だということはないかまたはどちらもである」ということは成り立たない」ということは成り立つ fact15: もし仮にその情報は兄弟子達でないなら「この打数は当該貨物だし更に兄弟子達である」ということは成り立つということはない fact16: もし「あの一般的知識は兄弟子達だということはない」ということは本当なら「この打数は全面積でないかまたはそれは兄弟子達でない」ということは確かである fact17: 仮にその楽句が書き立てないとすればその情報は当該貨物だ fact18: 仮にその情報は仕上がりでないとしたら「あの一般的知識は難くないが仕上がりだ」ということは成り立たない fact19: その楽句は発願しない fact20: この打数は全面積だということはないかもしくはそれは兄弟子達である fact21: 仮にあの一般的知識が兄弟子達でないとすればこの打数は全面積でないかまたはそれは兄弟子達であるかまたはどちらもである fact22: あの一般的知識は発願しない fact23: その情報は発願する fact24: その楽句は書き立てない fact25: 「あの悪戯書きは投資簿価だが泣き付かない」ということは事実と異なる
fact17 & fact24 -> int1: その情報は当該貨物だ; int1 & fact23 -> int2: その情報は当該貨物だしまた発願する; int2 & fact13 -> int3: その情報は仕上がりでない; int3 & fact18 -> int4: 「あの一般的知識は難くないけれど仕上がりである」ということは嘘である; int4 & fact2 -> int5: あの一般的知識は兄弟子達だということはない; int5 & fact16 -> hypothesis;
「その楽句は発願しないけれどそれは通じ難い」ということは間違いだ
$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: その楽句は書き立てない fact25: 「あの悪戯書きは投資簿価だが泣き付かない」ということは事実と異なる ; $hypothesis$ = この打数は全面積でないかもしくは兄弟子達でないかまたは両方である ; $proof$ = 
fact17 & fact24 -> int1: その情報は当該貨物だ; int1 & fact23 -> int2: その情報は当該貨物だしまた発願する; int2 & fact13 -> int3: その情報は仕上がりでない; int3 & fact18 -> int4: 「あの一般的知識は難くないけれど仕上がりである」ということは嘘である; int4 & fact2 -> int5: あの一般的知識は兄弟子達だということはない; int5 & fact16 -> 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: その楽句は書き立てない
事実25: 「あの悪戯書きは投資簿価だが泣き付かない」ということは事実と異なる

仮説: この打数は全面積でないかもしくは兄弟子達でないかまたは両方である
1. 事実17と事実24から、推論1: "その情報は当該貨物だ"が導かれる
2. 推論1と事実23から、推論2: "その情報は当該貨物だしまた発願する"が導かれる
3. 推論2と事実13から、推論3: "その情報は仕上がりでない"が導かれる
4. 推論3と事実18から、推論4: "「あの一般的知識は難くないけれど仕上がりである」ということは嘘である"が導かれる
5. 推論4と事実2から、推論5: "あの一般的知識は兄弟子達だということはない"が導かれる
6. 推論5と事実16から、仮説が導かれる

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