このフレームアップは流せないけど交通安全だ
fact1: 仮に「あの漁港は鳴り出さないがそれは由々しい」ということは成り立たないとすればそれは鳴り出す fact2: もし仮に「塗装技術でないかまたは字体でない」物があればこのバイオ・ゲノムは字体でない fact3: 「商人連合な」ものはある fact4: もしもあの社債権者集会が重苦しいかまたは心安いとするとこのバイオ・ゲノムは心安くない fact5: もし仮にこのフレームアップが名状し難いとするとあの一メートル以上は交通安全でなくて流せない fact6: とある物が鳴り出さないならばそれは塗装技術でそれは重苦しい fact7: 重苦しいものは名状し難いということはなくて心安いということはない fact8: あの漁港は水腫であるということはない fact9: 「その店番は構え易くない」ということは確かである fact10: もし仮に何らかのものは名状し難くないとしたら「それは流せないし更にそれは交通安全だ」ということは偽である fact11: このフレームアップは延焼であるということはないが寵する fact12: その典型は教養主義的映画統制でないけれど問う fact13: このフレームアップは流せない fact14: あの漁港が鳴り出すとするとこのフレームアップは塗装技術でないかあるいは字体でない fact15: もし「このフレームアップは由々しいしそれに鳴り出す」ということは間違っているとすれば鳴り出すということはない fact16: 仮にその店番が構え易くないとすればあの社債権者集会は心安くてそれは商人連合である fact17: その道徳的勇気は流せない fact18: 心安くないものは交通安全だしその上名状し難い fact19: もし仮にあの漁港は水腫でないならば「それは鳴り出さないけれど由々しい」ということは成り立たない fact20: このフレームアップは交通安全である
fact13 & fact20 -> hypothesis;
fact13 & fact20 -> hypothesis;
「このフレームアップは流せないけどそれは交通安全である」ということは誤りだ
fact23 -> int1: 仮にこのフレームアップは名状し難くないなら「流せないがしかし交通安全だ」ということは間違っている; fact21 -> int2: このフレームアップが重苦しいとすると名状し難くないし心安くない; fact24 -> int3: もしもこのフレームアップが鳴り出さないとすればそれは塗装技術であるししかもそれは重苦しい;
$facts$ = fact1: 仮に「あの漁港は鳴り出さないがそれは由々しい」ということは成り立たないとすればそれは鳴り出す fact2: もし仮に「塗装技術でないかまたは字体でない」物があればこのバイオ・ゲノムは字体でない fact3: 「商人連合な」ものはある fact4: もしもあの社債権者集会が重苦しいかまたは心安いとするとこのバイオ・ゲノムは心安くない fact5: もし仮にこのフレームアップが名状し難いとするとあの一メートル以上は交通安全でなくて流せない fact6: とある物が鳴り出さないならばそれは塗装技術でそれは重苦しい fact7: 重苦しいものは名状し難いということはなくて心安いということはない fact8: あの漁港は水腫であるということはない fact9: 「その店番は構え易くない」ということは確かである fact10: もし仮に何らかのものは名状し難くないとしたら「それは流せないし更にそれは交通安全だ」ということは偽である fact11: このフレームアップは延焼であるということはないが寵する fact12: その典型は教養主義的映画統制でないけれど問う fact13: このフレームアップは流せない fact14: あの漁港が鳴り出すとするとこのフレームアップは塗装技術でないかあるいは字体でない fact15: もし「このフレームアップは由々しいしそれに鳴り出す」ということは間違っているとすれば鳴り出すということはない fact16: 仮にその店番が構え易くないとすればあの社債権者集会は心安くてそれは商人連合である fact17: その道徳的勇気は流せない fact18: 心安くないものは交通安全だしその上名状し難い fact19: もし仮にあの漁港は水腫でないならば「それは鳴り出さないけれど由々しい」ということは成り立たない fact20: このフレームアップは交通安全である ; $hypothesis$ = このフレームアップは流せないけど交通安全だ ; $proof$ = 
fact13 & fact20 -> hypothesis; __PROVED__
事実1: 仮に「あの漁港は鳴り出さないがそれは由々しい」ということは成り立たないとすればそれは鳴り出す
事実2: もし仮に「塗装技術でないかまたは字体でない」物があればこのバイオ・ゲノムは字体でない
事実3: 「商人連合な」ものはある
事実4: もしもあの社債権者集会が重苦しいかまたは心安いとするとこのバイオ・ゲノムは心安くない
事実5: もし仮にこのフレームアップが名状し難いとするとあの一メートル以上は交通安全でなくて流せない
事実6: とある物が鳴り出さないならばそれは塗装技術でそれは重苦しい
事実7: 重苦しいものは名状し難いということはなくて心安いということはない
事実8: あの漁港は水腫であるということはない
事実9: 「その店番は構え易くない」ということは確かである
事実10: もし仮に何らかのものは名状し難くないとしたら「それは流せないし更にそれは交通安全だ」ということは偽である
事実11: このフレームアップは延焼であるということはないが寵する
事実12: その典型は教養主義的映画統制でないけれど問う
事実13: このフレームアップは流せない
事実14: あの漁港が鳴り出すとするとこのフレームアップは塗装技術でないかあるいは字体でない
事実15: もし「このフレームアップは由々しいしそれに鳴り出す」ということは間違っているとすれば鳴り出すということはない
事実16: 仮にその店番が構え易くないとすればあの社債権者集会は心安くてそれは商人連合である
事実17: その道徳的勇気は流せない
事実18: 心安くないものは交通安全だしその上名状し難い
事実19: もし仮にあの漁港は水腫でないならば「それは鳴り出さないけれど由々しい」ということは成り立たない
事実20: このフレームアップは交通安全である

仮説: このフレームアップは流せないけど交通安全だ
1. 事実13と事実20から、仮説が導かれる

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