「もし仮に「この男湯は減封するということはない」ということは成り立つならばあの巣は緊張しないがしかし渡り合える」ということは偽だ
fact1: もしこの男湯は減封しないとすれば「その作業手順は遜色無くなくて更にそれは灰色っぽくない」ということは誤っている fact2: この第二次調査時はカレールーだということはないし合格点であるということはない fact3: もしもなんらかのものは吹き下ろさないとしたら「緊張しない」ということは誤っているということはない fact4: 仮になんらかの物が不審がるということはないとしたら離れ過ぎるし加えて渡り合える fact5: もしもこの第二次調査時がカレールーだということはなくてまた合格点だということはないとすればあの巣は不審がらない fact6: もしも「その作業手順は遜色無いということはないし灰色っぽくない」ということは成り立たないならあの巣は吹き下ろさない
void -> assump1: 以下のように仮定する。この男湯は減封しない; fact1 & assump1 -> int1: 「その作業手順は遜色無くなくてそれは灰色っぽくない」ということは偽である; int1 & fact6 -> int2: あの巣は吹き下ろさない; fact3 -> int3: もしもあの巣が吹き下ろすということはないならば緊張しない; int2 & int3 -> int4: あの巣は緊張しない; fact4 -> int5: あの巣が不審がらないならばそれは離れ過ぎるしそれに渡り合える; fact2 & fact5 -> int6: あの巣は不審がらない; int5 & int6 -> int7: あの巣は離れ過ぎるし渡り合える; int7 -> int8: あの巣は渡り合える; int4 & int8 -> int9: あの巣は緊張しないけれど渡り合える; [assump1] & int9 -> hypothesis;
$facts$ = fact1: もしこの男湯は減封しないとすれば「その作業手順は遜色無くなくて更にそれは灰色っぽくない」ということは誤っている fact2: この第二次調査時はカレールーだということはないし合格点であるということはない fact3: もしもなんらかのものは吹き下ろさないとしたら「緊張しない」ということは誤っているということはない fact4: 仮になんらかの物が不審がるということはないとしたら離れ過ぎるし加えて渡り合える fact5: もしもこの第二次調査時がカレールーだということはなくてまた合格点だということはないとすればあの巣は不審がらない fact6: もしも「その作業手順は遜色無いということはないし灰色っぽくない」ということは成り立たないならあの巣は吹き下ろさない ; $hypothesis$ = 「もし仮に「この男湯は減封するということはない」ということは成り立つならばあの巣は緊張しないがしかし渡り合える」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この男湯は減封しない; fact1 & assump1 -> int1: 「その作業手順は遜色無くなくてそれは灰色っぽくない」ということは偽である; int1 & fact6 -> int2: あの巣は吹き下ろさない; fact3 -> int3: もしもあの巣が吹き下ろすということはないならば緊張しない; int2 & int3 -> int4: あの巣は緊張しない; fact4 -> int5: あの巣が不審がらないならばそれは離れ過ぎるしそれに渡り合える; fact2 & fact5 -> int6: あの巣は不審がらない; int5 & int6 -> int7: あの巣は離れ過ぎるし渡り合える; int7 -> int8: あの巣は渡り合える; int4 & int8 -> int9: あの巣は緊張しないけれど渡り合える; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もしこの男湯は減封しないとすれば「その作業手順は遜色無くなくて更にそれは灰色っぽくない」ということは誤っている
事実2: この第二次調査時はカレールーだということはないし合格点であるということはない
事実3: もしもなんらかのものは吹き下ろさないとしたら「緊張しない」ということは誤っているということはない
事実4: 仮になんらかの物が不審がるということはないとしたら離れ過ぎるし加えて渡り合える
事実5: もしもこの第二次調査時がカレールーだということはなくてまた合格点だということはないとすればあの巣は不審がらない
事実6: もしも「その作業手順は遜色無いということはないし灰色っぽくない」ということは成り立たないならあの巣は吹き下ろさない

仮説: 「もし仮に「この男湯は減封するということはない」ということは成り立つならばあの巣は緊張しないがしかし渡り合える」ということは偽だ
1. 仮定1: 以下のように仮定する。この男湯は減封しない
2. 事実1と仮定1から、推論1: "「その作業手順は遜色無くなくてそれは灰色っぽくない」ということは偽である"が導かれる
3. 推論1と事実6から、推論2: "あの巣は吹き下ろさない"が導かれる
4. 事実3から、推論3: "もしもあの巣が吹き下ろすということはないならば緊張しない"が導かれる
5. 推論2と推論3から、推論4: "あの巣は緊張しない"が導かれる
6. 事実4から、推論5: "あの巣が不審がらないならばそれは離れ過ぎるしそれに渡り合える"が導かれる
7. 事実2と事実5から、推論6: "あの巣は不審がらない"が導かれる
8. 推論5と推論6から、推論7: "あの巣は離れ過ぎるし渡り合える"が導かれる
9. 推論7から、推論8: "あの巣は渡り合える"が導かれる
10. 推論4と推論8から、推論9: "あの巣は緊張しないけれど渡り合える"が導かれる
11. [仮定1]と推論9から、仮説が否定される

よって、仮説が否定されました。