この走査線は開校する
fact1: もし仮に「なにかは略しないけれど多産だ」ということは間違いだとすればそれは多産であるということはない fact2: もしもこの勃起が細くないしそれに相対世界でないとすればこの走査線は開校しない fact3: もしこの走査線が相対世界だとすればこの勃起は開校する fact4: 仮にこの勃起が細いならばあの走査線は開校する fact5: もしこの支給決定がどぎついとしたらそれはバックパッカーだということはないしおまけにそれは根深くない fact6: この勃起は細いかあるいは相対世界であるかあるいはどちらもである fact7: もしとあるものは通用しないなら「それは際限無くてさらに多産だ」ということは誤りである fact8: もしもあの対日は通用しないならば「この勃起は相対世界だということはない」ということは誤りでない fact9: もしこのコルチゾールがしぶといとするとあの対日は通用しないかもしくは相対世界でない fact10: もし仮に「この勃起は開校しない一方で細い」ということは誤っているとしたらこの走査線は細い fact11: もし仮に何らかのものはバックパッカーでないならば「略しないけど多産だ」ということは成り立たない fact12: もし仮にこの勃起は相対世界であるとすると「この走査線は開校する」ということは正しい fact13: もし仮に何かは多産でないとすればそれは際限無くないけど細い fact14: もしもこの支給決定が際限無くない一方でそれが細いとすればあの勃起は細くない fact15: もし仮にこの勃起が細いし相対世界だとすればあの走査線は開校するということはない fact16: 仮に何らかのものは相対世界でないとすれば「それは開校しないしそれは細い」ということは正しくない fact17: 何もかもはしぶとくてさらに渋い fact18: 仮に「この支給決定が際限無いしその上それは多産だ」ということは成り立たないとすればあの勃起は相対世界でない
fact6 & fact4 & fact12 -> hypothesis;
「この走査線は開校しない」ということは成り立つ
fact21 -> int1: 仮にこの支給決定が多産でないならばそれは際限無くないしかつ細い; fact19 -> int2: もし仮に「この支給決定は略しないが多産だ」ということは成り立たないならそれは多産でない; fact27 -> int3: 仮にこの支給決定はバックパッカーだということはないとしたら「それは略しないけれど多産だ」ということは成り立つということはない; fact20 -> int4: このコルチゾールはしぶといし渋い; int4 -> int5: このコルチゾールはしぶとい; fact24 & int5 -> int6: あの対日は通用しないか相対世界でないかまたはどちらもである;
$facts$ = fact1: もし仮に「なにかは略しないけれど多産だ」ということは間違いだとすればそれは多産であるということはない fact2: もしもこの勃起が細くないしそれに相対世界でないとすればこの走査線は開校しない fact3: もしこの走査線が相対世界だとすればこの勃起は開校する fact4: 仮にこの勃起が細いならばあの走査線は開校する fact5: もしこの支給決定がどぎついとしたらそれはバックパッカーだということはないしおまけにそれは根深くない fact6: この勃起は細いかあるいは相対世界であるかあるいはどちらもである fact7: もしとあるものは通用しないなら「それは際限無くてさらに多産だ」ということは誤りである fact8: もしもあの対日は通用しないならば「この勃起は相対世界だということはない」ということは誤りでない fact9: もしこのコルチゾールがしぶといとするとあの対日は通用しないかもしくは相対世界でない fact10: もし仮に「この勃起は開校しない一方で細い」ということは誤っているとしたらこの走査線は細い fact11: もし仮に何らかのものはバックパッカーでないならば「略しないけど多産だ」ということは成り立たない fact12: もし仮にこの勃起は相対世界であるとすると「この走査線は開校する」ということは正しい fact13: もし仮に何かは多産でないとすればそれは際限無くないけど細い fact14: もしもこの支給決定が際限無くない一方でそれが細いとすればあの勃起は細くない fact15: もし仮にこの勃起が細いし相対世界だとすればあの走査線は開校するということはない fact16: 仮に何らかのものは相対世界でないとすれば「それは開校しないしそれは細い」ということは正しくない fact17: 何もかもはしぶとくてさらに渋い fact18: 仮に「この支給決定が際限無いしその上それは多産だ」ということは成り立たないとすればあの勃起は相対世界でない ; $hypothesis$ = この走査線は開校する ; $proof$ = 
fact6 & fact4 & fact12 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは略しないけれど多産だ」ということは間違いだとすればそれは多産であるということはない
事実2: もしもこの勃起が細くないしそれに相対世界でないとすればこの走査線は開校しない
事実3: もしこの走査線が相対世界だとすればこの勃起は開校する
事実4: 仮にこの勃起が細いならばあの走査線は開校する
事実5: もしこの支給決定がどぎついとしたらそれはバックパッカーだということはないしおまけにそれは根深くない
事実6: この勃起は細いかあるいは相対世界であるかあるいはどちらもである
事実7: もしとあるものは通用しないなら「それは際限無くてさらに多産だ」ということは誤りである
事実8: もしもあの対日は通用しないならば「この勃起は相対世界だということはない」ということは誤りでない
事実9: もしこのコルチゾールがしぶといとするとあの対日は通用しないかもしくは相対世界でない
事実10: もし仮に「この勃起は開校しない一方で細い」ということは誤っているとしたらこの走査線は細い
事実11: もし仮に何らかのものはバックパッカーでないならば「略しないけど多産だ」ということは成り立たない
事実12: もし仮にこの勃起は相対世界であるとすると「この走査線は開校する」ということは正しい
事実13: もし仮に何かは多産でないとすればそれは際限無くないけど細い
事実14: もしもこの支給決定が際限無くない一方でそれが細いとすればあの勃起は細くない
事実15: もし仮にこの勃起が細いし相対世界だとすればあの走査線は開校するということはない
事実16: 仮に何らかのものは相対世界でないとすれば「それは開校しないしそれは細い」ということは正しくない
事実17: 何もかもはしぶとくてさらに渋い
事実18: 仮に「この支給決定が際限無いしその上それは多産だ」ということは成り立たないとすればあの勃起は相対世界でない

仮説: この走査線は開校する
1. 事実6と事実4と事実12から、仮説が導かれる

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