あの理念志向は有するということはない
fact1: もしもあの理念志向は干上がるとしたら「この本管はきもくないしそれに有しない」ということは成り立つということはない fact2: あの理念志向は干上がらない fact3: 仮にその化繊は御披露目するなら「「この本管は干上がるということはなくて加えてきもくない」ということは成り立たない」ということは成り立つ fact4: 「その化繊は干上がらないしきもくない」ということは正しくないならばこの本管は御披露目しない fact5: この本管は御披露目しない fact6: あの理念志向は遠いということはない fact7: 仮に「とあるものは悪戯っぽいが程近くない」ということは間違いであるならば悪戯っぽくない fact8: 「この本管は有するがそれは干上がらない」ということは成り立たない fact9: 仮にこの本管は御披露目するとすれば「その化繊はきもくないしまた有しない」ということは確かでない fact10: 「この本管は干上がるけど有するということはない」ということは偽だ fact11: もし「この本管は干上がらなくて加えてそれは御披露目しない」ということは成り立たないとすればあの化繊はきもくない fact12: この本管がきもいとしたらその化繊は干上がらない fact13: もしその化繊が有するとすればあの理念志向は有する fact14: もし仮にあの理念志向はきもいならば「この本管は有しない」ということは確かだ fact15: この本管は心強い fact16: この本管は悪戯っぽくないならば「その化繊は御披露目するがしかし有しない」ということは間違いである fact17: もし仮にこの本管が御披露目すればその化繊は干上がらない fact18: 「その化繊は御披露目しなくてしかもきもくない」ということは成り立たない fact19: 仮にこの本管は有するとしたらあの理念志向はきもくない fact20: その化繊は御披露目する fact21: 「この本管は干上がらないしきもくない」ということは間違いであるとするとあの理念志向は有しない
fact3 & fact20 -> int1: 「この本管は干上がるということはないしおまけにそれはきもいということはない」ということは間違いである; int1 & fact21 -> hypothesis;
あの理念志向は有する
fact22 -> int2: 「もしも「この本管は悪戯っぽいが程近いということはない」ということは誤っていればこの本管は悪戯っぽいということはない」ということは確かだ;
$facts$ = fact1: もしもあの理念志向は干上がるとしたら「この本管はきもくないしそれに有しない」ということは成り立つということはない fact2: あの理念志向は干上がらない fact3: 仮にその化繊は御披露目するなら「「この本管は干上がるということはなくて加えてきもくない」ということは成り立たない」ということは成り立つ fact4: 「その化繊は干上がらないしきもくない」ということは正しくないならばこの本管は御披露目しない fact5: この本管は御披露目しない fact6: あの理念志向は遠いということはない fact7: 仮に「とあるものは悪戯っぽいが程近くない」ということは間違いであるならば悪戯っぽくない fact8: 「この本管は有するがそれは干上がらない」ということは成り立たない fact9: 仮にこの本管は御披露目するとすれば「その化繊はきもくないしまた有しない」ということは確かでない fact10: 「この本管は干上がるけど有するということはない」ということは偽だ fact11: もし「この本管は干上がらなくて加えてそれは御披露目しない」ということは成り立たないとすればあの化繊はきもくない fact12: この本管がきもいとしたらその化繊は干上がらない fact13: もしその化繊が有するとすればあの理念志向は有する fact14: もし仮にあの理念志向はきもいならば「この本管は有しない」ということは確かだ fact15: この本管は心強い fact16: この本管は悪戯っぽくないならば「その化繊は御披露目するがしかし有しない」ということは間違いである fact17: もし仮にこの本管が御披露目すればその化繊は干上がらない fact18: 「その化繊は御披露目しなくてしかもきもくない」ということは成り立たない fact19: 仮にこの本管は有するとしたらあの理念志向はきもくない fact20: その化繊は御披露目する fact21: 「この本管は干上がらないしきもくない」ということは間違いであるとするとあの理念志向は有しない ; $hypothesis$ = あの理念志向は有するということはない ; $proof$ = 
fact3 & fact20 -> int1: 「この本管は干上がるということはないしおまけにそれはきもいということはない」ということは間違いである; int1 & fact21 -> hypothesis; __PROVED__
事実1: もしもあの理念志向は干上がるとしたら「この本管はきもくないしそれに有しない」ということは成り立つということはない
事実2: あの理念志向は干上がらない
事実3: 仮にその化繊は御披露目するなら「「この本管は干上がるということはなくて加えてきもくない」ということは成り立たない」ということは成り立つ
事実4: 「その化繊は干上がらないしきもくない」ということは正しくないならばこの本管は御披露目しない
事実5: この本管は御披露目しない
事実6: あの理念志向は遠いということはない
事実7: 仮に「とあるものは悪戯っぽいが程近くない」ということは間違いであるならば悪戯っぽくない
事実8: 「この本管は有するがそれは干上がらない」ということは成り立たない
事実9: 仮にこの本管は御披露目するとすれば「その化繊はきもくないしまた有しない」ということは確かでない
事実10: 「この本管は干上がるけど有するということはない」ということは偽だ
事実11: もし「この本管は干上がらなくて加えてそれは御披露目しない」ということは成り立たないとすればあの化繊はきもくない
事実12: この本管がきもいとしたらその化繊は干上がらない
事実13: もしその化繊が有するとすればあの理念志向は有する
事実14: もし仮にあの理念志向はきもいならば「この本管は有しない」ということは確かだ
事実15: この本管は心強い
事実16: この本管は悪戯っぽくないならば「その化繊は御披露目するがしかし有しない」ということは間違いである
事実17: もし仮にこの本管が御披露目すればその化繊は干上がらない
事実18: 「その化繊は御披露目しなくてしかもきもくない」ということは成り立たない
事実19: 仮にこの本管は有するとしたらあの理念志向はきもくない
事実20: その化繊は御披露目する
事実21: 「この本管は干上がらないしきもくない」ということは間違いであるとするとあの理念志向は有しない

仮説: あの理念志向は有するということはない
1. 事実3と事実20から、推論1: "「この本管は干上がるということはないしおまけにそれはきもいということはない」ということは間違いである"が導かれる
2. 推論1と事実21から、仮説が導かれる

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