「仮にそのジェズベが冷たいとするとこの御笑いは価格リスクでない」ということは成り立たない
fact1: そのジェズベは許容し得ない fact2: あの裏打ちは冷たい fact3: もしそのジェズベが労使協調だとしたらそれは冷たい fact4: 「あのＹ問題は冷たい」ということは確かだ fact5: 「仮にそのジェズベが冷たいならこの御笑いは価格リスクである」ということは本当である fact6: この球足は冷たい fact7: もし「そのジェズベは価格リスクである」ということは真実であるとすればこの御笑いは一望しない fact8: この御笑いは空々しい fact9: この御笑いが一望するならそのジェズベは価格リスクであるということはない fact10: もし仮にそのジェズベが一望すればこの御笑いは冷たくない fact11: 仮に「そのジェズベは一望する」ということは確かならばあの御笑いは価格リスクであるということはない fact12: もしこの御笑いが冷たいならばそのジェズベは価格リスクでない fact13: そのジェズベが一望するとするとこの御笑いは価格リスクだ fact14: そのジェズベはほろ苦くない fact15: もしこの御笑いが一望するならそのジェズベは十一文字でない fact16: もし仮にそのジェズベが冷たいとしたら一望する fact17: この御笑いは価格リスクである fact18: あの最右翼は価格リスクだ fact19: あの陰は冷たくない fact20: そのジェズベは価格リスクでない
void -> assump1: 以下のように仮定する。「そのジェズベは冷たい」ということは成り立つ; fact16 & assump1 -> int1: そのジェズベは一望する; int1 & fact11 -> int2: この御笑いは価格リスクであるということはない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: そのジェズベは許容し得ない fact2: あの裏打ちは冷たい fact3: もしそのジェズベが労使協調だとしたらそれは冷たい fact4: 「あのＹ問題は冷たい」ということは確かだ fact5: 「仮にそのジェズベが冷たいならこの御笑いは価格リスクである」ということは本当である fact6: この球足は冷たい fact7: もし「そのジェズベは価格リスクである」ということは真実であるとすればこの御笑いは一望しない fact8: この御笑いは空々しい fact9: この御笑いが一望するならそのジェズベは価格リスクであるということはない fact10: もし仮にそのジェズベが一望すればこの御笑いは冷たくない fact11: 仮に「そのジェズベは一望する」ということは確かならばあの御笑いは価格リスクであるということはない fact12: もしこの御笑いが冷たいならばそのジェズベは価格リスクでない fact13: そのジェズベが一望するとするとこの御笑いは価格リスクだ fact14: そのジェズベはほろ苦くない fact15: もしこの御笑いが一望するならそのジェズベは十一文字でない fact16: もし仮にそのジェズベが冷たいとしたら一望する fact17: この御笑いは価格リスクである fact18: あの最右翼は価格リスクだ fact19: あの陰は冷たくない fact20: そのジェズベは価格リスクでない ; $hypothesis$ = 「仮にそのジェズベが冷たいとするとこの御笑いは価格リスクでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのジェズベは冷たい」ということは成り立つ; fact16 & assump1 -> int1: そのジェズベは一望する; int1 & fact11 -> int2: この御笑いは価格リスクであるということはない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: そのジェズベは許容し得ない
事実2: あの裏打ちは冷たい
事実3: もしそのジェズベが労使協調だとしたらそれは冷たい
事実4: 「あのＹ問題は冷たい」ということは確かだ
事実5: 「仮にそのジェズベが冷たいならこの御笑いは価格リスクである」ということは本当である
事実6: この球足は冷たい
事実7: もし「そのジェズベは価格リスクである」ということは真実であるとすればこの御笑いは一望しない
事実8: この御笑いは空々しい
事実9: この御笑いが一望するならそのジェズベは価格リスクであるということはない
事実10: もし仮にそのジェズベが一望すればこの御笑いは冷たくない
事実11: 仮に「そのジェズベは一望する」ということは確かならばあの御笑いは価格リスクであるということはない
事実12: もしこの御笑いが冷たいならばそのジェズベは価格リスクでない
事実13: そのジェズベが一望するとするとこの御笑いは価格リスクだ
事実14: そのジェズベはほろ苦くない
事実15: もしこの御笑いが一望するならそのジェズベは十一文字でない
事実16: もし仮にそのジェズベが冷たいとしたら一望する
事実17: この御笑いは価格リスクである
事実18: あの最右翼は価格リスクだ
事実19: あの陰は冷たくない
事実20: そのジェズベは価格リスクでない

仮説: 「仮にそのジェズベが冷たいとするとこの御笑いは価格リスクでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「そのジェズベは冷たい」ということは成り立つ
2. 事実16と仮定1から、推論1: "そのジェズベは一望する"が導かれる
3. 推論1と事実11から、推論2: "この御笑いは価格リスクであるということはない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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