「もしその呼び方が凄いならばその閉幕は引き渡す」ということは成り立たない
fact1: もし仮に「その呼び方はうら若し」ということは間違いでないならばあの雪隠は柔くないけれどうら若し fact2: その反応生成物は柔い fact3: その閉幕は上げ難い fact4: なにがしかの物が飛散するということはないならばそれは引き渡さない fact5: 仮にとある物は引き渡さないとしたら「それは凄くない」ということは正しい fact6: その雪隠は柔いということはないとしたら「それは引き渡す」ということは確かである fact7: もし何らかの物がうら若しないとしたら凄くない fact8: 「その雪隠はうら若し」ということは成り立つ fact9: その呼び方が柔いしうら若しとするとその雪隠は凄い fact10: もしもその閉幕が凄いとすればその呼び方は引き渡す fact11: もしその雪隠が凄いならばその呼び方は柔くない fact12: その閉幕は凄くない fact13: もし仮にその雪隠が柔くないがうら若しならばその閉幕は引き渡す fact14: その呼び方は塩抜きでない fact15: 仮にその呼び方がうら若しないならばそれは凄い fact16: あの吉田肉腫は身罷らない fact17: もし仮にその雪隠が凄くてそれにうら若しとするとその呼び方は柔い fact18: うら若しない物は凄い fact19: もしもその呼び方がうら若しとするとその雪隠はうら若し fact20: 「仮にその呼び方が凄くないならその呼び方は柔くない」ということは事実だ fact21: その雪隠は幕内力士だということはない fact22: その閉幕は柔い
fact7 -> int1: もしその呼び方がうら若しないとするとそれは凄くない; void -> assump1: 以下のように仮定する。その呼び方はうら若しということはない; int1 & assump1 -> int2: その呼び方は凄くない; void -> assump2: 以下のように仮定する。その呼び方は凄い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その呼び方はうら若し; int4 & fact1 -> int5: その雪隠は柔くないけどうら若し; int5 & fact13 -> int6: その閉幕は引き渡す; [assump2] & int6 -> hypothesis;
もしその閉幕が飛散しないとしたら引き渡さない
fact23 -> hypothesis;
$facts$ = fact1: もし仮に「その呼び方はうら若し」ということは間違いでないならばあの雪隠は柔くないけれどうら若し fact2: その反応生成物は柔い fact3: その閉幕は上げ難い fact4: なにがしかの物が飛散するということはないならばそれは引き渡さない fact5: 仮にとある物は引き渡さないとしたら「それは凄くない」ということは正しい fact6: その雪隠は柔いということはないとしたら「それは引き渡す」ということは確かである fact7: もし何らかの物がうら若しないとしたら凄くない fact8: 「その雪隠はうら若し」ということは成り立つ fact9: その呼び方が柔いしうら若しとするとその雪隠は凄い fact10: もしもその閉幕が凄いとすればその呼び方は引き渡す fact11: もしその雪隠が凄いならばその呼び方は柔くない fact12: その閉幕は凄くない fact13: もし仮にその雪隠が柔くないがうら若しならばその閉幕は引き渡す fact14: その呼び方は塩抜きでない fact15: 仮にその呼び方がうら若しないならばそれは凄い fact16: あの吉田肉腫は身罷らない fact17: もし仮にその雪隠が凄くてそれにうら若しとするとその呼び方は柔い fact18: うら若しない物は凄い fact19: もしもその呼び方がうら若しとするとその雪隠はうら若し fact20: 「仮にその呼び方が凄くないならその呼び方は柔くない」ということは事実だ fact21: その雪隠は幕内力士だということはない fact22: その閉幕は柔い ; $hypothesis$ = 「もしその呼び方が凄いならばその閉幕は引き渡す」ということは成り立たない ; $proof$ = 
fact7 -> int1: もしその呼び方がうら若しないとするとそれは凄くない; void -> assump1: 以下のように仮定する。その呼び方はうら若しということはない; int1 & assump1 -> int2: その呼び方は凄くない; void -> assump2: 以下のように仮定する。その呼び方は凄い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その呼び方はうら若し; int4 & fact1 -> int5: その雪隠は柔くないけどうら若し; int5 & fact13 -> int6: その閉幕は引き渡す; [assump2] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮に「その呼び方はうら若し」ということは間違いでないならばあの雪隠は柔くないけれどうら若し
事実2: その反応生成物は柔い
事実3: その閉幕は上げ難い
事実4: なにがしかの物が飛散するということはないならばそれは引き渡さない
事実5: 仮にとある物は引き渡さないとしたら「それは凄くない」ということは正しい
事実6: その雪隠は柔いということはないとしたら「それは引き渡す」ということは確かである
事実7: もし何らかの物がうら若しないとしたら凄くない
事実8: 「その雪隠はうら若し」ということは成り立つ
事実9: その呼び方が柔いしうら若しとするとその雪隠は凄い
事実10: もしもその閉幕が凄いとすればその呼び方は引き渡す
事実11: もしその雪隠が凄いならばその呼び方は柔くない
事実12: その閉幕は凄くない
事実13: もし仮にその雪隠が柔くないがうら若しならばその閉幕は引き渡す
事実14: その呼び方は塩抜きでない
事実15: 仮にその呼び方がうら若しないならばそれは凄い
事実16: あの吉田肉腫は身罷らない
事実17: もし仮にその雪隠が凄くてそれにうら若しとするとその呼び方は柔い
事実18: うら若しない物は凄い
事実19: もしもその呼び方がうら若しとするとその雪隠はうら若し
事実20: 「仮にその呼び方が凄くないならその呼び方は柔くない」ということは事実だ
事実21: その雪隠は幕内力士だということはない
事実22: その閉幕は柔い

仮説: 「もしその呼び方が凄いならばその閉幕は引き渡す」ということは成り立たない
1. 事実7から、推論1: "もしその呼び方がうら若しないとするとそれは凄くない"が導かれる
2. 仮定1: 以下のように仮定する。その呼び方はうら若しということはない
3. 推論1と仮定1から、推論2: "その呼び方は凄くない"が導かれる
4. 仮定2: 以下のように仮定する。その呼び方は凄い
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その呼び方はうら若し"が導かれる
7. 推論4と事実1から、推論5: "その雪隠は柔くないけどうら若し"が導かれる
8. 推論5と事実13から、推論6: "その閉幕は引き渡す"が導かれる
9. [仮定2]と推論6から、仮説が否定される

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