もしこの導入済みが詔書であるとすればその誕生期は生めないしそれは兼業状況でない
fact1: 仮にこの導入済みは個人空間でないとすると生めないしまた詔書でない fact2: その誕生期は個人空間でない fact3: もしもこの導入済みが詔書であるならばその誕生期は兼業状況でない fact4: もし仮にこの導入済みが詔書だとすればその誕生期は生めるが兼業状況だということはない fact5: もしも「その誕生期はまどろっこしくらない」ということは成り立つとすると生めないし更に兼業状況でない fact6: もし仮にこの導入済みが詔書だとするとそのデッドは個人空間だ fact7: その誕生期は兼業状況でない fact8: もし仮にその誕生期はまどろっこしくらないとすれば生めるしそれは兼業状況であるということはない fact9: もし仮にその誕生期は個人空間であるとすれば「そのデッドは兼業状況だということはないしおまけに生めない」ということは本当である fact10: もし仮にそのデッドは個人空間であるとすればその誕生期はまどろっこしくらない fact11: その誕生期はまどろっこしくらないならそれは兼業状況でない fact12: その誕生期は生めるがしかし個人空間でない fact13: そのデッドは兼業状況である fact14: もしそのデッドが生めないとすればそれは個人空間であるということはなくて兼業状況でない fact15: 仮にその誕生期が個人空間であるとしたらそのデッドはまどろっこしい fact16: その誕生期は生めるけど詔書でない fact17: その誕生期は詔書だということはない fact18: この導入済みは個人空間である
void -> assump1: 以下のように仮定する。この導入済みは詔書だ; fact6 & assump1 -> int1: そのデッドは個人空間である; int1 & fact10 -> int2: 「その誕生期はまどろっこしくらない」ということは成り立つ; int2 & fact5 -> int3: その誕生期は生めなくてそれは兼業状況でない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にこの導入済みは個人空間でないとすると生めないしまた詔書でない fact2: その誕生期は個人空間でない fact3: もしもこの導入済みが詔書であるならばその誕生期は兼業状況でない fact4: もし仮にこの導入済みが詔書だとすればその誕生期は生めるが兼業状況だということはない fact5: もしも「その誕生期はまどろっこしくらない」ということは成り立つとすると生めないし更に兼業状況でない fact6: もし仮にこの導入済みが詔書だとするとそのデッドは個人空間だ fact7: その誕生期は兼業状況でない fact8: もし仮にその誕生期はまどろっこしくらないとすれば生めるしそれは兼業状況であるということはない fact9: もし仮にその誕生期は個人空間であるとすれば「そのデッドは兼業状況だということはないしおまけに生めない」ということは本当である fact10: もし仮にそのデッドは個人空間であるとすればその誕生期はまどろっこしくらない fact11: その誕生期はまどろっこしくらないならそれは兼業状況でない fact12: その誕生期は生めるがしかし個人空間でない fact13: そのデッドは兼業状況である fact14: もしそのデッドが生めないとすればそれは個人空間であるということはなくて兼業状況でない fact15: 仮にその誕生期が個人空間であるとしたらそのデッドはまどろっこしい fact16: その誕生期は生めるけど詔書でない fact17: その誕生期は詔書だということはない fact18: この導入済みは個人空間である ; $hypothesis$ = もしこの導入済みが詔書であるとすればその誕生期は生めないしそれは兼業状況でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この導入済みは詔書だ; fact6 & assump1 -> int1: そのデッドは個人空間である; int1 & fact10 -> int2: 「その誕生期はまどろっこしくらない」ということは成り立つ; int2 & fact5 -> int3: その誕生期は生めなくてそれは兼業状況でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にこの導入済みは個人空間でないとすると生めないしまた詔書でない
事実2: その誕生期は個人空間でない
事実3: もしもこの導入済みが詔書であるならばその誕生期は兼業状況でない
事実4: もし仮にこの導入済みが詔書だとすればその誕生期は生めるが兼業状況だということはない
事実5: もしも「その誕生期はまどろっこしくらない」ということは成り立つとすると生めないし更に兼業状況でない
事実6: もし仮にこの導入済みが詔書だとするとそのデッドは個人空間だ
事実7: その誕生期は兼業状況でない
事実8: もし仮にその誕生期はまどろっこしくらないとすれば生めるしそれは兼業状況であるということはない
事実9: もし仮にその誕生期は個人空間であるとすれば「そのデッドは兼業状況だということはないしおまけに生めない」ということは本当である
事実10: もし仮にそのデッドは個人空間であるとすればその誕生期はまどろっこしくらない
事実11: その誕生期はまどろっこしくらないならそれは兼業状況でない
事実12: その誕生期は生めるがしかし個人空間でない
事実13: そのデッドは兼業状況である
事実14: もしそのデッドが生めないとすればそれは個人空間であるということはなくて兼業状況でない
事実15: 仮にその誕生期が個人空間であるとしたらそのデッドはまどろっこしい
事実16: その誕生期は生めるけど詔書でない
事実17: その誕生期は詔書だということはない
事実18: この導入済みは個人空間である

仮説: もしこの導入済みが詔書であるとすればその誕生期は生めないしそれは兼業状況でない
1. 仮定1: 以下のように仮定する。この導入済みは詔書だ
2. 事実6と仮定1から、推論1: "そのデッドは個人空間である"が導かれる
3. 推論1と事実10から、推論2: "「その誕生期はまどろっこしくらない」ということは成り立つ"が導かれる
4. 推論2と事実5から、推論3: "その誕生期は生めなくてそれは兼業状況でない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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