あの囀りは弛み無くない
fact1: 地鳥は措置しないかもしくは御知らせ下さらないかもしくは両方だ fact2: もし仮にこの本数は御知らせ下さるしおまけに弛み無いとしたら「あの囀りは措置しない」ということは本当である fact3: 仮になんらかのものは天使らしいとしたら「弛み無くなくてかつそれは御知らせ下さらない」ということは誤っている fact4: あの囀りは天使らしい fact5: その自費は巧まない fact6: 「この本数は措置する」ということは成り立つ fact7: 「もし仮に「その自費は起こし易いしまた高い」ということは事実と異なるとすればこの本数は高くない」ということは真実だ fact8: もしもあの囀りが御知らせ下さるし加えて弛み無いとするとこの本数は措置しない fact9: 仮にとある物が措置するということはないかあるいはそれは御知らせ下さらないかもしくはどちらもだとすればそれは弛み無い fact10: あの囀りは御知らせ下さる fact11: もし仮になにかは房でないしさらに堪え切れないならその実験手法は地鳥である fact12: 地鳥は措置する fact13: 「この本数は答え易くない」ということは成り立つ fact14: あの夫婦共同生活は御知らせ下さる fact15: この本数が措置するし弛み無いならばあの囀りは御知らせ下さらない fact16: 高くないものは房でないししかも堪え切れない fact17: 「あの囀りは天使らしくないししかも高いということはない」ということは偽だとしたらそれは堪え切れない fact18: 「高い」ものはある fact19: もしもその自費は巧むということはないならば「起こし易くてかつそれは高い」ということは間違いだ
void -> assump1: 以下のように仮定する。あの囀りは弛み無い; fact10 & assump1 -> int1: あの囀りは御知らせ下さるし弛み無い; int1 & fact8 -> int2: この本数は措置しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その実験手法は措置するしミニョネットである
fact21 -> int4: もし仮にその実験手法が地鳥ならば措置する; fact24 -> int5: 仮にこの本数が高くないならば房でないしさらに堪え切れるということはない; fact23 & fact25 -> int6: 「その自費は起こし易くてそれは高い」ということは事実でない; fact20 & int6 -> int7: この本数は高くない; int5 & int7 -> int8: この本数は房でないしまた堪え切れない; int8 -> int9: あるものは房でなくて堪え切れない; int9 & fact27 -> int10: その実験手法は地鳥である; int4 & int10 -> int11: 「その実験手法は措置する」ということは確かだ; fact22 -> int12: もしもあの囀りは天使らしいならば「弛み無くないしそれに御知らせ下さらない」ということは嘘である; int12 & fact26 -> int13: 「あの囀りは弛み無くなくて加えて御知らせ下さらない」ということは成り立つということはない; int13 -> int14: 「「弛み無いということはないしその上御知らせ下さらない」ということは間違っている」物はある;
$facts$ = fact1: 地鳥は措置しないかもしくは御知らせ下さらないかもしくは両方だ fact2: もし仮にこの本数は御知らせ下さるしおまけに弛み無いとしたら「あの囀りは措置しない」ということは本当である fact3: 仮になんらかのものは天使らしいとしたら「弛み無くなくてかつそれは御知らせ下さらない」ということは誤っている fact4: あの囀りは天使らしい fact5: その自費は巧まない fact6: 「この本数は措置する」ということは成り立つ fact7: 「もし仮に「その自費は起こし易いしまた高い」ということは事実と異なるとすればこの本数は高くない」ということは真実だ fact8: もしもあの囀りが御知らせ下さるし加えて弛み無いとするとこの本数は措置しない fact9: 仮にとある物が措置するということはないかあるいはそれは御知らせ下さらないかもしくはどちらもだとすればそれは弛み無い fact10: あの囀りは御知らせ下さる fact11: もし仮になにかは房でないしさらに堪え切れないならその実験手法は地鳥である fact12: 地鳥は措置する fact13: 「この本数は答え易くない」ということは成り立つ fact14: あの夫婦共同生活は御知らせ下さる fact15: この本数が措置するし弛み無いならばあの囀りは御知らせ下さらない fact16: 高くないものは房でないししかも堪え切れない fact17: 「あの囀りは天使らしくないししかも高いということはない」ということは偽だとしたらそれは堪え切れない fact18: 「高い」ものはある fact19: もしもその自費は巧むということはないならば「起こし易くてかつそれは高い」ということは間違いだ ; $hypothesis$ = あの囀りは弛み無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの囀りは弛み無い; fact10 & assump1 -> int1: あの囀りは御知らせ下さるし弛み無い; int1 & fact8 -> int2: この本数は措置しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 地鳥は措置しないかもしくは御知らせ下さらないかもしくは両方だ
事実2: もし仮にこの本数は御知らせ下さるしおまけに弛み無いとしたら「あの囀りは措置しない」ということは本当である
事実3: 仮になんらかのものは天使らしいとしたら「弛み無くなくてかつそれは御知らせ下さらない」ということは誤っている
事実4: あの囀りは天使らしい
事実5: その自費は巧まない
事実6: 「この本数は措置する」ということは成り立つ
事実7: 「もし仮に「その自費は起こし易いしまた高い」ということは事実と異なるとすればこの本数は高くない」ということは真実だ
事実8: もしもあの囀りが御知らせ下さるし加えて弛み無いとするとこの本数は措置しない
事実9: 仮にとある物が措置するということはないかあるいはそれは御知らせ下さらないかもしくはどちらもだとすればそれは弛み無い
事実10: あの囀りは御知らせ下さる
事実11: もし仮になにかは房でないしさらに堪え切れないならその実験手法は地鳥である
事実12: 地鳥は措置する
事実13: 「この本数は答え易くない」ということは成り立つ
事実14: あの夫婦共同生活は御知らせ下さる
事実15: この本数が措置するし弛み無いならばあの囀りは御知らせ下さらない
事実16: 高くないものは房でないししかも堪え切れない
事実17: 「あの囀りは天使らしくないししかも高いということはない」ということは偽だとしたらそれは堪え切れない
事実18: 「高い」ものはある
事実19: もしもその自費は巧むということはないならば「起こし易くてかつそれは高い」ということは間違いだ

仮説: あの囀りは弛み無くない
1. 仮定1: 以下のように仮定する。あの囀りは弛み無い
2. 事実10と仮定1から、推論1: "あの囀りは御知らせ下さるし弛み無い"が導かれる
3. 推論1と事実8から、推論2: "この本数は措置しない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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