「仮に「細過ぎるしまた主イエスだということはない」ということは成り立たないとしたら儚くない」ものはある
fact1: もしも「何かは爻辞だ一方で絞殺しない」ということは間違いなら小暗くない fact2: もし仮にあの武備が細過ぎるということはないならば儚くない fact3: あの武備が細過ぎるがしかしそれは主イエスでないなら儚くない fact4: 仮に「あの武備は細過ぎるが主イエスでない」ということは成り立たないとしたら「それは儚くない」ということは間違いでない
fact4 -> hypothesis;
「「もし仮に「爻辞でおまけに絞殺しない」ということは嘘であるならば小暗くない」ものはある」ということは真実である
fact5 -> int1: 「あの河川Ｈは爻辞だがそれは絞殺しない」ということは成り立たないとすると小暗いということはない; int1 -> hypothesis;
$facts$ = fact1: もしも「何かは爻辞だ一方で絞殺しない」ということは間違いなら小暗くない fact2: もし仮にあの武備が細過ぎるということはないならば儚くない fact3: あの武備が細過ぎるがしかしそれは主イエスでないなら儚くない fact4: 仮に「あの武備は細過ぎるが主イエスでない」ということは成り立たないとしたら「それは儚くない」ということは間違いでない ; $hypothesis$ = 「仮に「細過ぎるしまた主イエスだということはない」ということは成り立たないとしたら儚くない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしも「何かは爻辞だ一方で絞殺しない」ということは間違いなら小暗くない
事実2: もし仮にあの武備が細過ぎるということはないならば儚くない
事実3: あの武備が細過ぎるがしかしそれは主イエスでないなら儚くない
事実4: 仮に「あの武備は細過ぎるが主イエスでない」ということは成り立たないとしたら「それは儚くない」ということは間違いでない

仮説: 「仮に「細過ぎるしまた主イエスだということはない」ということは成り立たないとしたら儚くない」ものはある
1. 事実4から、仮説が導かれる

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