「あのサンダーボルトは生うがしかしそれは跳ね起きない」ということは成り立たない
fact1: あのサンダーボルトは跳ね起きない fact2: 仮にあのサンダーボルトがトランクルームだけど引き起こし易くないとしたらそれはおっきい fact3: もし仮にその激突はトランクルームだとしたら「あのサンダーボルトはおっきくない」ということは確かである fact4: 仮に「この窃盗事件は社交上でないがしかし心憎い」ということは誤っていれば「トランクルームでない」ということは偽であるということはない fact5: 「その激突はトランクルームであるか引き起こし易くない」ということは真実だ fact6: 何らかの物が遡れないか紛らわしくないかまたは両方であるなら心憎くない fact7: もし仮にあるものは紛らわしいとすれば「それは社交上だということはなくてかつそれは心憎い」ということは事実でない fact8: 仮に「その激突は引き起こし易くない」ということは確かだとしたらあのサンダーボルトはおっきくない fact9: 「あのサンダーボルトは生うしその上跳ね起きる」ということは正しいということはない fact10: もしもあるものが心憎くないならばこの窃盗事件は社交上であるかまたはトランクルームでないかどちらもである fact11: 何もかもは紛らわしい fact12: もしその激突が生うないならあのサンダーボルトは跳ね起きない fact13: もし仮にその激突がトランクルームであるとするとあのサンダーボルトはおっきい fact14: その極悪人は遡れるということはないかまたはそれは紛らわしくないかどちらもだ fact15: もし仮にあのサンダーボルトが生うがそれが跳ね起きないならばそれはおっきい
void -> assump1: 以下のように仮定する。あのサンダーボルトは生うけれど跳ね起きない; fact15 & assump1 -> int1: あのサンダーボルトはおっきい; fact3 & fact8 & fact5 -> int2: あのサンダーボルトはおっきくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact15 & assump1 -> int1: {B}{a}; fact3 & fact8 & fact5 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その甲状腺シンチグラフィは跳ね起きる
fact17 -> int4: その極悪人が遡れないかもしくはそれは紛らわしくないかまたはどちらもなら心憎くない; int4 & fact16 -> int5: その極悪人は心憎くない; int5 -> int6: 「「心憎くない」ということは正しい」ものはある; int6 & fact18 -> int7: この窃盗事件は社交上であるかあるいはトランクルームでないかあるいはどちらもである;
$facts$ = fact1: あのサンダーボルトは跳ね起きない fact2: 仮にあのサンダーボルトがトランクルームだけど引き起こし易くないとしたらそれはおっきい fact3: もし仮にその激突はトランクルームだとしたら「あのサンダーボルトはおっきくない」ということは確かである fact4: 仮に「この窃盗事件は社交上でないがしかし心憎い」ということは誤っていれば「トランクルームでない」ということは偽であるということはない fact5: 「その激突はトランクルームであるか引き起こし易くない」ということは真実だ fact6: 何らかの物が遡れないか紛らわしくないかまたは両方であるなら心憎くない fact7: もし仮にあるものは紛らわしいとすれば「それは社交上だということはなくてかつそれは心憎い」ということは事実でない fact8: 仮に「その激突は引き起こし易くない」ということは確かだとしたらあのサンダーボルトはおっきくない fact9: 「あのサンダーボルトは生うしその上跳ね起きる」ということは正しいということはない fact10: もしもあるものが心憎くないならばこの窃盗事件は社交上であるかまたはトランクルームでないかどちらもである fact11: 何もかもは紛らわしい fact12: もしその激突が生うないならあのサンダーボルトは跳ね起きない fact13: もし仮にその激突がトランクルームであるとするとあのサンダーボルトはおっきい fact14: その極悪人は遡れるということはないかまたはそれは紛らわしくないかどちらもだ fact15: もし仮にあのサンダーボルトが生うがそれが跳ね起きないならばそれはおっきい ; $hypothesis$ = 「あのサンダーボルトは生うがしかしそれは跳ね起きない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのサンダーボルトは生うけれど跳ね起きない; fact15 & assump1 -> int1: あのサンダーボルトはおっきい; fact3 & fact8 & fact5 -> int2: あのサンダーボルトはおっきくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あのサンダーボルトは跳ね起きない
事実2: 仮にあのサンダーボルトがトランクルームだけど引き起こし易くないとしたらそれはおっきい
事実3: もし仮にその激突はトランクルームだとしたら「あのサンダーボルトはおっきくない」ということは確かである
事実4: 仮に「この窃盗事件は社交上でないがしかし心憎い」ということは誤っていれば「トランクルームでない」ということは偽であるということはない
事実5: 「その激突はトランクルームであるか引き起こし易くない」ということは真実だ
事実6: 何らかの物が遡れないか紛らわしくないかまたは両方であるなら心憎くない
事実7: もし仮にあるものは紛らわしいとすれば「それは社交上だということはなくてかつそれは心憎い」ということは事実でない
事実8: 仮に「その激突は引き起こし易くない」ということは確かだとしたらあのサンダーボルトはおっきくない
事実9: 「あのサンダーボルトは生うしその上跳ね起きる」ということは正しいということはない
事実10: もしもあるものが心憎くないならばこの窃盗事件は社交上であるかまたはトランクルームでないかどちらもである
事実11: 何もかもは紛らわしい
事実12: もしその激突が生うないならあのサンダーボルトは跳ね起きない
事実13: もし仮にその激突がトランクルームであるとするとあのサンダーボルトはおっきい
事実14: その極悪人は遡れるということはないかまたはそれは紛らわしくないかどちらもだ
事実15: もし仮にあのサンダーボルトが生うがそれが跳ね起きないならばそれはおっきい

仮説: 「あのサンダーボルトは生うがしかしそれは跳ね起きない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あのサンダーボルトは生うけれど跳ね起きない
2. 事実15と仮定1から、推論1: "あのサンダーボルトはおっきい"が導かれる
3. 事実3と事実8と事実5から、推論2: "あのサンダーボルトはおっきくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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