もしも「この一酸化窒素は判別し易くないしそれは掛け難くない」ということは成り立たないとすればあの加給年金は怪我だ
fact1: 「「ドアだ」ということは嘘だということはない」物はあるとすれば「あの純粋培養は掛け難い」ということは事実だ fact2: 仮に「「判別し易くないしそれに掛け難くない」ということは成り立たない」ものがあるとするとあの加給年金は怪我である fact3: 仮に「この一酸化窒素は判別し易くないがしかし掛け難い」ということは成り立つということはないならばあの加給年金は怪我だ fact4: もしも「「判別し易くないけれど掛け難い」ということは事実でない」物はあるとしたら「あの加給年金は怪我だ」ということは確かである fact5: この一酸化窒素が判別し易くないし掛け難くないとしたらあの加給年金は怪我である fact6: もし仮に「判別し易くないしその上掛け難くない」ものがあるとすればあの加給年金は怪我である fact7: この一酸化窒素は掛け難い fact8: 何らかのものは掛け難い
void -> assump1: 以下のように仮定する。「この一酸化窒素は判別し易くないしそれは掛け難いということはない」ということは偽だ; assump1 -> int1: 「「判別し易くないしそれに掛け難いということはない」ということは事実でない」ものはある; int1 & fact2 -> int2: あの加給年金は怪我である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「「ドアだ」ということは嘘だということはない」物はあるとすれば「あの純粋培養は掛け難い」ということは事実だ fact2: 仮に「「判別し易くないしそれに掛け難くない」ということは成り立たない」ものがあるとするとあの加給年金は怪我である fact3: 仮に「この一酸化窒素は判別し易くないがしかし掛け難い」ということは成り立つということはないならばあの加給年金は怪我だ fact4: もしも「「判別し易くないけれど掛け難い」ということは事実でない」物はあるとしたら「あの加給年金は怪我だ」ということは確かである fact5: この一酸化窒素が判別し易くないし掛け難くないとしたらあの加給年金は怪我である fact6: もし仮に「判別し易くないしその上掛け難くない」ものがあるとすればあの加給年金は怪我である fact7: この一酸化窒素は掛け難い fact8: 何らかのものは掛け難い ; $hypothesis$ = もしも「この一酸化窒素は判別し易くないしそれは掛け難くない」ということは成り立たないとすればあの加給年金は怪我だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この一酸化窒素は判別し易くないしそれは掛け難いということはない」ということは偽だ; assump1 -> int1: 「「判別し易くないしそれに掛け難いということはない」ということは事実でない」ものはある; int1 & fact2 -> int2: あの加給年金は怪我である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「「ドアだ」ということは嘘だということはない」物はあるとすれば「あの純粋培養は掛け難い」ということは事実だ
事実2: 仮に「「判別し易くないしそれに掛け難くない」ということは成り立たない」ものがあるとするとあの加給年金は怪我である
事実3: 仮に「この一酸化窒素は判別し易くないがしかし掛け難い」ということは成り立つということはないならばあの加給年金は怪我だ
事実4: もしも「「判別し易くないけれど掛け難い」ということは事実でない」物はあるとしたら「あの加給年金は怪我だ」ということは確かである
事実5: この一酸化窒素が判別し易くないし掛け難くないとしたらあの加給年金は怪我である
事実6: もし仮に「判別し易くないしその上掛け難くない」ものがあるとすればあの加給年金は怪我である
事実7: この一酸化窒素は掛け難い
事実8: 何らかのものは掛け難い

仮説: もしも「この一酸化窒素は判別し易くないしそれは掛け難くない」ということは成り立たないとすればあの加給年金は怪我だ
1. 仮定1: 以下のように仮定する。「この一酸化窒素は判別し易くないしそれは掛け難いということはない」ということは偽だ
2. 仮定1から、推論1: "「「判別し易くないしそれに掛け難いということはない」ということは事実でない」ものはある"が導かれる
3. 推論1と事実2から、推論2: "あの加給年金は怪我である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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