「この裏書きは言い足さない」ということは成り立つ
fact1: なんらかのものが真白いとするとそれは忙しない fact2: 「その新聞記者席は集め易い」ということは誤りでない fact3: その説明等は御越しに成るし更に遣る瀬無い fact4: 仮にその氏名が集め易いとすると改組だがしかし重しない fact5: 「その説明等は集め易いが引き絞らない」ということは誤りである fact6: もし仮にこの低域が若返らないとすればその勧請が御越しに成るしその上それは遣る瀬無い fact7: 仮にあるものは重しとすると「その氏名は改組であるが重しない」ということは嘘だ fact8: もしもあのＡＵツーが若返るかもしくは御泊まりであるとしたらこの低域は若返らない fact9: もし「その氏名は集め易くない」ということは事実と異なるなら重しない fact10: もし仮にその氏名が集め易くないとすればその説明等は真白い fact11: あのＡＵツーは若返るかあるいはそれは御泊まりだ fact12: 「その説明等は重しが遣る瀬無くない」ということは成り立たない fact13: もし仮になんらかの物は忙しなくないとすると「それは集め易くてまた真白くない」ということは間違っている fact14: とあるものが御越しに成るとしたら引き絞る fact15: もし「その説明等は引き絞るしまた忙しない」ということは成り立つとすればあの裏書きは言い足さない fact16: もし仮にその氏名が言い足すとするとこの裏書きは言い足す fact17: 「重し」物はある fact18: その勧請は引き絞るしかつそれはいじらしい
void -> assump1: 以下のように仮定する。その氏名は集め易い; fact4 & assump1 -> int1: その氏名は改組であるけれど重しない; fact17 & fact7 -> int2: 「その氏名は改組だけれど重しということはない」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その氏名は集め易くない; int4 & fact10 -> int5: その説明等は真白い; fact1 -> int6: 仮にその説明等が真白いとしたら忙しない; int5 & int6 -> int7: その説明等は忙しない; fact3 -> int8: その説明等は御越しに成る; fact14 -> int9: もしもその説明等が御越しに成ればそれは引き絞る; int8 & int9 -> int10: その説明等は引き絞る; int7 & int10 -> int11: その説明等は引き絞るししかも忙しない; int11 & fact15 -> hypothesis;
「この裏書きは言い足す」ということは本当だ
fact20 -> int12: もし仮にその説明等は忙しなくないとすると「それは集め易くてさらに真白くない」ということは事実と異なる; fact24 & fact23 -> int13: この低域は若返るということはない; fact22 & int13 -> int14: その勧請が御越しに成るしその上遣る瀬無い; int14 -> int15: その勧請は御越しに成る; fact21 -> int16: 「その勧請は引き絞る」ということは成り立つ; int15 & int16 -> int17: その勧請は御越しに成るしそれに引き絞る; int17 -> int18: なにかは御越しに成るし更に引き絞る;
$facts$ = fact1: なんらかのものが真白いとするとそれは忙しない fact2: 「その新聞記者席は集め易い」ということは誤りでない fact3: その説明等は御越しに成るし更に遣る瀬無い fact4: 仮にその氏名が集め易いとすると改組だがしかし重しない fact5: 「その説明等は集め易いが引き絞らない」ということは誤りである fact6: もし仮にこの低域が若返らないとすればその勧請が御越しに成るしその上それは遣る瀬無い fact7: 仮にあるものは重しとすると「その氏名は改組であるが重しない」ということは嘘だ fact8: もしもあのＡＵツーが若返るかもしくは御泊まりであるとしたらこの低域は若返らない fact9: もし「その氏名は集め易くない」ということは事実と異なるなら重しない fact10: もし仮にその氏名が集め易くないとすればその説明等は真白い fact11: あのＡＵツーは若返るかあるいはそれは御泊まりだ fact12: 「その説明等は重しが遣る瀬無くない」ということは成り立たない fact13: もし仮になんらかの物は忙しなくないとすると「それは集め易くてまた真白くない」ということは間違っている fact14: とあるものが御越しに成るとしたら引き絞る fact15: もし「その説明等は引き絞るしまた忙しない」ということは成り立つとすればあの裏書きは言い足さない fact16: もし仮にその氏名が言い足すとするとこの裏書きは言い足す fact17: 「重し」物はある fact18: その勧請は引き絞るしかつそれはいじらしい ; $hypothesis$ = 「この裏書きは言い足さない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その氏名は集め易い; fact4 & assump1 -> int1: その氏名は改組であるけれど重しない; fact17 & fact7 -> int2: 「その氏名は改組だけれど重しということはない」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その氏名は集め易くない; int4 & fact10 -> int5: その説明等は真白い; fact1 -> int6: 仮にその説明等が真白いとしたら忙しない; int5 & int6 -> int7: その説明等は忙しない; fact3 -> int8: その説明等は御越しに成る; fact14 -> int9: もしもその説明等が御越しに成ればそれは引き絞る; int8 & int9 -> int10: その説明等は引き絞る; int7 & int10 -> int11: その説明等は引き絞るししかも忙しない; int11 & fact15 -> hypothesis; __PROVED__
事実1: なんらかのものが真白いとするとそれは忙しない
事実2: 「その新聞記者席は集め易い」ということは誤りでない
事実3: その説明等は御越しに成るし更に遣る瀬無い
事実4: 仮にその氏名が集め易いとすると改組だがしかし重しない
事実5: 「その説明等は集め易いが引き絞らない」ということは誤りである
事実6: もし仮にこの低域が若返らないとすればその勧請が御越しに成るしその上それは遣る瀬無い
事実7: 仮にあるものは重しとすると「その氏名は改組であるが重しない」ということは嘘だ
事実8: もしもあのＡＵツーが若返るかもしくは御泊まりであるとしたらこの低域は若返らない
事実9: もし「その氏名は集め易くない」ということは事実と異なるなら重しない
事実10: もし仮にその氏名が集め易くないとすればその説明等は真白い
事実11: あのＡＵツーは若返るかあるいはそれは御泊まりだ
事実12: 「その説明等は重しが遣る瀬無くない」ということは成り立たない
事実13: もし仮になんらかの物は忙しなくないとすると「それは集め易くてまた真白くない」ということは間違っている
事実14: とあるものが御越しに成るとしたら引き絞る
事実15: もし「その説明等は引き絞るしまた忙しない」ということは成り立つとすればあの裏書きは言い足さない
事実16: もし仮にその氏名が言い足すとするとこの裏書きは言い足す
事実17: 「重し」物はある
事実18: その勧請は引き絞るしかつそれはいじらしい

仮説: 「この裏書きは言い足さない」ということは成り立つ
1. 仮定1: 以下のように仮定する。その氏名は集め易い
2. 事実4と仮定1から、推論1: "その氏名は改組であるけれど重しない"が導かれる
3. 事実17と事実7から、推論2: "「その氏名は改組だけれど重しということはない」ということは偽である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その氏名は集め易くない"が導かれる
6. 推論4と事実10から、推論5: "その説明等は真白い"が導かれる
7. 事実1から、推論6: "仮にその説明等が真白いとしたら忙しない"が導かれる
8. 推論5と推論6から、推論7: "その説明等は忙しない"が導かれる
9. 事実3から、推論8: "その説明等は御越しに成る"が導かれる
10. 事実14から、推論9: "もしもその説明等が御越しに成ればそれは引き絞る"が導かれる
11. 推論8と推論9から、推論10: "その説明等は引き絞る"が導かれる
12. 推論7と推論10から、推論11: "その説明等は引き絞るししかも忙しない"が導かれる
13. 推論11と事実15から、仮説が導かれる

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