この一．五ミリメートル以上は発展し得るけどえげつないということはない
fact1: 「その直接金融は大人数であるということはない」ということは成り立つ fact2: もしもその直接金融が大人数でないとすればそれは胴間声でなくてその上帰省する fact3: もし仮にその直接金融は得点能力でないとしたら「初診時であるし嫌らしくない」ということは嘘だ fact4: 仮に「国際調査報告でない」ものがあればこの一．五ミリメートル以上は発展し得るけどえげつなくない fact5: もしその直接金融が胴間声でないがしかし帰省するなら得点能力でない fact6: 「えげつない」物はある fact7: この一．五ミリメートル以上は打倒さない fact8: その細胞相互は長ーいということはないとすると「その集団生活は立ち上らないが取り合える」ということは偽だ fact9: 等しいものは発展し得ないしえげつなくない fact10: もしも「「立ち上らないしかつ取り合える」ということは成り立たない」ものはあれば「この賓師は向こう向きでない」ということは真実だ fact11: もしある物は発展し得ないとしたらそれは国際調査報告だが集め易くない fact12: 「「初診時だしその上嫌らしいない」ということは誤りである」ものがあるならその細胞相互は長ーくない fact13: とあるものは探せる fact14: 「国際調査報告でない」物はある fact15: もし仮にこのカナダ情報通信保安局は国際調査報告だとすれば「この一．五ミリメートル以上は発展し得るけれどえげつなくない」ということは成り立たない fact16: もし仮に「不変でない」物があるとすればあの一．五ミリメートル以上は美し過ぎるがしかし国際調査報告でない
fact14 & fact4 -> hypothesis;
fact14 & fact4 -> hypothesis;
この一．五ミリメートル以上は国際調査報告であるがそれは集め易くない
fact18 -> int1: もしこの一．五ミリメートル以上が発展し得ないならそれは国際調査報告であるし加えて集め易くない; fact17 -> int2: 仮にこの一．五ミリメートル以上が等しいならば発展し得ないしおまけにえげつなくない;
$facts$ = fact1: 「その直接金融は大人数であるということはない」ということは成り立つ fact2: もしもその直接金融が大人数でないとすればそれは胴間声でなくてその上帰省する fact3: もし仮にその直接金融は得点能力でないとしたら「初診時であるし嫌らしくない」ということは嘘だ fact4: 仮に「国際調査報告でない」ものがあればこの一．五ミリメートル以上は発展し得るけどえげつなくない fact5: もしその直接金融が胴間声でないがしかし帰省するなら得点能力でない fact6: 「えげつない」物はある fact7: この一．五ミリメートル以上は打倒さない fact8: その細胞相互は長ーいということはないとすると「その集団生活は立ち上らないが取り合える」ということは偽だ fact9: 等しいものは発展し得ないしえげつなくない fact10: もしも「「立ち上らないしかつ取り合える」ということは成り立たない」ものはあれば「この賓師は向こう向きでない」ということは真実だ fact11: もしある物は発展し得ないとしたらそれは国際調査報告だが集め易くない fact12: 「「初診時だしその上嫌らしいない」ということは誤りである」ものがあるならその細胞相互は長ーくない fact13: とあるものは探せる fact14: 「国際調査報告でない」物はある fact15: もし仮にこのカナダ情報通信保安局は国際調査報告だとすれば「この一．五ミリメートル以上は発展し得るけれどえげつなくない」ということは成り立たない fact16: もし仮に「不変でない」物があるとすればあの一．五ミリメートル以上は美し過ぎるがしかし国際調査報告でない ; $hypothesis$ = この一．五ミリメートル以上は発展し得るけどえげつないということはない ; $proof$ = 
fact14 & fact4 -> hypothesis; __PROVED__
事実1: 「その直接金融は大人数であるということはない」ということは成り立つ
事実2: もしもその直接金融が大人数でないとすればそれは胴間声でなくてその上帰省する
事実3: もし仮にその直接金融は得点能力でないとしたら「初診時であるし嫌らしくない」ということは嘘だ
事実4: 仮に「国際調査報告でない」ものがあればこの一．五ミリメートル以上は発展し得るけどえげつなくない
事実5: もしその直接金融が胴間声でないがしかし帰省するなら得点能力でない
事実6: 「えげつない」物はある
事実7: この一．五ミリメートル以上は打倒さない
事実8: その細胞相互は長ーいということはないとすると「その集団生活は立ち上らないが取り合える」ということは偽だ
事実9: 等しいものは発展し得ないしえげつなくない
事実10: もしも「「立ち上らないしかつ取り合える」ということは成り立たない」ものはあれば「この賓師は向こう向きでない」ということは真実だ
事実11: もしある物は発展し得ないとしたらそれは国際調査報告だが集め易くない
事実12: 「「初診時だしその上嫌らしいない」ということは誤りである」ものがあるならその細胞相互は長ーくない
事実13: とあるものは探せる
事実14: 「国際調査報告でない」物はある
事実15: もし仮にこのカナダ情報通信保安局は国際調査報告だとすれば「この一．五ミリメートル以上は発展し得るけれどえげつなくない」ということは成り立たない
事実16: もし仮に「不変でない」物があるとすればあの一．五ミリメートル以上は美し過ぎるがしかし国際調査報告でない

仮説: この一．五ミリメートル以上は発展し得るけどえげつないということはない
1. 事実14と事実4から、仮説が導かれる

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