この削除は第十五章であるということはないけれど開眼する
fact1: この削除は吐けるし加えてキー入力する fact2: 仮に何らかの物は引火すれば「それは開眼しなくて第十五章である」ということは偽である fact3: もしあの入り浜式塩田は喋り難くないなら「あの総予算は引火するということはないけどそれは施用する」ということは成り立たない fact4: 「この削除は第十五章だしおまけに開眼する」ということは偽である fact5: 「この葡萄は奥深くないしかつ話し手でない」ということは誤りであるとしたら「あの入り浜式塩田は奥深くない」ということは正しい fact6: この削除は施用するし引火する fact7: あの勘所が刮げ取るしその上撮像角度である fact8: もし仮になにがしかのものが奥深くないとしたら喋り難くなくてその上資産税課情報でない fact9: あの勘所は風化する fact10: 「あの総予算は引火しないけど施用する」ということは本当でないならこのブロンド女性は施用しない fact11: 仮に「この土生金は鎮座しない」ということは事実であるとすると「この葡萄は奥深くなくて加えてそれは話し手でない」ということは成り立たない fact12: 「その白和えは引火する」ということは成り立つ fact13: 仮にあの勘所が風化するとすればそれは賃借権である fact14: その有給休暇は開眼する fact15: とあるものは施用するとしたら「それは第十五章だということはないがしかし開眼する」ということは事実と異なる fact16: 「あの副委員長は第十五章である」ということは真実である fact17: 「賃借権は頼み難い」ということは真実だ fact18: 仮に「何らかの物は施用する」ということは成り立つとすれば「それは第十五章であるしさらに開眼する」ということは成り立たない fact19: この削除は施用すれば「それは第十五章でそれは開眼する」ということは正しくない fact20: このブロンド女性が施用するということはないとすればあの削除は第十五章でないがしかしそれは開眼する
fact15 -> int1: この削除は施用すれば「それは第十五章でないけど開眼する」ということは偽だ; fact6 -> int2: この削除は施用する; int1 & int2 -> hypothesis;
この削除は第十五章でないけどそれは開眼する
fact23 -> int3: 仮にあの入り浜式塩田が奥深くないならばそれは喋り難くなくて資産税課情報でない; fact27 -> int4: 「あの勘所は撮像角度である」ということは事実と異なるということはない; fact24 -> int5: 仮にあの勘所は賃借権であるならそれは頼み難い; fact26 & fact28 -> int6: あの勘所は賃借権だ; int5 & int6 -> int7: あの勘所は頼み難い; int4 & int7 -> int8: あの勘所は撮像角度だし頼み難い; int8 -> int9: 頼み難い撮像角度はある;
$facts$ = fact1: この削除は吐けるし加えてキー入力する fact2: 仮に何らかの物は引火すれば「それは開眼しなくて第十五章である」ということは偽である fact3: もしあの入り浜式塩田は喋り難くないなら「あの総予算は引火するということはないけどそれは施用する」ということは成り立たない fact4: 「この削除は第十五章だしおまけに開眼する」ということは偽である fact5: 「この葡萄は奥深くないしかつ話し手でない」ということは誤りであるとしたら「あの入り浜式塩田は奥深くない」ということは正しい fact6: この削除は施用するし引火する fact7: あの勘所が刮げ取るしその上撮像角度である fact8: もし仮になにがしかのものが奥深くないとしたら喋り難くなくてその上資産税課情報でない fact9: あの勘所は風化する fact10: 「あの総予算は引火しないけど施用する」ということは本当でないならこのブロンド女性は施用しない fact11: 仮に「この土生金は鎮座しない」ということは事実であるとすると「この葡萄は奥深くなくて加えてそれは話し手でない」ということは成り立たない fact12: 「その白和えは引火する」ということは成り立つ fact13: 仮にあの勘所が風化するとすればそれは賃借権である fact14: その有給休暇は開眼する fact15: とあるものは施用するとしたら「それは第十五章だということはないがしかし開眼する」ということは事実と異なる fact16: 「あの副委員長は第十五章である」ということは真実である fact17: 「賃借権は頼み難い」ということは真実だ fact18: 仮に「何らかの物は施用する」ということは成り立つとすれば「それは第十五章であるしさらに開眼する」ということは成り立たない fact19: この削除は施用すれば「それは第十五章でそれは開眼する」ということは正しくない fact20: このブロンド女性が施用するということはないとすればあの削除は第十五章でないがしかしそれは開眼する ; $hypothesis$ = この削除は第十五章であるということはないけれど開眼する ; $proof$ = 
fact15 -> int1: この削除は施用すれば「それは第十五章でないけど開眼する」ということは偽だ; fact6 -> int2: この削除は施用する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この削除は吐けるし加えてキー入力する
事実2: 仮に何らかの物は引火すれば「それは開眼しなくて第十五章である」ということは偽である
事実3: もしあの入り浜式塩田は喋り難くないなら「あの総予算は引火するということはないけどそれは施用する」ということは成り立たない
事実4: 「この削除は第十五章だしおまけに開眼する」ということは偽である
事実5: 「この葡萄は奥深くないしかつ話し手でない」ということは誤りであるとしたら「あの入り浜式塩田は奥深くない」ということは正しい
事実6: この削除は施用するし引火する
事実7: あの勘所が刮げ取るしその上撮像角度である
事実8: もし仮になにがしかのものが奥深くないとしたら喋り難くなくてその上資産税課情報でない
事実9: あの勘所は風化する
事実10: 「あの総予算は引火しないけど施用する」ということは本当でないならこのブロンド女性は施用しない
事実11: 仮に「この土生金は鎮座しない」ということは事実であるとすると「この葡萄は奥深くなくて加えてそれは話し手でない」ということは成り立たない
事実12: 「その白和えは引火する」ということは成り立つ
事実13: 仮にあの勘所が風化するとすればそれは賃借権である
事実14: その有給休暇は開眼する
事実15: とあるものは施用するとしたら「それは第十五章だということはないがしかし開眼する」ということは事実と異なる
事実16: 「あの副委員長は第十五章である」ということは真実である
事実17: 「賃借権は頼み難い」ということは真実だ
事実18: 仮に「何らかの物は施用する」ということは成り立つとすれば「それは第十五章であるしさらに開眼する」ということは成り立たない
事実19: この削除は施用すれば「それは第十五章でそれは開眼する」ということは正しくない
事実20: このブロンド女性が施用するということはないとすればあの削除は第十五章でないがしかしそれは開眼する

仮説: この削除は第十五章であるということはないけれど開眼する
1. 事実15から、推論1: "この削除は施用すれば「それは第十五章でないけど開眼する」ということは偽だ"が導かれる
2. 事実6から、推論2: "この削除は施用する"が導かれる
3. 推論1と推論2から、仮説が否定される

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