あのリチウムイオンは三十年以上でない
fact1: もしもあのリチウムイオンが三十年以上でないならあの隙間時間は十五種類だししかもきりきり舞いする fact2: あの隙間時間は十五種類だ fact3: あの隙間時間は美学である fact4: 何らかのものが二十五年以上でなくてその上欠陥でないなら震撼しない fact5: もし「あの隙間時間は美学である」ということは正しいならば上り易いということはないし乗り易くない fact6: その日本キリシタン宗門史は欠陥である fact7: その日本キリシタン宗門史は十五種類だ fact8: もし仮に何らかの物が上り易いということはないならばそれは二十五年以上であるし欠陥である fact9: あのリチウムイオンは欠陥でない fact10: 仮に「なんらかの物は震撼しないがしかしそれは三十年以上である」ということは間違いであるなら三十年以上でない fact11: 何らかの物が震撼しないとするときりきり舞いするし三十年以上だ fact12: その日本キリシタン宗門史は震撼するしかつ欠陥だ fact13: あの円錐柱は震撼する fact14: もしあのリチウムイオンが三十年以上でないならあの隙間時間は十五種類だ fact15: 仮にあの隙間時間はきりきり舞いするとしたら「その日本キリシタン宗門史は震撼しない」ということは本当である
void -> assump1: 以下のように仮定する。あのリチウムイオンは三十年以上でない; fact1 & assump1 -> int1: あの隙間時間は十五種類だしきりきり舞いする; int1 -> int2: あの隙間時間はきりきり舞いする; int2 & fact15 -> int3: その日本キリシタン宗門史は震撼しない; fact12 -> int4: その日本キリシタン宗門史は震撼する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「あのリチウムイオンは三十年以上でない」ということは成り立つ
fact17 -> int6: もし仮に「あのリチウムイオンは震撼しないが三十年以上である」ということは事実と異なるとするとそれは三十年以上でない; fact19 -> int7: もしもあの隙間時間が上り易くないとするとそれは二十五年以上であるしまたそれは欠陥である; fact16 & fact18 -> int8: 「あの隙間時間は上り易くなくて乗り易くない」ということは本当である; int8 -> int9: あの隙間時間は上り易くない; int7 & int9 -> int10: あの隙間時間は二十五年以上で欠陥である; int10 -> int11: 「あの隙間時間は欠陥である」ということは本当だ; int11 -> int12: なんらかのものは欠陥だ;
$facts$ = fact1: もしもあのリチウムイオンが三十年以上でないならあの隙間時間は十五種類だししかもきりきり舞いする fact2: あの隙間時間は十五種類だ fact3: あの隙間時間は美学である fact4: 何らかのものが二十五年以上でなくてその上欠陥でないなら震撼しない fact5: もし「あの隙間時間は美学である」ということは正しいならば上り易いということはないし乗り易くない fact6: その日本キリシタン宗門史は欠陥である fact7: その日本キリシタン宗門史は十五種類だ fact8: もし仮に何らかの物が上り易いということはないならばそれは二十五年以上であるし欠陥である fact9: あのリチウムイオンは欠陥でない fact10: 仮に「なんらかの物は震撼しないがしかしそれは三十年以上である」ということは間違いであるなら三十年以上でない fact11: 何らかの物が震撼しないとするときりきり舞いするし三十年以上だ fact12: その日本キリシタン宗門史は震撼するしかつ欠陥だ fact13: あの円錐柱は震撼する fact14: もしあのリチウムイオンが三十年以上でないならあの隙間時間は十五種類だ fact15: 仮にあの隙間時間はきりきり舞いするとしたら「その日本キリシタン宗門史は震撼しない」ということは本当である ; $hypothesis$ = あのリチウムイオンは三十年以上でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのリチウムイオンは三十年以上でない; fact1 & assump1 -> int1: あの隙間時間は十五種類だしきりきり舞いする; int1 -> int2: あの隙間時間はきりきり舞いする; int2 & fact15 -> int3: その日本キリシタン宗門史は震撼しない; fact12 -> int4: その日本キリシタン宗門史は震撼する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもあのリチウムイオンが三十年以上でないならあの隙間時間は十五種類だししかもきりきり舞いする
事実2: あの隙間時間は十五種類だ
事実3: あの隙間時間は美学である
事実4: 何らかのものが二十五年以上でなくてその上欠陥でないなら震撼しない
事実5: もし「あの隙間時間は美学である」ということは正しいならば上り易いということはないし乗り易くない
事実6: その日本キリシタン宗門史は欠陥である
事実7: その日本キリシタン宗門史は十五種類だ
事実8: もし仮に何らかの物が上り易いということはないならばそれは二十五年以上であるし欠陥である
事実9: あのリチウムイオンは欠陥でない
事実10: 仮に「なんらかの物は震撼しないがしかしそれは三十年以上である」ということは間違いであるなら三十年以上でない
事実11: 何らかの物が震撼しないとするときりきり舞いするし三十年以上だ
事実12: その日本キリシタン宗門史は震撼するしかつ欠陥だ
事実13: あの円錐柱は震撼する
事実14: もしあのリチウムイオンが三十年以上でないならあの隙間時間は十五種類だ
事実15: 仮にあの隙間時間はきりきり舞いするとしたら「その日本キリシタン宗門史は震撼しない」ということは本当である

仮説: あのリチウムイオンは三十年以上でない
1. 仮定1: 以下のように仮定する。あのリチウムイオンは三十年以上でない
2. 事実1と仮定1から、推論1: "あの隙間時間は十五種類だしきりきり舞いする"が導かれる
3. 推論1から、推論2: "あの隙間時間はきりきり舞いする"が導かれる
4. 推論2と事実15から、推論3: "その日本キリシタン宗門史は震撼しない"が導かれる
5. 事実12から、推論4: "その日本キリシタン宗門史は震撼する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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