「もしも忌ま忌ましいとすると「健康保険でないがしかし代替財だ」ということは間違っている」ものはある
fact1: もしもこのファイル交換ネットワークは取り落とすとすれば「それはごろごろしないがしかしＯＢ臭い」ということは確かである fact2: もし「このファイル交換ネットワークは艶っぽい」ということは成り立つとすると間断無くなくて加えてそれは代替財だ fact3: もしもこのファイル交換ネットワークが仰々しいならそれは華僑でないし代替財だ fact4: このファイル交換ネットワークは忌ま忌ましいとすれば「健康保険でなくてそれは代替財である」ということは成り立たない fact5: 「もしも「女っぽい」ということは確かなら「惨たらしくないし乾き易い」ということは成り立たない」ものはある fact6: その通信傍受法は健康保険であるとすれば「一元管理するししつっこい」ということは間違いだ fact7: このファイル交換ネットワークは忌ま忌ましいとすると「それは健康保険であるし代替財だ」ということは成り立たない fact8: 「忌ま忌ましいとすれば「健康保険で更に代替財だ」ということは事実と異なる」ものはある fact9: 何かは値上がりすれば「「それは能力差でなくてすげない」ということは真実である」ということは本当でない fact10: 仮にこの武運長久はキャッシュ・フローであるとすると「それは仕舞い易くなくて健康保険である」ということは成り立たない fact11: 「「もしもＢチャネルパケット通信であるとしたら「共伴しないけど咲き始める」ということは誤りな」物はある」ということは成り立つ fact12: 「もし成功し続けるなら「示現であるということはなくてまた崩し易い」ということは成り立つということはない」ものはある fact13: もし仮にこのファイル交換ネットワークが忌ま忌ましいとすればそれは健康保険でないがしかし代替財だ
fact4 -> hypothesis;
「もし値上がりするなら「能力差でなくてまたすげない」ということは成り立たない」ものはある
fact14 -> int1: もし仮にそのトレーラーは値上がりするとすると「能力差でないしすげない」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もしもこのファイル交換ネットワークは取り落とすとすれば「それはごろごろしないがしかしＯＢ臭い」ということは確かである fact2: もし「このファイル交換ネットワークは艶っぽい」ということは成り立つとすると間断無くなくて加えてそれは代替財だ fact3: もしもこのファイル交換ネットワークが仰々しいならそれは華僑でないし代替財だ fact4: このファイル交換ネットワークは忌ま忌ましいとすれば「健康保険でなくてそれは代替財である」ということは成り立たない fact5: 「もしも「女っぽい」ということは確かなら「惨たらしくないし乾き易い」ということは成り立たない」ものはある fact6: その通信傍受法は健康保険であるとすれば「一元管理するししつっこい」ということは間違いだ fact7: このファイル交換ネットワークは忌ま忌ましいとすると「それは健康保険であるし代替財だ」ということは成り立たない fact8: 「忌ま忌ましいとすれば「健康保険で更に代替財だ」ということは事実と異なる」ものはある fact9: 何かは値上がりすれば「「それは能力差でなくてすげない」ということは真実である」ということは本当でない fact10: 仮にこの武運長久はキャッシュ・フローであるとすると「それは仕舞い易くなくて健康保険である」ということは成り立たない fact11: 「「もしもＢチャネルパケット通信であるとしたら「共伴しないけど咲き始める」ということは誤りな」物はある」ということは成り立つ fact12: 「もし成功し続けるなら「示現であるということはなくてまた崩し易い」ということは成り立つということはない」ものはある fact13: もし仮にこのファイル交換ネットワークが忌ま忌ましいとすればそれは健康保険でないがしかし代替財だ ; $hypothesis$ = 「もしも忌ま忌ましいとすると「健康保険でないがしかし代替財だ」ということは間違っている」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもこのファイル交換ネットワークは取り落とすとすれば「それはごろごろしないがしかしＯＢ臭い」ということは確かである
事実2: もし「このファイル交換ネットワークは艶っぽい」ということは成り立つとすると間断無くなくて加えてそれは代替財だ
事実3: もしもこのファイル交換ネットワークが仰々しいならそれは華僑でないし代替財だ
事実4: このファイル交換ネットワークは忌ま忌ましいとすれば「健康保険でなくてそれは代替財である」ということは成り立たない
事実5: 「もしも「女っぽい」ということは確かなら「惨たらしくないし乾き易い」ということは成り立たない」ものはある
事実6: その通信傍受法は健康保険であるとすれば「一元管理するししつっこい」ということは間違いだ
事実7: このファイル交換ネットワークは忌ま忌ましいとすると「それは健康保険であるし代替財だ」ということは成り立たない
事実8: 「忌ま忌ましいとすれば「健康保険で更に代替財だ」ということは事実と異なる」ものはある
事実9: 何かは値上がりすれば「「それは能力差でなくてすげない」ということは真実である」ということは本当でない
事実10: 仮にこの武運長久はキャッシュ・フローであるとすると「それは仕舞い易くなくて健康保険である」ということは成り立たない
事実11: 「「もしもＢチャネルパケット通信であるとしたら「共伴しないけど咲き始める」ということは誤りな」物はある」ということは成り立つ
事実12: 「もし成功し続けるなら「示現であるということはなくてまた崩し易い」ということは成り立つということはない」ものはある
事実13: もし仮にこのファイル交換ネットワークが忌ま忌ましいとすればそれは健康保険でないがしかし代替財だ

仮説: 「もしも忌ま忌ましいとすると「健康保険でないがしかし代替財だ」ということは間違っている」ものはある
1. 事実4から、仮説が導かれる

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