「このＤさんは主する」ということは正しいとしたらその子音字はおっかしい
fact1: もしこの原子構造が入り辛いならばこのＤさんは育て易いということはないかもしくは入り辛くないかまたは両方ともだ fact2: もし仮にこの原子構造は言い掛けないとしたら「分取するけど生涯独身でない」ということは成り立たない fact3: もしこのＤさんが育て易くないとしたらそれは主するということはない fact4: その子音字は生涯独身である fact5: 「「仰々しくなくて加えて言い掛ける」ということは成り立たない」物はある fact6: もし仮にこのＤさんは生涯独身でないかあるいは育て易くないかあるいはどちらもであるとしたらそれは入り辛くない fact7: 「「仰々しいしそれに言い掛ける」ということは成り立たない」ものはある fact8: 「この原子構造は第九章だ」ということは成り立つとするとそれは入り辛い fact9: 「「第九章であるしまた育て易い」ということは成り立たない」ものはある fact10: もしも「なにがしかの物は分取する一方で生涯独身でない」ということは誤りであるならそれは分取しない fact11: もしも「「仰々しくないがしかし言い掛ける」ということは成り立つということはない」ものがあるとすればあの原子構造は言い掛けない fact12: もし仮にこの原子構造は第九章でなくて分取しないなら「その子音字はおっかしい」ということは嘘でない fact13: 育て易くないか入り辛くないかまたは両方ともな物は主しない
void -> assump2: 以下のように仮定する。この原子構造は第九章だ; fact8 & assump2 -> int1: この原子構造は入り辛い; int1 & fact1 -> int2: このＤさんは育て易くないかそれは入り辛くないかもしくは両方ともだ; fact13 -> int3: このＤさんが育て易くないかそれが入り辛くないならそれは主しない; int2 & int3 -> int4: 「このＤさんは主しない」ということは真実だ; void -> assump1: 以下のように仮定する。このＤさんは主する; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この原子構造は第九章でない; fact10 -> int7: もし「この原子構造は分取するが生涯独身でない」ということは成り立たないならそれは分取しない; fact5 & fact11 -> int8: この原子構造は言い掛けない; fact2 & int8 -> int9: 「この原子構造は分取するがそれは生涯独身でない」ということは偽だ; int7 & int9 -> int10: この原子構造は分取しない; int6 & int10 -> int11: この原子構造は第九章でないし更にそれは分取しない; int11 & fact12 -> int12: その子音字はおっかしい; [assump1] & int12 -> hypothesis;
$facts$ = fact1: もしこの原子構造が入り辛いならばこのＤさんは育て易いということはないかもしくは入り辛くないかまたは両方ともだ fact2: もし仮にこの原子構造は言い掛けないとしたら「分取するけど生涯独身でない」ということは成り立たない fact3: もしこのＤさんが育て易くないとしたらそれは主するということはない fact4: その子音字は生涯独身である fact5: 「「仰々しくなくて加えて言い掛ける」ということは成り立たない」物はある fact6: もし仮にこのＤさんは生涯独身でないかあるいは育て易くないかあるいはどちらもであるとしたらそれは入り辛くない fact7: 「「仰々しいしそれに言い掛ける」ということは成り立たない」ものはある fact8: 「この原子構造は第九章だ」ということは成り立つとするとそれは入り辛い fact9: 「「第九章であるしまた育て易い」ということは成り立たない」ものはある fact10: もしも「なにがしかの物は分取する一方で生涯独身でない」ということは誤りであるならそれは分取しない fact11: もしも「「仰々しくないがしかし言い掛ける」ということは成り立つということはない」ものがあるとすればあの原子構造は言い掛けない fact12: もし仮にこの原子構造は第九章でなくて分取しないなら「その子音字はおっかしい」ということは嘘でない fact13: 育て易くないか入り辛くないかまたは両方ともな物は主しない ; $hypothesis$ = 「このＤさんは主する」ということは正しいとしたらその子音字はおっかしい ; $proof$ = 
void -> assump2: 以下のように仮定する。この原子構造は第九章だ; fact8 & assump2 -> int1: この原子構造は入り辛い; int1 & fact1 -> int2: このＤさんは育て易くないかそれは入り辛くないかもしくは両方ともだ; fact13 -> int3: このＤさんが育て易くないかそれが入り辛くないならそれは主しない; int2 & int3 -> int4: 「このＤさんは主しない」ということは真実だ; void -> assump1: 以下のように仮定する。このＤさんは主する; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この原子構造は第九章でない; fact10 -> int7: もし「この原子構造は分取するが生涯独身でない」ということは成り立たないならそれは分取しない; fact5 & fact11 -> int8: この原子構造は言い掛けない; fact2 & int8 -> int9: 「この原子構造は分取するがそれは生涯独身でない」ということは偽だ; int7 & int9 -> int10: この原子構造は分取しない; int6 & int10 -> int11: この原子構造は第九章でないし更にそれは分取しない; int11 & fact12 -> int12: その子音字はおっかしい; [assump1] & int12 -> hypothesis; __PROVED__
事実1: もしこの原子構造が入り辛いならばこのＤさんは育て易いということはないかもしくは入り辛くないかまたは両方ともだ
事実2: もし仮にこの原子構造は言い掛けないとしたら「分取するけど生涯独身でない」ということは成り立たない
事実3: もしこのＤさんが育て易くないとしたらそれは主するということはない
事実4: その子音字は生涯独身である
事実5: 「「仰々しくなくて加えて言い掛ける」ということは成り立たない」物はある
事実6: もし仮にこのＤさんは生涯独身でないかあるいは育て易くないかあるいはどちらもであるとしたらそれは入り辛くない
事実7: 「「仰々しいしそれに言い掛ける」ということは成り立たない」ものはある
事実8: 「この原子構造は第九章だ」ということは成り立つとするとそれは入り辛い
事実9: 「「第九章であるしまた育て易い」ということは成り立たない」ものはある
事実10: もしも「なにがしかの物は分取する一方で生涯独身でない」ということは誤りであるならそれは分取しない
事実11: もしも「「仰々しくないがしかし言い掛ける」ということは成り立つということはない」ものがあるとすればあの原子構造は言い掛けない
事実12: もし仮にこの原子構造は第九章でなくて分取しないなら「その子音字はおっかしい」ということは嘘でない
事実13: 育て易くないか入り辛くないかまたは両方ともな物は主しない

