もしもこの便潜血検査が落っこちるとすればあの幕臣達は把握し辛い
fact1: 何らかの物は這いずり回る fact2: とある物は盲人達でない fact3: あの非対称情報は引き去らない fact4: もしもある物が引き去るとするとそれは把握し辛い fact5: もしも「なにかは盲人達だということはないがしかし這いずり回る」ということは成り立つとすればあの便潜血検査は落っこちる fact6: あの非対称情報が這いずり回らないならばあの幕臣達は引き去る fact7: なんらかのものは盲人達でそれにそれは這いずり回る fact8: もしも「盲人達でないしさらに這いずり回る」物があればこの便潜血検査は落っこちるということはない fact9: 「あの非対称情報は盲人達でないが這いずり回る」ということは偽であるならあの幕臣達は引き去る fact10: あの非対称情報は這いずり回る
void -> assump1: 以下のように仮定する。あの非対称情報は盲人達でないが這いずり回る; assump1 -> int1: 「盲人達でなくて這いずり回る」ものはある; int1 & fact8 -> int2: この便潜血検査は落っこちない; void -> assump2: 以下のように仮定する。この便潜血検査は落っこちる; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの非対称情報は盲人達でないがしかし這いずり回る」ということは事実と異なる; int4 & fact9 -> int5: あの幕臣達は引き去る; fact4 -> int6: もし仮にあの幕臣達が引き去るとすればそれは把握し辛い; int5 & int6 -> int7: あの幕臣達は把握し辛い; [assump2] & int7 -> hypothesis;
$facts$ = fact1: 何らかの物は這いずり回る fact2: とある物は盲人達でない fact3: あの非対称情報は引き去らない fact4: もしもある物が引き去るとするとそれは把握し辛い fact5: もしも「なにかは盲人達だということはないがしかし這いずり回る」ということは成り立つとすればあの便潜血検査は落っこちる fact6: あの非対称情報が這いずり回らないならばあの幕臣達は引き去る fact7: なんらかのものは盲人達でそれにそれは這いずり回る fact8: もしも「盲人達でないしさらに這いずり回る」物があればこの便潜血検査は落っこちるということはない fact9: 「あの非対称情報は盲人達でないが這いずり回る」ということは偽であるならあの幕臣達は引き去る fact10: あの非対称情報は這いずり回る ; $hypothesis$ = もしもこの便潜血検査が落っこちるとすればあの幕臣達は把握し辛い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの非対称情報は盲人達でないが這いずり回る; assump1 -> int1: 「盲人達でなくて這いずり回る」ものはある; int1 & fact8 -> int2: この便潜血検査は落っこちない; void -> assump2: 以下のように仮定する。この便潜血検査は落っこちる; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの非対称情報は盲人達でないがしかし這いずり回る」ということは事実と異なる; int4 & fact9 -> int5: あの幕臣達は引き去る; fact4 -> int6: もし仮にあの幕臣達が引き去るとすればそれは把握し辛い; int5 & int6 -> int7: あの幕臣達は把握し辛い; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 何らかの物は這いずり回る
事実2: とある物は盲人達でない
事実3: あの非対称情報は引き去らない
事実4: もしもある物が引き去るとするとそれは把握し辛い
事実5: もしも「なにかは盲人達だということはないがしかし這いずり回る」ということは成り立つとすればあの便潜血検査は落っこちる
事実6: あの非対称情報が這いずり回らないならばあの幕臣達は引き去る
事実7: なんらかのものは盲人達でそれにそれは這いずり回る
事実8: もしも「盲人達でないしさらに這いずり回る」物があればこの便潜血検査は落っこちるということはない
事実9: 「あの非対称情報は盲人達でないが這いずり回る」ということは偽であるならあの幕臣達は引き去る
事実10: あの非対称情報は這いずり回る

仮説: もしもこの便潜血検査が落っこちるとすればあの幕臣達は把握し辛い
1. 仮定1: 以下のように仮定する。あの非対称情報は盲人達でないが這いずり回る
2. 仮定1から、推論1: "「盲人達でなくて這いずり回る」ものはある"が導かれる
3. 推論1と事実8から、推論2: "この便潜血検査は落っこちない"が導かれる
4. 仮定2: 以下のように仮定する。この便潜血検査は落っこちる
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの非対称情報は盲人達でないがしかし這いずり回る」ということは事実と異なる"が導かれる
7. 推論4と事実9から、推論5: "あの幕臣達は引き去る"が導かれる
8. 事実4から、推論6: "もし仮にあの幕臣達が引き去るとすればそれは把握し辛い"が導かれる
9. 推論5と推論6から、推論7: "あの幕臣達は把握し辛い"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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