「仮にその山本プロは近しなら「この研磨ナイロンパッドは述べ合う」ということは成り立つ」ということは誤っている
fact1: 仮にこの学期が平らがないならばその山本プロは飛び込むかあるいは該ポリヌクレオチドであるかもしくはどちらもだ fact2: もし仮にその山本プロが飛び込むかもしくはそれが該ポリヌクレオチドだとしたらそれは近しない fact3: この研磨ナイロンパッドが現われ難いとしたら述べ合う fact4: 仮にこの学期が平らぐとすればあの研磨ナイロンパッドは現われ難い
void -> assump2: 以下のように仮定する。この学期が平らはない; fact1 & assump2 -> int1: その山本プロは飛び込むかまたは該ポリヌクレオチドである; int1 & fact2 -> int2: その山本プロは近しない; void -> assump1: 以下のように仮定する。「その山本プロは近し」ということは真実だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この学期は平らぐ; int4 & fact4 -> int5: この研磨ナイロンパッドは現われ難い; int5 & fact3 -> int6: この研磨ナイロンパッドは述べ合う; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮にこの学期が平らがないならばその山本プロは飛び込むかあるいは該ポリヌクレオチドであるかもしくはどちらもだ fact2: もし仮にその山本プロが飛び込むかもしくはそれが該ポリヌクレオチドだとしたらそれは近しない fact3: この研磨ナイロンパッドが現われ難いとしたら述べ合う fact4: 仮にこの学期が平らぐとすればあの研磨ナイロンパッドは現われ難い ; $hypothesis$ = 「仮にその山本プロは近しなら「この研磨ナイロンパッドは述べ合う」ということは成り立つ」ということは誤っている ; $proof$ = 
void -> assump2: 以下のように仮定する。この学期が平らはない; fact1 & assump2 -> int1: その山本プロは飛び込むかまたは該ポリヌクレオチドである; int1 & fact2 -> int2: その山本プロは近しない; void -> assump1: 以下のように仮定する。「その山本プロは近し」ということは真実だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この学期は平らぐ; int4 & fact4 -> int5: この研磨ナイロンパッドは現われ難い; int5 & fact3 -> int6: この研磨ナイロンパッドは述べ合う; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮にこの学期が平らがないならばその山本プロは飛び込むかあるいは該ポリヌクレオチドであるかもしくはどちらもだ
事実2: もし仮にその山本プロが飛び込むかもしくはそれが該ポリヌクレオチドだとしたらそれは近しない
事実3: この研磨ナイロンパッドが現われ難いとしたら述べ合う
事実4: 仮にこの学期が平らぐとすればあの研磨ナイロンパッドは現われ難い

仮説: 「仮にその山本プロは近しなら「この研磨ナイロンパッドは述べ合う」ということは成り立つ」ということは誤っている
1. 仮定2: 以下のように仮定する。この学期が平らはない
2. 事実1と仮定2から、推論1: "その山本プロは飛び込むかまたは該ポリヌクレオチドである"が導かれる
3. 推論1と事実2から、推論2: "その山本プロは近しない"が導かれる
4. 仮定1: 以下のように仮定する。「その山本プロは近し」ということは真実だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この学期は平らぐ"が導かれる
7. 推論4と事実4から、推論5: "この研磨ナイロンパッドは現われ難い"が導かれる
8. 推論5と事実3から、推論6: "この研磨ナイロンパッドは述べ合う"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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