仮説: 「このＤさんは主する」ということは正しいとしたらその子音字はおっかしい
1. 仮定2: 以下のように仮定する。この原子構造は第九章だ
2. 事実8と仮定2から、推論1: "この原子構造は入り辛い"が導かれる
3. 推論1と事実1から、推論2: "このＤさんは育て易くないかそれは入り辛くないかもしくは両方ともだ"が導かれる
4. 事実13から、推論3: "このＤさんが育て易くないかそれが入り辛くないならそれは主しない"が導かれる
5. 推論2と推論3から、推論4: "「このＤさんは主しない」ということは真実だ"が導かれる
6. 仮定1: 以下のように仮定する。このＤさんは主する
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "この原子構造は第九章でない"が導かれる
9. 事実10から、推論7: "もし「この原子構造は分取するが生涯独身でない」ということは成り立たないならそれは分取しない"が導かれる
10. 事実5と事実11から、推論8: "この原子構造は言い掛けない"が導かれる
11. 事実2と推論8から、推論9: "「この原子構造は分取するがそれは生涯独身でない」ということは偽だ"が導かれる
12. 推論7と推論9から、推論10: "この原子構造は分取しない"が導かれる
13. 推論6と推論10から、推論11: "この原子構造は第九章でないし更にそれは分取しない"が導かれる
14. 推論11と事実12から、推論12: "その子音字はおっかしい"が導かれる
15. [仮定1]と推論12から、仮説が導かれる

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