「その駐留は遣り易くないけれど所狭し」ということは間違いである
fact1: この七世は素晴らしない fact2: 仮にこの職業生活は遣り易くないなら「その駐留は遣り易くない一方で所狭し」ということは事実と異なる fact3: 仮にこの七世は所狭しということはないなら「その駐留は所狭くないけれど思い続ける」ということは成り立たない fact4: もし仮にこの職業生活は素晴らしなら「この七世は遣り易い」ということは本当である fact5: この七世は遣り易い fact6: あの再建途上は遣り易い fact7: この職業生活が遣り易いならばこの七世は思い続ける fact8: この医局等は所狭し fact9: その冊数は所狭し fact10: 「この職業生活は素晴らししまた遣り易い」ということは成り立たない fact11: この七世は所狭くない fact12: 「この職業生活は遣り易くて思い続ける」ということは誤りだ fact13: 「もし仮にこの七世が素晴らしないとすればあの七世は思い続けない」ということは成り立つ fact14: もし仮にこの職業生活が思い続けないならこのジは遣り易くて素晴らし
void -> assump1: 以下のように仮定する。この職業生活は遣り易い; fact7 & assump1 -> int1: この七世は思い続ける; fact13 & fact1 -> int2: この七世は思い続けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この職業生活は遣り易くない; int4 & fact2 -> hypothesis;
このジは素晴らし
$facts$ = fact1: この七世は素晴らしない fact2: 仮にこの職業生活は遣り易くないなら「その駐留は遣り易くない一方で所狭し」ということは事実と異なる fact3: 仮にこの七世は所狭しということはないなら「その駐留は所狭くないけれど思い続ける」ということは成り立たない fact4: もし仮にこの職業生活は素晴らしなら「この七世は遣り易い」ということは本当である fact5: この七世は遣り易い fact6: あの再建途上は遣り易い fact7: この職業生活が遣り易いならばこの七世は思い続ける fact8: この医局等は所狭し fact9: その冊数は所狭し fact10: 「この職業生活は素晴らししまた遣り易い」ということは成り立たない fact11: この七世は所狭くない fact12: 「この職業生活は遣り易くて思い続ける」ということは誤りだ fact13: 「もし仮にこの七世が素晴らしないとすればあの七世は思い続けない」ということは成り立つ fact14: もし仮にこの職業生活が思い続けないならこのジは遣り易くて素晴らし ; $hypothesis$ = 「その駐留は遣り易くないけれど所狭し」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この職業生活は遣り易い; fact7 & assump1 -> int1: この七世は思い続ける; fact13 & fact1 -> int2: この七世は思い続けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この職業生活は遣り易くない; int4 & fact2 -> hypothesis; __PROVED__
事実1: この七世は素晴らしない
事実2: 仮にこの職業生活は遣り易くないなら「その駐留は遣り易くない一方で所狭し」ということは事実と異なる
事実3: 仮にこの七世は所狭しということはないなら「その駐留は所狭くないけれど思い続ける」ということは成り立たない
事実4: もし仮にこの職業生活は素晴らしなら「この七世は遣り易い」ということは本当である
事実5: この七世は遣り易い
事実6: あの再建途上は遣り易い
事実7: この職業生活が遣り易いならばこの七世は思い続ける
事実8: この医局等は所狭し
事実9: その冊数は所狭し
事実10: 「この職業生活は素晴らししまた遣り易い」ということは成り立たない
事実11: この七世は所狭くない
事実12: 「この職業生活は遣り易くて思い続ける」ということは誤りだ
事実13: 「もし仮にこの七世が素晴らしないとすればあの七世は思い続けない」ということは成り立つ
事実14: もし仮にこの職業生活が思い続けないならこのジは遣り易くて素晴らし

仮説: 「その駐留は遣り易くないけれど所狭し」ということは間違いである
1. 仮定1: 以下のように仮定する。この職業生活は遣り易い
2. 事実7と仮定1から、推論1: "この七世は思い続ける"が導かれる
3. 事実13と事実1から、推論2: "この七世は思い続けない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この職業生活は遣り易くない"が導かれる
6. 推論4と事実2から、仮説が導かれる

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