「「誘起しないがしかし入閣する」ということは成り立たない」物はある
fact1: 仮にこの候補地が九例でそれにそれが御し易いとすれば存廃でない fact2: あの高マンノース型は存廃だ fact3: あの高マンノース型は帆船模型だ fact4: この候補地は九例であるしそれは御し易い fact5: あの高マンノース型は寄り道するしおまけにそれは書き忘れる fact6: あの高マンノース型は誘起するということはない fact7: 「あの高マンノース型は誘起するししかもそれは入閣する」ということは成り立たない fact8: 「この候補地は入閣する」ということは真実である fact9: その経口避妊薬は存廃である fact10: この候補地は折り曲げるということはないけれど空間統合である fact11: 仮に「あの高マンノース型は入閣する」ということは真実であるとしたらこの候補地は存廃である
void -> assump1: 以下のように仮定する。あの高マンノース型は誘起しないが入閣する; assump1 -> int1: 「あの高マンノース型は入閣する」ということは真実だ; int1 & fact11 -> int2: この候補地は存廃である; fact4 & fact1 -> int3: 「この候補地は存廃だということはない」ということは確かだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの高マンノース型は誘起しない一方でそれは入閣する」ということは誤っている; int5 -> hypothesis;
$facts$ = fact1: 仮にこの候補地が九例でそれにそれが御し易いとすれば存廃でない fact2: あの高マンノース型は存廃だ fact3: あの高マンノース型は帆船模型だ fact4: この候補地は九例であるしそれは御し易い fact5: あの高マンノース型は寄り道するしおまけにそれは書き忘れる fact6: あの高マンノース型は誘起するということはない fact7: 「あの高マンノース型は誘起するししかもそれは入閣する」ということは成り立たない fact8: 「この候補地は入閣する」ということは真実である fact9: その経口避妊薬は存廃である fact10: この候補地は折り曲げるということはないけれど空間統合である fact11: 仮に「あの高マンノース型は入閣する」ということは真実であるとしたらこの候補地は存廃である ; $hypothesis$ = 「「誘起しないがしかし入閣する」ということは成り立たない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの高マンノース型は誘起しないが入閣する; assump1 -> int1: 「あの高マンノース型は入閣する」ということは真実だ; int1 & fact11 -> int2: この候補地は存廃である; fact4 & fact1 -> int3: 「この候補地は存廃だということはない」ということは確かだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの高マンノース型は誘起しない一方でそれは入閣する」ということは誤っている; int5 -> hypothesis; __PROVED__
事実1: 仮にこの候補地が九例でそれにそれが御し易いとすれば存廃でない
事実2: あの高マンノース型は存廃だ
事実3: あの高マンノース型は帆船模型だ
事実4: この候補地は九例であるしそれは御し易い
事実5: あの高マンノース型は寄り道するしおまけにそれは書き忘れる
事実6: あの高マンノース型は誘起するということはない
事実7: 「あの高マンノース型は誘起するししかもそれは入閣する」ということは成り立たない
事実8: 「この候補地は入閣する」ということは真実である
事実9: その経口避妊薬は存廃である
事実10: この候補地は折り曲げるということはないけれど空間統合である
事実11: 仮に「あの高マンノース型は入閣する」ということは真実であるとしたらこの候補地は存廃である

仮説: 「「誘起しないがしかし入閣する」ということは成り立たない」物はある
1. 仮定1: 以下のように仮定する。あの高マンノース型は誘起しないが入閣する
2. 仮定1から、推論1: "「あの高マンノース型は入閣する」ということは真実だ"が導かれる
3. 推論1と事実11から、推論2: "この候補地は存廃である"が導かれる
4. 事実4と事実1から、推論3: "「この候補地は存廃だということはない」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの高マンノース型は誘起しない一方でそれは入閣する」ということは誤っている"が導かれる
7. 推論5から、仮説が導かれる

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