あのトレーニングははしたない
fact1: あのトレーニングは構成者でないとするとそれははしたなくない fact2: 「「その危機的状況は迷い難くない」ということは成り立つということはない」ということは成り立つ fact3: その危機的状況は構成者でないなら突き進まない fact4: あのトレーニングが構成者だしまたそれは進捗する fact5: もしもその危機的状況は撮像素子でないならば「あのトレーニングはメシマ瘤だしはしたない」ということは成り立つということはない fact6: その危機的状況は撮像素子だ fact7: もしその危機的状況が突き進まないならばあのトレーニングは御話し頂くしかつそれははしたない fact8: もしも「その危機的状況は御話し頂かない」ということは本当であるとしたら「それが撮像素子だし突き進む」ということは成り立たない fact9: もし仮になにがしかの物はメシマ瘤であるかもしくは撮像素子であるかあるいはどちらもであるなら構成者でない
fact6 -> int1: その危機的状況はメシマ瘤であるかまたは撮像素子であるかあるいはどちらもだ; fact9 -> int2: 仮にその危機的状況がメシマ瘤であるかあるいは撮像素子であるとすると構成者でない; int1 & int2 -> int3: その危機的状況は構成者でない; int3 & fact3 -> int4: その危機的状況は突き進まない; int4 & fact7 -> int5: あのトレーニングは御話し頂くし加えてはしたない; int5 -> hypothesis;
あのトレーニングははしたなくない
$facts$ = fact1: あのトレーニングは構成者でないとするとそれははしたなくない fact2: 「「その危機的状況は迷い難くない」ということは成り立つということはない」ということは成り立つ fact3: その危機的状況は構成者でないなら突き進まない fact4: あのトレーニングが構成者だしまたそれは進捗する fact5: もしもその危機的状況は撮像素子でないならば「あのトレーニングはメシマ瘤だしはしたない」ということは成り立つということはない fact6: その危機的状況は撮像素子だ fact7: もしその危機的状況が突き進まないならばあのトレーニングは御話し頂くしかつそれははしたない fact8: もしも「その危機的状況は御話し頂かない」ということは本当であるとしたら「それが撮像素子だし突き進む」ということは成り立たない fact9: もし仮になにがしかの物はメシマ瘤であるかもしくは撮像素子であるかあるいはどちらもであるなら構成者でない ; $hypothesis$ = あのトレーニングははしたない ; $proof$ = 
fact6 -> int1: その危機的状況はメシマ瘤であるかまたは撮像素子であるかあるいはどちらもだ; fact9 -> int2: 仮にその危機的状況がメシマ瘤であるかあるいは撮像素子であるとすると構成者でない; int1 & int2 -> int3: その危機的状況は構成者でない; int3 & fact3 -> int4: その危機的状況は突き進まない; int4 & fact7 -> int5: あのトレーニングは御話し頂くし加えてはしたない; int5 -> hypothesis; __PROVED__
事実1: あのトレーニングは構成者でないとするとそれははしたなくない
事実2: 「「その危機的状況は迷い難くない」ということは成り立つということはない」ということは成り立つ
事実3: その危機的状況は構成者でないなら突き進まない
事実4: あのトレーニングが構成者だしまたそれは進捗する
事実5: もしもその危機的状況は撮像素子でないならば「あのトレーニングはメシマ瘤だしはしたない」ということは成り立つということはない
事実6: その危機的状況は撮像素子だ
事実7: もしその危機的状況が突き進まないならばあのトレーニングは御話し頂くしかつそれははしたない
事実8: もしも「その危機的状況は御話し頂かない」ということは本当であるとしたら「それが撮像素子だし突き進む」ということは成り立たない
事実9: もし仮になにがしかの物はメシマ瘤であるかもしくは撮像素子であるかあるいはどちらもであるなら構成者でない

仮説: あのトレーニングははしたない
1. 事実6から、推論1: "その危機的状況はメシマ瘤であるかまたは撮像素子であるかあるいはどちらもだ"が導かれる
2. 事実9から、推論2: "仮にその危機的状況がメシマ瘤であるかあるいは撮像素子であるとすると構成者でない"が導かれる
3. 推論1と推論2から、推論3: "その危機的状況は構成者でない"が導かれる
4. 推論3と事実3から、推論4: "その危機的状況は突き進まない"が導かれる
5. 推論4と事実7から、推論5: "あのトレーニングは御話し頂くし加えてはしたない"が導かれる
6. 推論5から、仮説が導かれる

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