この警察沙汰は新編国歌大観でない
fact1: ある物はすばしこいしそれにコントローラーである fact2: もしもこの二付は下船しないならば「それは商品政策だということはないが貢献す」ということは成り立たない fact3: もし仮にこの関係職種は公認会計士・監査法人でないならば「帰り着けないしそれは涙ぐむ」ということは成り立たない fact4: あの検疫が三月□日報告だとすればそれは貢献す fact5: もしも「「すばしこいしおまけに貢献す」ということは成り立たない」ものがあればこの二付はすばしこくない fact6: もしもあるものが貢献すということはないとしたら商品政策であるしそれにすばしこい fact7: もし仮にこの二付が商品政策だしすばしこいならばこの警察沙汰はすばしこくない fact8: もしも「あの検疫はコントローラーである一方で三月□日報告だということはない」ということは正しいとすればこの二付は三月□日報告でない fact9: 「「すばしこくてコントローラーである」ということは嘘である」物はある fact10: あの検疫は三月□日報告だ fact11: 仮に「「すばしこくてかつコントローラーだ」ということは間違いである」物があるならこの二付はすばしこくない fact12: もし仮に「この二付は下船しないが新編国歌大観である」ということは成り立たないとしたらこの警察沙汰は商品政策でない fact13: ある物は三月□日報告であるということはないならそれは貢献すらない fact14: 仮に「この二付は下船する」ということは事実だとすればすばしこい fact15: この二付が貢献すらないとしたらこの警察沙汰は新編国歌大観でない fact16: 仮に「この二付は商品政策でないがしかし貢献す」ということは事実と異なるとすればこの警察沙汰は新編国歌大観でない
void -> assump1: 以下のように仮定する。この二付は下船する; fact14 & assump1 -> int1: この二付はすばしこい; fact11 & fact9 -> int2: この二付はすばしこくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この二付は下船しない; int4 & fact2 -> int5: 「この二付は商品政策でないけれど貢献す」ということは誤っている; int5 & fact16 -> hypothesis;
この警察沙汰は新編国歌大観だ
fact17 -> int6: もし仮にこの二付が貢献すらないならそれは商品政策であるしそれはすばしこい; fact19 -> int7: この二付は三月□日報告でないとしたら貢献すということはない;
$facts$ = fact1: ある物はすばしこいしそれにコントローラーである fact2: もしもこの二付は下船しないならば「それは商品政策だということはないが貢献す」ということは成り立たない fact3: もし仮にこの関係職種は公認会計士・監査法人でないならば「帰り着けないしそれは涙ぐむ」ということは成り立たない fact4: あの検疫が三月□日報告だとすればそれは貢献す fact5: もしも「「すばしこいしおまけに貢献す」ということは成り立たない」ものがあればこの二付はすばしこくない fact6: もしもあるものが貢献すということはないとしたら商品政策であるしそれにすばしこい fact7: もし仮にこの二付が商品政策だしすばしこいならばこの警察沙汰はすばしこくない fact8: もしも「あの検疫はコントローラーである一方で三月□日報告だということはない」ということは正しいとすればこの二付は三月□日報告でない fact9: 「「すばしこくてコントローラーである」ということは嘘である」物はある fact10: あの検疫は三月□日報告だ fact11: 仮に「「すばしこくてかつコントローラーだ」ということは間違いである」物があるならこの二付はすばしこくない fact12: もし仮に「この二付は下船しないが新編国歌大観である」ということは成り立たないとしたらこの警察沙汰は商品政策でない fact13: ある物は三月□日報告であるということはないならそれは貢献すらない fact14: 仮に「この二付は下船する」ということは事実だとすればすばしこい fact15: この二付が貢献すらないとしたらこの警察沙汰は新編国歌大観でない fact16: 仮に「この二付は商品政策でないがしかし貢献す」ということは事実と異なるとすればこの警察沙汰は新編国歌大観でない ; $hypothesis$ = この警察沙汰は新編国歌大観でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この二付は下船する; fact14 & assump1 -> int1: この二付はすばしこい; fact11 & fact9 -> int2: この二付はすばしこくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この二付は下船しない; int4 & fact2 -> int5: 「この二付は商品政策でないけれど貢献す」ということは誤っている; int5 & fact16 -> hypothesis; __PROVED__
事実1: ある物はすばしこいしそれにコントローラーである
事実2: もしもこの二付は下船しないならば「それは商品政策だということはないが貢献す」ということは成り立たない
事実3: もし仮にこの関係職種は公認会計士・監査法人でないならば「帰り着けないしそれは涙ぐむ」ということは成り立たない
事実4: あの検疫が三月□日報告だとすればそれは貢献す
事実5: もしも「「すばしこいしおまけに貢献す」ということは成り立たない」ものがあればこの二付はすばしこくない
事実6: もしもあるものが貢献すということはないとしたら商品政策であるしそれにすばしこい
事実7: もし仮にこの二付が商品政策だしすばしこいならばこの警察沙汰はすばしこくない
事実8: もしも「あの検疫はコントローラーである一方で三月□日報告だということはない」ということは正しいとすればこの二付は三月□日報告でない
事実9: 「「すばしこくてコントローラーである」ということは嘘である」物はある
事実10: あの検疫は三月□日報告だ
事実11: 仮に「「すばしこくてかつコントローラーだ」ということは間違いである」物があるならこの二付はすばしこくない
事実12: もし仮に「この二付は下船しないが新編国歌大観である」ということは成り立たないとしたらこの警察沙汰は商品政策でない
事実13: ある物は三月□日報告であるということはないならそれは貢献すらない
事実14: 仮に「この二付は下船する」ということは事実だとすればすばしこい
事実15: この二付が貢献すらないとしたらこの警察沙汰は新編国歌大観でない
事実16: 仮に「この二付は商品政策でないがしかし貢献す」ということは事実と異なるとすればこの警察沙汰は新編国歌大観でない

仮説: この警察沙汰は新編国歌大観でない
1. 仮定1: 以下のように仮定する。この二付は下船する
2. 事実14と仮定1から、推論1: "この二付はすばしこい"が導かれる
3. 事実11と事実9から、推論2: "この二付はすばしこくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この二付は下船しない"が導かれる
6. 推論4と事実2から、推論5: "「この二付は商品政策でないけれど貢献す」ということは誤っている"が導かれる
7. 推論5と事実16から、仮説が導かれる

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