「このジブラルタル海峡は拭い去らない」ということは本当だ
fact1: もしもこの期待薄が拭い去るとすればこのジブラルタル海峡は速効だ fact2: もしもこの期待薄が拭い去るかまたは十六ドットであるということはないか両方ともであるとしたらあの派出所は拭い去る fact3: 「この期待薄は人科でないしそれは速効でない」ということは成り立たない fact4: 仮にこのジブラルタル海峡が人科であるならこの期待薄は拭い去る fact5: もし「この期待薄は人科でないしそれにそれは速効でない」ということは誤っているとするとこのジブラルタル海峡は拭い去る fact6: 「この期待薄は人科でないが速効だ」ということは成り立つということはない fact7: 「この期待薄は拭い去らない一方で人科である」ということは真実であるということはない fact8: 仮にこの期待薄が拭い去るならこのジブラルタル海峡は人科だ fact9: 「この期待薄は人科であるけどそれは速効でない」ということは間違っている fact10: もし「この期待薄は速効でないしさらに拭い去らない」ということは成り立つということはないとしたらこのジブラルタル海峡は人科だ fact11: もし仮に「このジブラルタル海峡は人科でなくてかつ拭い去らない」ということは成り立たないならこの期待薄は速効である fact12: この期待薄は食事学である fact13: 「あの退職給付制度は和食レストランでない」ということは正しいなら「この期待薄は十六ドットでないか汗臭い」ということは誤っている fact14: もし「何らかのものはジャンプボールであるということはないし加えて誘起しない」ということは成り立つということはないとすればそれは和食レストランでない fact15: 「このジブラルタル海峡は浅しないがしかし人科である」ということは真実でない fact16: 「その薬局は直り難くないしそれは人科でない」ということは誤っている
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
あの派出所は拭い去る
$facts$ = fact1: もしもこの期待薄が拭い去るとすればこのジブラルタル海峡は速効だ fact2: もしもこの期待薄が拭い去るかまたは十六ドットであるということはないか両方ともであるとしたらあの派出所は拭い去る fact3: 「この期待薄は人科でないしそれは速効でない」ということは成り立たない fact4: 仮にこのジブラルタル海峡が人科であるならこの期待薄は拭い去る fact5: もし「この期待薄は人科でないしそれにそれは速効でない」ということは誤っているとするとこのジブラルタル海峡は拭い去る fact6: 「この期待薄は人科でないが速効だ」ということは成り立つということはない fact7: 「この期待薄は拭い去らない一方で人科である」ということは真実であるということはない fact8: 仮にこの期待薄が拭い去るならこのジブラルタル海峡は人科だ fact9: 「この期待薄は人科であるけどそれは速効でない」ということは間違っている fact10: もし「この期待薄は速効でないしさらに拭い去らない」ということは成り立つということはないとしたらこのジブラルタル海峡は人科だ fact11: もし仮に「このジブラルタル海峡は人科でなくてかつ拭い去らない」ということは成り立たないならこの期待薄は速効である fact12: この期待薄は食事学である fact13: 「あの退職給付制度は和食レストランでない」ということは正しいなら「この期待薄は十六ドットでないか汗臭い」ということは誤っている fact14: もし「何らかのものはジャンプボールであるということはないし加えて誘起しない」ということは成り立つということはないとすればそれは和食レストランでない fact15: 「このジブラルタル海峡は浅しないがしかし人科である」ということは真実でない fact16: 「その薬局は直り難くないしそれは人科でない」ということは誤っている ; $hypothesis$ = 「このジブラルタル海峡は拭い去らない」ということは本当だ ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの期待薄が拭い去るとすればこのジブラルタル海峡は速効だ
事実2: もしもこの期待薄が拭い去るかまたは十六ドットであるということはないか両方ともであるとしたらあの派出所は拭い去る
事実3: 「この期待薄は人科でないしそれは速効でない」ということは成り立たない
事実4: 仮にこのジブラルタル海峡が人科であるならこの期待薄は拭い去る
事実5: もし「この期待薄は人科でないしそれにそれは速効でない」ということは誤っているとするとこのジブラルタル海峡は拭い去る
事実6: 「この期待薄は人科でないが速効だ」ということは成り立つということはない
事実7: 「この期待薄は拭い去らない一方で人科である」ということは真実であるということはない
事実8: 仮にこの期待薄が拭い去るならこのジブラルタル海峡は人科だ
事実9: 「この期待薄は人科であるけどそれは速効でない」ということは間違っている
事実10: もし「この期待薄は速効でないしさらに拭い去らない」ということは成り立つということはないとしたらこのジブラルタル海峡は人科だ
事実11: もし仮に「このジブラルタル海峡は人科でなくてかつ拭い去らない」ということは成り立たないならこの期待薄は速効である
事実12: この期待薄は食事学である
事実13: 「あの退職給付制度は和食レストランでない」ということは正しいなら「この期待薄は十六ドットでないか汗臭い」ということは誤っている
事実14: もし「何らかのものはジャンプボールであるということはないし加えて誘起しない」ということは成り立つということはないとすればそれは和食レストランでない
事実15: 「このジブラルタル海峡は浅しないがしかし人科である」ということは真実でない
事実16: 「その薬局は直り難くないしそれは人科でない」ということは誤っている

仮説: 「このジブラルタル海峡は拭い去らない」ということは本当だ
1. 事実5と事実3から、仮説が否定される

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