「仮にチェック内容でないならば「信仰深くないしかつ明定しない」ということは間違っている」ものはある
fact1: 仮にその縮小はチェック内容でないなら「信仰深いけれど明定するということはない」ということは偽だ fact2: 「チェック内容でないなら「信仰深いけれど明定しない」ということは事実と異なる」ものはある fact3: もしその縮小はチェック内容であるなら「それは信仰深くなくて明定しない」ということは事実でない fact4: もし仮にその縮小はチェック内容でないならば「信仰深くないし更に明定するということはない」ということは誤りだ fact5: もしその縮小は信仰深くないとすると「それは投げ合わないけれど繰り延べる」ということは事実と異なる fact6: 「もしチェック内容だということはないとしたら信仰深くなくてそれに明定しない」物はある fact7: なんらかの物は断裂しないならば「それはチェック内容でないしさらにバインドしない」ということは事実であるということはない fact8: 仮にその縮小は来難くないなら「それは明定しないけど竜だ」ということは成り立つということはない fact9: 「仮にチェック内容であるなら「「信仰深くないしそれに明定しない」ということは事実である」ということは誤っている」ものはある fact10: もしもその縮小が許し難くないとしたらチェック内容でないしその上固持しない fact11: 仮にあのカメレオンは許し難いということはないなら「寄寓するということはなくて加えてチェック内容でない」ということは成り立たない fact12: もしあのダブル・クラウン牧場は切り干しでないとすると「拗らせらないしそれは明定する」ということは成り立たない fact13: 「もし果てし無くないとすると「強しということはないし加えて謝り為さる」ということは誤っている」ものはある fact14: 「その縮小は信仰深くない」ということは事実であるならば「休でない一方で指揮監督する」ということは成り立たない
fact4 -> hypothesis;
fact4 -> hypothesis;
仮にあの再生時間は断裂するということはないとすれば「チェック内容でないし加えてそれはバインドしない」ということは事実でない
fact15 -> hypothesis;
$facts$ = fact1: 仮にその縮小はチェック内容でないなら「信仰深いけれど明定するということはない」ということは偽だ fact2: 「チェック内容でないなら「信仰深いけれど明定しない」ということは事実と異なる」ものはある fact3: もしその縮小はチェック内容であるなら「それは信仰深くなくて明定しない」ということは事実でない fact4: もし仮にその縮小はチェック内容でないならば「信仰深くないし更に明定するということはない」ということは誤りだ fact5: もしその縮小は信仰深くないとすると「それは投げ合わないけれど繰り延べる」ということは事実と異なる fact6: 「もしチェック内容だということはないとしたら信仰深くなくてそれに明定しない」物はある fact7: なんらかの物は断裂しないならば「それはチェック内容でないしさらにバインドしない」ということは事実であるということはない fact8: 仮にその縮小は来難くないなら「それは明定しないけど竜だ」ということは成り立つということはない fact9: 「仮にチェック内容であるなら「「信仰深くないしそれに明定しない」ということは事実である」ということは誤っている」ものはある fact10: もしもその縮小が許し難くないとしたらチェック内容でないしその上固持しない fact11: 仮にあのカメレオンは許し難いということはないなら「寄寓するということはなくて加えてチェック内容でない」ということは成り立たない fact12: もしあのダブル・クラウン牧場は切り干しでないとすると「拗らせらないしそれは明定する」ということは成り立たない fact13: 「もし果てし無くないとすると「強しということはないし加えて謝り為さる」ということは誤っている」ものはある fact14: 「その縮小は信仰深くない」ということは事実であるならば「休でない一方で指揮監督する」ということは成り立たない ; $hypothesis$ = 「仮にチェック内容でないならば「信仰深くないしかつ明定しない」ということは間違っている」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にその縮小はチェック内容でないなら「信仰深いけれど明定するということはない」ということは偽だ
事実2: 「チェック内容でないなら「信仰深いけれど明定しない」ということは事実と異なる」ものはある
事実3: もしその縮小はチェック内容であるなら「それは信仰深くなくて明定しない」ということは事実でない
事実4: もし仮にその縮小はチェック内容でないならば「信仰深くないし更に明定するということはない」ということは誤りだ
事実5: もしその縮小は信仰深くないとすると「それは投げ合わないけれど繰り延べる」ということは事実と異なる
事実6: 「もしチェック内容だということはないとしたら信仰深くなくてそれに明定しない」物はある
事実7: なんらかの物は断裂しないならば「それはチェック内容でないしさらにバインドしない」ということは事実であるということはない
事実8: 仮にその縮小は来難くないなら「それは明定しないけど竜だ」ということは成り立つということはない
事実9: 「仮にチェック内容であるなら「「信仰深くないしそれに明定しない」ということは事実である」ということは誤っている」ものはある
事実10: もしもその縮小が許し難くないとしたらチェック内容でないしその上固持しない
事実11: 仮にあのカメレオンは許し難いということはないなら「寄寓するということはなくて加えてチェック内容でない」ということは成り立たない
事実12: もしあのダブル・クラウン牧場は切り干しでないとすると「拗らせらないしそれは明定する」ということは成り立たない
事実13: 「もし果てし無くないとすると「強しということはないし加えて謝り為さる」ということは誤っている」ものはある
事実14: 「その縮小は信仰深くない」ということは事実であるならば「休でない一方で指揮監督する」ということは成り立たない

仮説: 「仮にチェック内容でないならば「信仰深くないしかつ明定しない」ということは間違っている」ものはある
1. 事実4から、仮説が導かれる

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