その右事実は到達出来る
fact1: あの御邪魔はメインウィンドウでない fact2: とある物はこよなくないけど懇話会であるなら新し fact3: もしあの御邪魔はメインウィンドウでないなら辿るということはない fact4: あの御邪魔は辿らない fact5: もし仮に「体感しない」ものがあるとするとあの御邪魔は新しないけど懇話会だ fact6: なにがしかの物はフランス人らしいし辿ればそれは懇話会でない fact7: 仮にあの御邪魔がメインウィンドウでないとしたらそれはフランス人らしいしそれは辿らない fact8: もしも「あるものはこよなくない」ということは事実であるならそれは到達出来る fact9: もしある物が体感するとすればこよなくない fact10: もしあの御邪魔が新しとしたらその右事実は新し fact11: あの御邪魔は新しない fact12: 新しものは到達出来ないけれど体感する fact13: 「もしもフランス人らしいものが辿らないならば懇話会でない」ということは確かだ fact14: その右事実は辿る
void -> assump1: 以下のように仮定する。その右事実は体感しない; assump1 -> int1: 「体感しない」ものはある; int1 & fact5 -> int2: あの御邪魔は新しないが懇話会だ; int2 -> int3: あの御邪魔は懇話会である; fact13 -> int4: もし仮にあの御邪魔はフランス人らしいけど辿らないとしたらそれは懇話会であるということはない; fact7 & fact1 -> int5: あの御邪魔はフランス人らしいがしかし辿らない; int4 & int5 -> int6: あの御邪魔は懇話会でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その右事実は体感する; fact9 -> int9: もしその右事実が体感するとするとこよないということはない; int8 & int9 -> int10: その右事実はこよなくない; fact8 -> int11: もし仮にその右事実がこよなくないならそれは到達出来る; int10 & int11 -> hypothesis;
その右事実は到達出来ない
fact16 -> int12: 仮にその右事実は新しとすれば「到達出来ないけれど体感する」ということは間違っていない; fact15 -> int13: もしあの御邪魔がこよなくないがしかし懇話会であるとしたら新し;
$facts$ = fact1: あの御邪魔はメインウィンドウでない fact2: とある物はこよなくないけど懇話会であるなら新し fact3: もしあの御邪魔はメインウィンドウでないなら辿るということはない fact4: あの御邪魔は辿らない fact5: もし仮に「体感しない」ものがあるとするとあの御邪魔は新しないけど懇話会だ fact6: なにがしかの物はフランス人らしいし辿ればそれは懇話会でない fact7: 仮にあの御邪魔がメインウィンドウでないとしたらそれはフランス人らしいしそれは辿らない fact8: もしも「あるものはこよなくない」ということは事実であるならそれは到達出来る fact9: もしある物が体感するとすればこよなくない fact10: もしあの御邪魔が新しとしたらその右事実は新し fact11: あの御邪魔は新しない fact12: 新しものは到達出来ないけれど体感する fact13: 「もしもフランス人らしいものが辿らないならば懇話会でない」ということは確かだ fact14: その右事実は辿る ; $hypothesis$ = その右事実は到達出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。その右事実は体感しない; assump1 -> int1: 「体感しない」ものはある; int1 & fact5 -> int2: あの御邪魔は新しないが懇話会だ; int2 -> int3: あの御邪魔は懇話会である; fact13 -> int4: もし仮にあの御邪魔はフランス人らしいけど辿らないとしたらそれは懇話会であるということはない; fact7 & fact1 -> int5: あの御邪魔はフランス人らしいがしかし辿らない; int4 & int5 -> int6: あの御邪魔は懇話会でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その右事実は体感する; fact9 -> int9: もしその右事実が体感するとするとこよないということはない; int8 & int9 -> int10: その右事実はこよなくない; fact8 -> int11: もし仮にその右事実がこよなくないならそれは到達出来る; int10 & int11 -> hypothesis; __PROVED__
事実1: あの御邪魔はメインウィンドウでない
事実2: とある物はこよなくないけど懇話会であるなら新し
事実3: もしあの御邪魔はメインウィンドウでないなら辿るということはない
事実4: あの御邪魔は辿らない
事実5: もし仮に「体感しない」ものがあるとするとあの御邪魔は新しないけど懇話会だ
事実6: なにがしかの物はフランス人らしいし辿ればそれは懇話会でない
事実7: 仮にあの御邪魔がメインウィンドウでないとしたらそれはフランス人らしいしそれは辿らない
事実8: もしも「あるものはこよなくない」ということは事実であるならそれは到達出来る
事実9: もしある物が体感するとすればこよなくない
事実10: もしあの御邪魔が新しとしたらその右事実は新し
事実11: あの御邪魔は新しない
事実12: 新しものは到達出来ないけれど体感する
事実13: 「もしもフランス人らしいものが辿らないならば懇話会でない」ということは確かだ
事実14: その右事実は辿る

仮説: その右事実は到達出来る
1. 仮定1: 以下のように仮定する。その右事実は体感しない
2. 仮定1から、推論1: "「体感しない」ものはある"が導かれる
3. 推論1と事実5から、推論2: "あの御邪魔は新しないが懇話会だ"が導かれる
4. 推論2から、推論3: "あの御邪魔は懇話会である"が導かれる
5. 事実13から、推論4: "もし仮にあの御邪魔はフランス人らしいけど辿らないとしたらそれは懇話会であるということはない"が導かれる
6. 事実7と事実1から、推論5: "あの御邪魔はフランス人らしいがしかし辿らない"が導かれる
7. 推論4と推論5から、推論6: "あの御邪魔は懇話会でない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その右事実は体感する"が導かれる
10. 事実9から、推論9: "もしその右事実が体感するとするとこよないということはない"が導かれる
11. 推論8と推論9から、推論10: "その右事実はこよなくない"が導かれる
12. 事実8から、推論11: "もし仮にその右事実がこよなくないならそれは到達出来る"が導かれる
13. 推論10と推論11から、仮説が導かれる

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