その口側は幻惑するかあるいはそれはＷＩＲＤでないかどちらもだ
fact1: 「しおらしい」ものがあるとすればその口側は幻惑するかまたはそれはＷＩＲＤであるかもしくは両方である fact2: 継続し難くない物はしおらしいし転向する fact3: この囀りは神秘化するということはない fact4: 仮にあのイソブタンがしおらしいとすればその口側はしおらしい fact5: その口側は立ち向かうかもしくは幻惑しない fact6: その口側は幻惑するかもしくはそれはＷＩＲＤである fact7: しおらしいものがあるとするとその口側は幻惑するかＷＩＲＤでない fact8: 何らかのものはしおらしい fact9: もしもあるものはしおらしいとすれば「それは幻惑するかもしくはＷＩＲＤでない」ということは間違っている fact10: 何らかの物が沈潜すれば借り入れ難である fact11: 「「この商規は沈潜しない一方で装る」ということは成り立たない」ということは確かであるならあの亡者は沈潜する fact12: とある物が入手し易いとするとその口側はしおらしいかまたはそれは弛み無くないかまたはどちらもだ fact13: この囀りが神秘化しないとしたらそれは作り易くておまけに沈潜する fact14: 「あの亡者は沈潜する」ということは成り立つとすればあの現行犯は沈潜する fact15: もし仮にその現行犯が借り入れ難だとすればあのイソブタンはちっちゃくないが検知する fact16: あのイソブタンがちっちゃくないがしかし検知すればその口側は継続し難くない
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
「その口側は幻惑するかＷＩＲＤでない」ということは事実と異なる
$facts$ = fact1: 「しおらしい」ものがあるとすればその口側は幻惑するかまたはそれはＷＩＲＤであるかもしくは両方である fact2: 継続し難くない物はしおらしいし転向する fact3: この囀りは神秘化するということはない fact4: 仮にあのイソブタンがしおらしいとすればその口側はしおらしい fact5: その口側は立ち向かうかもしくは幻惑しない fact6: その口側は幻惑するかもしくはそれはＷＩＲＤである fact7: しおらしいものがあるとするとその口側は幻惑するかＷＩＲＤでない fact8: 何らかのものはしおらしい fact9: もしもあるものはしおらしいとすれば「それは幻惑するかもしくはＷＩＲＤでない」ということは間違っている fact10: 何らかの物が沈潜すれば借り入れ難である fact11: 「「この商規は沈潜しない一方で装る」ということは成り立たない」ということは確かであるならあの亡者は沈潜する fact12: とある物が入手し易いとするとその口側はしおらしいかまたはそれは弛み無くないかまたはどちらもだ fact13: この囀りが神秘化しないとしたらそれは作り易くておまけに沈潜する fact14: 「あの亡者は沈潜する」ということは成り立つとすればあの現行犯は沈潜する fact15: もし仮にその現行犯が借り入れ難だとすればあのイソブタンはちっちゃくないが検知する fact16: あのイソブタンがちっちゃくないがしかし検知すればその口側は継続し難くない ; $hypothesis$ = その口側は幻惑するかあるいはそれはＷＩＲＤでないかどちらもだ ; $proof$ = 
fact8 & fact7 -> hypothesis; __PROVED__
事実1: 「しおらしい」ものがあるとすればその口側は幻惑するかまたはそれはＷＩＲＤであるかもしくは両方である
事実2: 継続し難くない物はしおらしいし転向する
事実3: この囀りは神秘化するということはない
事実4: 仮にあのイソブタンがしおらしいとすればその口側はしおらしい
事実5: その口側は立ち向かうかもしくは幻惑しない
事実6: その口側は幻惑するかもしくはそれはＷＩＲＤである
事実7: しおらしいものがあるとするとその口側は幻惑するかＷＩＲＤでない
事実8: 何らかのものはしおらしい
事実9: もしもあるものはしおらしいとすれば「それは幻惑するかもしくはＷＩＲＤでない」ということは間違っている
事実10: 何らかの物が沈潜すれば借り入れ難である
事実11: 「「この商規は沈潜しない一方で装る」ということは成り立たない」ということは確かであるならあの亡者は沈潜する
事実12: とある物が入手し易いとするとその口側はしおらしいかまたはそれは弛み無くないかまたはどちらもだ
事実13: この囀りが神秘化しないとしたらそれは作り易くておまけに沈潜する
事実14: 「あの亡者は沈潜する」ということは成り立つとすればあの現行犯は沈潜する
事実15: もし仮にその現行犯が借り入れ難だとすればあのイソブタンはちっちゃくないが検知する
事実16: あのイソブタンがちっちゃくないがしかし検知すればその口側は継続し難くない

仮説: その口側は幻惑するかあるいはそれはＷＩＲＤでないかどちらもだ
1. 事実8と事実7から、仮説が導かれる

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