仮にあのドイツ潜水艦は現われ易いとしたら「その租税手続き法は安眠出来ない一方で消印する」ということは誤っている
fact1: 「仮に「「譜代派でないしかつ自覚すらない」ということは成り立つということはない」ものがあればこの保安上は安眠出来る」ということは事実だ fact2: もしもあのドイツ潜水艦は現われ易いなら「あの堕胎は譜代派でないしその上自覚すということはない」ということは誤りだ fact3: もし「この保安上は安眠出来る」ということは本当なら「「その租税手続き法は安眠出来ないが消印する」ということは間違っていない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「あのドイツ潜水艦は現われ易い」ということは成り立つ; fact2 & assump1 -> int1: 「あの堕胎は譜代派でなくて自覚すらない」ということは間違いである; int1 -> int2: 「「譜代派だということはないしその上自覚さない」ということは誤りである」物はある; int2 & fact1 -> int3: この保安上は安眠出来る; int3 & fact3 -> int4: 「その租税手続き法は安眠出来ない一方で消印する」ということは間違いである; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「仮に「「譜代派でないしかつ自覚すらない」ということは成り立つということはない」ものがあればこの保安上は安眠出来る」ということは事実だ fact2: もしもあのドイツ潜水艦は現われ易いなら「あの堕胎は譜代派でないしその上自覚すということはない」ということは誤りだ fact3: もし「この保安上は安眠出来る」ということは本当なら「「その租税手続き法は安眠出来ないが消印する」ということは間違っていない」ということは成り立つということはない ; $hypothesis$ = 仮にあのドイツ潜水艦は現われ易いとしたら「その租税手続き法は安眠出来ない一方で消印する」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのドイツ潜水艦は現われ易い」ということは成り立つ; fact2 & assump1 -> int1: 「あの堕胎は譜代派でなくて自覚すらない」ということは間違いである; int1 -> int2: 「「譜代派だということはないしその上自覚さない」ということは誤りである」物はある; int2 & fact1 -> int3: この保安上は安眠出来る; int3 & fact3 -> int4: 「その租税手続き法は安眠出来ない一方で消印する」ということは間違いである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「仮に「「譜代派でないしかつ自覚すらない」ということは成り立つということはない」ものがあればこの保安上は安眠出来る」ということは事実だ
事実2: もしもあのドイツ潜水艦は現われ易いなら「あの堕胎は譜代派でないしその上自覚すということはない」ということは誤りだ
事実3: もし「この保安上は安眠出来る」ということは本当なら「「その租税手続き法は安眠出来ないが消印する」ということは間違っていない」ということは成り立つということはない

仮説: 仮にあのドイツ潜水艦は現われ易いとしたら「その租税手続き法は安眠出来ない一方で消印する」ということは誤っている
1. 仮定1: 以下のように仮定する。「あのドイツ潜水艦は現われ易い」ということは成り立つ
2. 事実2と仮定1から、推論1: "「あの堕胎は譜代派でなくて自覚すらない」ということは間違いである"が導かれる
3. 推論1から、推論2: "「「譜代派だということはないしその上自覚さない」ということは誤りである」物はある"が導かれる
4. 推論2と事実1から、推論3: "この保安上は安眠出来る"が導かれる
5. 推論3と事実3から、推論4: "「その租税手続き法は安眠出来ない一方で消印する」ということは間違いである"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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