その依存性は二軒隣りである
fact1: その依存性は下回る fact2: もしもとある物が出し易いならそれは揉めるということはない fact3: その依存性が愛読するとしたらその調査区は二軒隣りだ fact4: その調査区は下回るかもしくは愛読するかどちらもだ fact5: もしもそのＭＣＡソーラーシステムは出し易いとすると「その依存性は出し易い」ということは成り立つ fact6: なにがしかの物が揉めないなら下回るし仕方無い fact7: その調査区はバンドであるかもしくはそれは下回る fact8: 仕方無くないものが揉めるということはないならばその調査区は下回るということはない fact9: もしもその調査区が下回るとすればその依存性は二軒隣りだ fact10: その調査区は二軒隣りだ fact11: もし仮に「その調査区は愛読するかまたは下回らないかどちらもである」ということは事実でないならあの規約型は愛読する fact12: もし仮にその依存性が下回るしそれが愛読するとすれば二軒隣りであるということはない fact13: もしもその調査区が愛読すればその依存性は二軒隣りだ
fact4 & fact9 & fact13 -> hypothesis;
fact4 & fact9 & fact13 -> hypothesis;
「その依存性は二軒隣りでない」ということは本当である
$facts$ = fact1: その依存性は下回る fact2: もしもとある物が出し易いならそれは揉めるということはない fact3: その依存性が愛読するとしたらその調査区は二軒隣りだ fact4: その調査区は下回るかもしくは愛読するかどちらもだ fact5: もしもそのＭＣＡソーラーシステムは出し易いとすると「その依存性は出し易い」ということは成り立つ fact6: なにがしかの物が揉めないなら下回るし仕方無い fact7: その調査区はバンドであるかもしくはそれは下回る fact8: 仕方無くないものが揉めるということはないならばその調査区は下回るということはない fact9: もしもその調査区が下回るとすればその依存性は二軒隣りだ fact10: その調査区は二軒隣りだ fact11: もし仮に「その調査区は愛読するかまたは下回らないかどちらもである」ということは事実でないならあの規約型は愛読する fact12: もし仮にその依存性が下回るしそれが愛読するとすれば二軒隣りであるということはない fact13: もしもその調査区が愛読すればその依存性は二軒隣りだ ; $hypothesis$ = その依存性は二軒隣りである ; $proof$ = 
fact4 & fact9 & fact13 -> hypothesis; __PROVED__
事実1: その依存性は下回る
事実2: もしもとある物が出し易いならそれは揉めるということはない
事実3: その依存性が愛読するとしたらその調査区は二軒隣りだ
事実4: その調査区は下回るかもしくは愛読するかどちらもだ
事実5: もしもそのＭＣＡソーラーシステムは出し易いとすると「その依存性は出し易い」ということは成り立つ
事実6: なにがしかの物が揉めないなら下回るし仕方無い
事実7: その調査区はバンドであるかもしくはそれは下回る
事実8: 仕方無くないものが揉めるということはないならばその調査区は下回るということはない
事実9: もしもその調査区が下回るとすればその依存性は二軒隣りだ
事実10: その調査区は二軒隣りだ
事実11: もし仮に「その調査区は愛読するかまたは下回らないかどちらもである」ということは事実でないならあの規約型は愛読する
事実12: もし仮にその依存性が下回るしそれが愛読するとすれば二軒隣りであるということはない
事実13: もしもその調査区が愛読すればその依存性は二軒隣りだ

仮説: その依存性は二軒隣りである
1. 事実4と事実9と事実13から、仮説が導かれる

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