そのバイオ・ゲノムは分離し易くない
fact1: もし仮に「そのバイオ・ゲノムは弁解がましい一方で申し込み方法でない」ということは嘘であるとすればそれは分離し易い fact2: このライバル企業は流され易くないし加えて和解するということはない fact3: このライバル企業が黴臭くないならその平安前期は操作し易いかあるいは可塑剤だということはないかもしくは両方だ fact4: もし仮にとあるものは重しということはないならば「それは弁解がましいしまた申し込み方法でない」ということは成り立たない fact5: もし仮にこのライバル企業が黴臭いとしたらそれは和解する fact6: もしもなんらかの物が操作し易いかそれが可塑剤でないか両方だとするとそのバイオ・ゲノムは重しない
void -> assump1: 以下のように仮定する。このライバル企業は黴臭い; fact5 & assump1 -> int1: このライバル企業は和解する; fact2 -> int2: このライバル企業は和解しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このライバル企業は黴臭くない; int4 & fact3 -> int5: その平安前期は操作し易いか可塑剤でない; int5 -> int6: なにかは操作し易いかもしくは可塑剤でないかもしくは両方だ; int6 & fact6 -> int7: そのバイオ・ゲノムは重しない; fact4 -> int8: 仮にそのバイオ・ゲノムは重しないとすると「弁解がましいししかもそれは申し込み方法でない」ということは間違いだ; int7 & int8 -> int9: 「そのバイオ・ゲノムは弁解がましいがそれは申し込み方法であるということはない」ということは成り立たない; int9 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「そのバイオ・ゲノムは弁解がましい一方で申し込み方法でない」ということは嘘であるとすればそれは分離し易い fact2: このライバル企業は流され易くないし加えて和解するということはない fact3: このライバル企業が黴臭くないならその平安前期は操作し易いかあるいは可塑剤だということはないかもしくは両方だ fact4: もし仮にとあるものは重しということはないならば「それは弁解がましいしまた申し込み方法でない」ということは成り立たない fact5: もし仮にこのライバル企業が黴臭いとしたらそれは和解する fact6: もしもなんらかの物が操作し易いかそれが可塑剤でないか両方だとするとそのバイオ・ゲノムは重しない ; $hypothesis$ = そのバイオ・ゲノムは分離し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このライバル企業は黴臭い; fact5 & assump1 -> int1: このライバル企業は和解する; fact2 -> int2: このライバル企業は和解しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このライバル企業は黴臭くない; int4 & fact3 -> int5: その平安前期は操作し易いか可塑剤でない; int5 -> int6: なにかは操作し易いかもしくは可塑剤でないかもしくは両方だ; int6 & fact6 -> int7: そのバイオ・ゲノムは重しない; fact4 -> int8: 仮にそのバイオ・ゲノムは重しないとすると「弁解がましいししかもそれは申し込み方法でない」ということは間違いだ; int7 & int8 -> int9: 「そのバイオ・ゲノムは弁解がましいがそれは申し込み方法であるということはない」ということは成り立たない; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのバイオ・ゲノムは弁解がましい一方で申し込み方法でない」ということは嘘であるとすればそれは分離し易い
事実2: このライバル企業は流され易くないし加えて和解するということはない
事実3: このライバル企業が黴臭くないならその平安前期は操作し易いかあるいは可塑剤だということはないかもしくは両方だ
事実4: もし仮にとあるものは重しということはないならば「それは弁解がましいしまた申し込み方法でない」ということは成り立たない
事実5: もし仮にこのライバル企業が黴臭いとしたらそれは和解する
事実6: もしもなんらかの物が操作し易いかそれが可塑剤でないか両方だとするとそのバイオ・ゲノムは重しない

仮説: そのバイオ・ゲノムは分離し易くない
1. 仮定1: 以下のように仮定する。このライバル企業は黴臭い
2. 事実5と仮定1から、推論1: "このライバル企業は和解する"が導かれる
3. 事実2から、推論2: "このライバル企業は和解しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このライバル企業は黴臭くない"が導かれる
6. 推論4と事実3から、推論5: "その平安前期は操作し易いか可塑剤でない"が導かれる
7. 推論5から、推論6: "なにかは操作し易いかもしくは可塑剤でないかもしくは両方だ"が導かれる
8. 推論6と事実6から、推論7: "そのバイオ・ゲノムは重しない"が導かれる
9. 事実4から、推論8: "仮にそのバイオ・ゲノムは重しないとすると「弁解がましいししかもそれは申し込み方法でない」ということは間違いだ"が導かれる
10. 推論7と推論8から、推論9: "「そのバイオ・ゲノムは弁解がましいがそれは申し込み方法であるということはない」ということは成り立たない"が導かれる
11. 推論9と事実1から、仮説が否定される

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