「もし奉納すれば「動揺し易くないし加えて姉らしいということはない」ということは本当でない」物はある
fact1: もしなにがしかの物は飛行学校であるなら「それは一塊でないけれどみみっちい」ということは成り立つということはない fact2: 仮にその農林漁業は入り切れるとしたら「狭苦しくてかつ逆行型でない」ということは成り立たない fact3: もしとある物はアイ・オー・データ機器であるならば「縮むしその上許し難くない」ということは誤りだ fact4: 「「翔る」ということは成り立つとしたら「吹きこぼれないし更に五十肩でない」ということは誤りである」物はある fact5: 何かは入り切れるなら「愛唱しないが行き難い」ということは成り立つということはない fact6: もしもなにがしかの物は奉納するとすれば「動揺し易くないし加えて姉らしいということはない」ということは事実でない fact7: もしもその紫蘇エキスは小汚いなら「姉らしくないしかつそれは居る居るということはない」ということは偽である fact8: 「仮に見分け難いとしたら「長呼しないがしかし力無い」ということは間違っている」ものはある fact9: もしもなにがしかの物はキータイプするなら「造語するということはないしその上それはモデル毎である」ということは成り立たない
fact6 -> int1: 「もしもその環状線経由は奉納するとしたら「その環状線経由は動揺し易くないしまた姉らしくない」ということは成り立たない」ということは事実である; int1 -> hypothesis;
$facts$ = fact1: もしなにがしかの物は飛行学校であるなら「それは一塊でないけれどみみっちい」ということは成り立つということはない fact2: 仮にその農林漁業は入り切れるとしたら「狭苦しくてかつ逆行型でない」ということは成り立たない fact3: もしとある物はアイ・オー・データ機器であるならば「縮むしその上許し難くない」ということは誤りだ fact4: 「「翔る」ということは成り立つとしたら「吹きこぼれないし更に五十肩でない」ということは誤りである」物はある fact5: 何かは入り切れるなら「愛唱しないが行き難い」ということは成り立つということはない fact6: もしもなにがしかの物は奉納するとすれば「動揺し易くないし加えて姉らしいということはない」ということは事実でない fact7: もしもその紫蘇エキスは小汚いなら「姉らしくないしかつそれは居る居るということはない」ということは偽である fact8: 「仮に見分け難いとしたら「長呼しないがしかし力無い」ということは間違っている」ものはある fact9: もしもなにがしかの物はキータイプするなら「造語するということはないしその上それはモデル毎である」ということは成り立たない ; $hypothesis$ = 「もし奉納すれば「動揺し易くないし加えて姉らしいということはない」ということは本当でない」物はある ; $proof$ = 
fact6 -> int1: 「もしもその環状線経由は奉納するとしたら「その環状線経由は動揺し易くないしまた姉らしくない」ということは成り立たない」ということは事実である; int1 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は飛行学校であるなら「それは一塊でないけれどみみっちい」ということは成り立つということはない
事実2: 仮にその農林漁業は入り切れるとしたら「狭苦しくてかつ逆行型でない」ということは成り立たない
事実3: もしとある物はアイ・オー・データ機器であるならば「縮むしその上許し難くない」ということは誤りだ
事実4: 「「翔る」ということは成り立つとしたら「吹きこぼれないし更に五十肩でない」ということは誤りである」物はある
事実5: 何かは入り切れるなら「愛唱しないが行き難い」ということは成り立つということはない
事実6: もしもなにがしかの物は奉納するとすれば「動揺し易くないし加えて姉らしいということはない」ということは事実でない
事実7: もしもその紫蘇エキスは小汚いなら「姉らしくないしかつそれは居る居るということはない」ということは偽である
事実8: 「仮に見分け難いとしたら「長呼しないがしかし力無い」ということは間違っている」ものはある
事実9: もしもなにがしかの物はキータイプするなら「造語するということはないしその上それはモデル毎である」ということは成り立たない

仮説: 「もし奉納すれば「動揺し易くないし加えて姉らしいということはない」ということは本当でない」物はある
1. 事実6から、推論1: "「もしもその環状線経由は奉納するとしたら「その環状線経由は動揺し易くないしまた姉らしくない」ということは成り立たない」ということは事実である"が導かれる
2. 推論1から、仮説が導かれる

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