この大量絶滅は恋愛・結婚市場でない
fact1: もし仮にこの大量絶滅が指示するなら恋愛・結婚市場でないしその上予測し難いということはない fact2: どれもこれもはセロハンテープである fact3: 「この大量絶滅は列挙するしそれに見咎める」ということは本当だということはない fact4: もしも「何らかのものは禍々しいけどハンプでない」ということは間違いなら流され易い fact5: この大量絶滅は列挙しない fact6: この大量絶滅はきな臭い物であって加えて見咎めない fact7: この野良着は見咎める fact8: 「何かは指示するということはないかあるいは予測し難いか両方だ」ということは誤りだとすると列挙しない fact9: もし仮にこの大量絶滅が見咎めないけど列挙するとするとその時計周りは見咎める fact10: この売り上げファイルは列挙しない fact11: 「この大量絶滅は発送するが直り難くない」ということは成り立たないとすると見咎める fact12: この大量絶滅は見咎めない fact13: もし「あるものは列挙する一方で見咎めるということはない」ということは成り立たないとするとそれは恋愛・結婚市場である fact14: もしも「この周辺御勧めスポットは酒臭いけれどそれは指示するということはない」ということは誤っているなら「この大量絶滅は指示する」ということは事実である fact15: なんらかの物が見咎めるとしたら恋愛・結婚市場である fact16: 仮にこの大量絶滅が見咎めればそれは恋愛・結婚市場だ
void -> assump1: 以下のように仮定する。この大量絶滅は列挙するがしかしそれは見咎めるということはない; assump1 -> int1: この大量絶滅は列挙する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この大量絶滅は列挙するがしかし見咎めない」ということは成り立たない; fact13 -> int4: もしも「この大量絶滅は列挙する一方で見咎めない」ということは成り立たないならそれは恋愛・結婚市場である; int3 & int4 -> hypothesis;
この大量絶滅は恋愛・結婚市場でない
fact17 -> int5: 仮に「この周辺御勧めスポットは指示するということはないかあるいは予測し難いかまたは両方だ」ということは間違いであるとすれば列挙しない;
$facts$ = fact1: もし仮にこの大量絶滅が指示するなら恋愛・結婚市場でないしその上予測し難いということはない fact2: どれもこれもはセロハンテープである fact3: 「この大量絶滅は列挙するしそれに見咎める」ということは本当だということはない fact4: もしも「何らかのものは禍々しいけどハンプでない」ということは間違いなら流され易い fact5: この大量絶滅は列挙しない fact6: この大量絶滅はきな臭い物であって加えて見咎めない fact7: この野良着は見咎める fact8: 「何かは指示するということはないかあるいは予測し難いか両方だ」ということは誤りだとすると列挙しない fact9: もし仮にこの大量絶滅が見咎めないけど列挙するとするとその時計周りは見咎める fact10: この売り上げファイルは列挙しない fact11: 「この大量絶滅は発送するが直り難くない」ということは成り立たないとすると見咎める fact12: この大量絶滅は見咎めない fact13: もし「あるものは列挙する一方で見咎めるということはない」ということは成り立たないとするとそれは恋愛・結婚市場である fact14: もしも「この周辺御勧めスポットは酒臭いけれどそれは指示するということはない」ということは誤っているなら「この大量絶滅は指示する」ということは事実である fact15: なんらかの物が見咎めるとしたら恋愛・結婚市場である fact16: 仮にこの大量絶滅が見咎めればそれは恋愛・結婚市場だ ; $hypothesis$ = この大量絶滅は恋愛・結婚市場でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この大量絶滅は列挙するがしかしそれは見咎めるということはない; assump1 -> int1: この大量絶滅は列挙する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この大量絶滅は列挙するがしかし見咎めない」ということは成り立たない; fact13 -> int4: もしも「この大量絶滅は列挙する一方で見咎めない」ということは成り立たないならそれは恋愛・結婚市場である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの大量絶滅が指示するなら恋愛・結婚市場でないしその上予測し難いということはない
事実2: どれもこれもはセロハンテープである
事実3: 「この大量絶滅は列挙するしそれに見咎める」ということは本当だということはない
事実4: もしも「何らかのものは禍々しいけどハンプでない」ということは間違いなら流され易い
事実5: この大量絶滅は列挙しない
事実6: この大量絶滅はきな臭い物であって加えて見咎めない
事実7: この野良着は見咎める
事実8: 「何かは指示するということはないかあるいは予測し難いか両方だ」ということは誤りだとすると列挙しない
事実9: もし仮にこの大量絶滅が見咎めないけど列挙するとするとその時計周りは見咎める
事実10: この売り上げファイルは列挙しない
事実11: 「この大量絶滅は発送するが直り難くない」ということは成り立たないとすると見咎める
事実12: この大量絶滅は見咎めない
事実13: もし「あるものは列挙する一方で見咎めるということはない」ということは成り立たないとするとそれは恋愛・結婚市場である
事実14: もしも「この周辺御勧めスポットは酒臭いけれどそれは指示するということはない」ということは誤っているなら「この大量絶滅は指示する」ということは事実である
事実15: なんらかの物が見咎めるとしたら恋愛・結婚市場である
事実16: 仮にこの大量絶滅が見咎めればそれは恋愛・結婚市場だ

仮説: この大量絶滅は恋愛・結婚市場でない
1. 仮定1: 以下のように仮定する。この大量絶滅は列挙するがしかしそれは見咎めるということはない
2. 仮定1から、推論1: "この大量絶滅は列挙する"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この大量絶滅は列挙するがしかし見咎めない」ということは成り立たない"が導かれる
5. 事実13から、推論4: "もしも「この大量絶滅は列挙する一方で見咎めない」ということは成り立たないならそれは恋愛・結婚市場である"が導かれる
6. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。