「「この配偶関係は履行する」ということは成り立つとしたら「そのボートは重々しい一方で啓蒙しない」ということは間違いである」ということは事実と異なる
fact1: 仮に「そのボートはタイトルらしくないけど近い」ということは事実と異なればこの配偶関係は履行しない fact2: もしそのボートがタイトルらしいとしたらこの配偶関係は履行するということはない fact3: 「そのボートは近いがしかしそれは履行しない」ということは嘘である fact4: もしもある物は近いとすると「重々しいしその上啓蒙する」ということは確かでない fact5: 「「そのボートは履行するけれど近いということはない」ということは誤っている」ということは成り立つ fact6: そのボートは形態変化である fact7: そのボートは開会式でない fact8: 「そのボートはタイトルらしいし加えて近い」ということは成り立たない fact9: もし仮になにかは近いとしたら「それが重々しいしその上それは啓蒙しない」ということは本当でない fact10: もし仮にとある物はタイトルらしいなら「それは近いしそれは啓蒙しない」ということは誤っている fact11: 「この国語教材は聞けないがしかしそれは啓蒙する」ということは成り立つ fact12: もしも「そのボートはタイトルらしいということはないがそれは近い」ということは事実と異なればこの配偶関係は履行する fact13: 仮にとあるものはタイトルらしいとしたら「啓蒙するしおまけにそれは重々しい」ということは間違っている fact14: もし「この配偶関係は履行する」ということは真実であるとしたらそのボートは重々しい一方でそれは啓蒙しない fact15: 「この配偶関係は履行するし加えてタイトルらしい」ということは誤っている
void -> assump2: 以下のように仮定する。「「そのボートはタイトルらしくないがしかしそれは近い」ということは成り立たない」ということは確かである; fact1 & assump2 -> int1: この配偶関係は履行しない; void -> assump1: 以下のように仮定する。この配偶関係は履行する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: そのボートはタイトルらしくない一方で近い; int3 -> int4: 「そのボートは近い」ということは事実である; fact9 -> int5: 仮にそのボートは近いならば「重々しくてまたそれは啓蒙しない」ということは誤っている; int4 & int5 -> int6: 「そのボートは重々しいけど啓蒙しない」ということは偽だ; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮に「そのボートはタイトルらしくないけど近い」ということは事実と異なればこの配偶関係は履行しない fact2: もしそのボートがタイトルらしいとしたらこの配偶関係は履行するということはない fact3: 「そのボートは近いがしかしそれは履行しない」ということは嘘である fact4: もしもある物は近いとすると「重々しいしその上啓蒙する」ということは確かでない fact5: 「「そのボートは履行するけれど近いということはない」ということは誤っている」ということは成り立つ fact6: そのボートは形態変化である fact7: そのボートは開会式でない fact8: 「そのボートはタイトルらしいし加えて近い」ということは成り立たない fact9: もし仮になにかは近いとしたら「それが重々しいしその上それは啓蒙しない」ということは本当でない fact10: もし仮にとある物はタイトルらしいなら「それは近いしそれは啓蒙しない」ということは誤っている fact11: 「この国語教材は聞けないがしかしそれは啓蒙する」ということは成り立つ fact12: もしも「そのボートはタイトルらしいということはないがそれは近い」ということは事実と異なればこの配偶関係は履行する fact13: 仮にとあるものはタイトルらしいとしたら「啓蒙するしおまけにそれは重々しい」ということは間違っている fact14: もし「この配偶関係は履行する」ということは真実であるとしたらそのボートは重々しい一方でそれは啓蒙しない fact15: 「この配偶関係は履行するし加えてタイトルらしい」ということは誤っている ; $hypothesis$ = 「「この配偶関係は履行する」ということは成り立つとしたら「そのボートは重々しい一方で啓蒙しない」ということは間違いである」ということは事実と異なる ; $proof$ = 
void -> assump2: 以下のように仮定する。「「そのボートはタイトルらしくないがしかしそれは近い」ということは成り立たない」ということは確かである; fact1 & assump2 -> int1: この配偶関係は履行しない; void -> assump1: 以下のように仮定する。この配偶関係は履行する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: そのボートはタイトルらしくない一方で近い; int3 -> int4: 「そのボートは近い」ということは事実である; fact9 -> int5: 仮にそのボートは近いならば「重々しくてまたそれは啓蒙しない」ということは誤っている; int4 & int5 -> int6: 「そのボートは重々しいけど啓蒙しない」ということは偽だ; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「そのボートはタイトルらしくないけど近い」ということは事実と異なればこの配偶関係は履行しない
事実2: もしそのボートがタイトルらしいとしたらこの配偶関係は履行するということはない
事実3: 「そのボートは近いがしかしそれは履行しない」ということは嘘である
事実4: もしもある物は近いとすると「重々しいしその上啓蒙する」ということは確かでない
事実5: 「「そのボートは履行するけれど近いということはない」ということは誤っている」ということは成り立つ
事実6: そのボートは形態変化である
事実7: そのボートは開会式でない
事実8: 「そのボートはタイトルらしいし加えて近い」ということは成り立たない
事実9: もし仮になにかは近いとしたら「それが重々しいしその上それは啓蒙しない」ということは本当でない
事実10: もし仮にとある物はタイトルらしいなら「それは近いしそれは啓蒙しない」ということは誤っている
事実11: 「この国語教材は聞けないがしかしそれは啓蒙する」ということは成り立つ
事実12: もしも「そのボートはタイトルらしいということはないがそれは近い」ということは事実と異なればこの配偶関係は履行する
事実13: 仮にとあるものはタイトルらしいとしたら「啓蒙するしおまけにそれは重々しい」ということは間違っている
事実14: もし「この配偶関係は履行する」ということは真実であるとしたらそのボートは重々しい一方でそれは啓蒙しない
事実15: 「この配偶関係は履行するし加えてタイトルらしい」ということは誤っている

仮説: 「「この配偶関係は履行する」ということは成り立つとしたら「そのボートは重々しい一方で啓蒙しない」ということは間違いである」ということは事実と異なる
1. 仮定2: 以下のように仮定する。「「そのボートはタイトルらしくないがしかしそれは近い」ということは成り立たない」ということは確かである
2. 事実1と仮定2から、推論1: "この配偶関係は履行しない"が導かれる
3. 仮定1: 以下のように仮定する。この配偶関係は履行する
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "そのボートはタイトルらしくない一方で近い"が導かれる
6. 推論3から、推論4: "「そのボートは近い」ということは事実である"が導かれる
7. 事実9から、推論5: "仮にそのボートは近いならば「重々しくてまたそれは啓蒙しない」ということは誤っている"が導かれる
8. 推論4と推論5から、推論6: "「そのボートは重々しいけど啓蒙しない」ということは偽だ"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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