この非翻訳領域は安定供給する
fact1: その中央線は断り難い fact2: 「「その心筋症は集落だということはなくて加えてべた付き易くない」ということは偽だ」ということは間違いでない fact3: 浮き易い物は強毒菌だ fact4: 仮にその心筋症が断り難いしかつそれが安定供給するとするとこの非翻訳領域は安定供給するということはない fact5: 「その心筋症は安定供給しなくて集落だということはない」ということは間違っている fact6: 「その心筋症は集落でないけどべた付き易い」ということは間違いである fact7: もし強毒菌は一キロメートル当たりでないとしたらそれは安定供給する fact8: この殉死は強毒菌だ fact9: 仮にその中央線が一キロメートル当たりだしくどいならこの非翻訳領域は一キロメートル当たりであるということはない fact10: その中央線は浮き易い fact11: その中央線は問い質す fact12: この非翻訳領域は集落だ fact13: 仮に「その心筋症は集落でないしそれにべた付き易くない」ということは本当でないとしたらこの殉死は断り難い fact14: もしもこの非翻訳領域が強毒菌ならばそれは断り難い fact15: もしとある物が安定供給する一方で断り難いということはないとしたらそれは強毒菌だ fact16: その中央線はくどい fact17: 浮き易いものが問い質さないなら断り難い fact18: 仮にこの非翻訳領域はべた付き易いけど断り難くないとしたらそれは安定供給する fact19: 「その心筋症は集落であるがしかしべた付き易いということはない」ということは成り立たない fact20: その中央線は問い質すし一キロメートル当たりである fact21: もしこの殉死が断り難いとすればあの非翻訳領域は浮き易い fact22: もしこの殉死が強毒菌であるとしたらその心筋症は断り難い
fact13 & fact2 -> int1: この殉死は断り難い; int1 & fact21 -> int2: この非翻訳領域は浮き易い; fact3 -> int3: もしもこの非翻訳領域が浮き易いとしたら強毒菌である; int2 & int3 -> int4: 「この非翻訳領域は強毒菌だ」ということは正しい; fact20 -> int5: その中央線は一キロメートル当たりだ; int5 & fact16 -> int6: その中央線は一キロメートル当たりであるしくどい; int6 & fact9 -> int7: この非翻訳領域は一キロメートル当たりでない; int4 & int7 -> int8: この非翻訳領域は強毒菌だがしかしそれは一キロメートル当たりでない; fact7 -> int9: もしもこの非翻訳領域は強毒菌であるけれど一キロメートル当たりでないなら安定供給する; int8 & int9 -> hypothesis;
この非翻訳領域は安定供給しない
fact25 & fact23 -> int10: その心筋症は断り難い;
$facts$ = fact1: その中央線は断り難い fact2: 「「その心筋症は集落だということはなくて加えてべた付き易くない」ということは偽だ」ということは間違いでない fact3: 浮き易い物は強毒菌だ fact4: 仮にその心筋症が断り難いしかつそれが安定供給するとするとこの非翻訳領域は安定供給するということはない fact5: 「その心筋症は安定供給しなくて集落だということはない」ということは間違っている fact6: 「その心筋症は集落でないけどべた付き易い」ということは間違いである fact7: もし強毒菌は一キロメートル当たりでないとしたらそれは安定供給する fact8: この殉死は強毒菌だ fact9: 仮にその中央線が一キロメートル当たりだしくどいならこの非翻訳領域は一キロメートル当たりであるということはない fact10: その中央線は浮き易い fact11: その中央線は問い質す fact12: この非翻訳領域は集落だ fact13: 仮に「その心筋症は集落でないしそれにべた付き易くない」ということは本当でないとしたらこの殉死は断り難い fact14: もしもこの非翻訳領域が強毒菌ならばそれは断り難い fact15: もしとある物が安定供給する一方で断り難いということはないとしたらそれは強毒菌だ fact16: その中央線はくどい fact17: 浮き易いものが問い質さないなら断り難い fact18: 仮にこの非翻訳領域はべた付き易いけど断り難くないとしたらそれは安定供給する fact19: 「その心筋症は集落であるがしかしべた付き易いということはない」ということは成り立たない fact20: その中央線は問い質すし一キロメートル当たりである fact21: もしこの殉死が断り難いとすればあの非翻訳領域は浮き易い fact22: もしこの殉死が強毒菌であるとしたらその心筋症は断り難い ; $hypothesis$ = この非翻訳領域は安定供給する ; $proof$ = 
fact13 & fact2 -> int1: この殉死は断り難い; int1 & fact21 -> int2: この非翻訳領域は浮き易い; fact3 -> int3: もしもこの非翻訳領域が浮き易いとしたら強毒菌である; int2 & int3 -> int4: 「この非翻訳領域は強毒菌だ」ということは正しい; fact20 -> int5: その中央線は一キロメートル当たりだ; int5 & fact16 -> int6: その中央線は一キロメートル当たりであるしくどい; int6 & fact9 -> int7: この非翻訳領域は一キロメートル当たりでない; int4 & int7 -> int8: この非翻訳領域は強毒菌だがしかしそれは一キロメートル当たりでない; fact7 -> int9: もしもこの非翻訳領域は強毒菌であるけれど一キロメートル当たりでないなら安定供給する; int8 & int9 -> hypothesis; __PROVED__
事実1: その中央線は断り難い
事実2: 「「その心筋症は集落だということはなくて加えてべた付き易くない」ということは偽だ」ということは間違いでない
事実3: 浮き易い物は強毒菌だ
事実4: 仮にその心筋症が断り難いしかつそれが安定供給するとするとこの非翻訳領域は安定供給するということはない
事実5: 「その心筋症は安定供給しなくて集落だということはない」ということは間違っている
事実6: 「その心筋症は集落でないけどべた付き易い」ということは間違いである
事実7: もし強毒菌は一キロメートル当たりでないとしたらそれは安定供給する
事実8: この殉死は強毒菌だ
事実9: 仮にその中央線が一キロメートル当たりだしくどいならこの非翻訳領域は一キロメートル当たりであるということはない
事実10: その中央線は浮き易い
事実11: その中央線は問い質す
事実12: この非翻訳領域は集落だ
事実13: 仮に「その心筋症は集落でないしそれにべた付き易くない」ということは本当でないとしたらこの殉死は断り難い
事実14: もしもこの非翻訳領域が強毒菌ならばそれは断り難い
事実15: もしとある物が安定供給する一方で断り難いということはないとしたらそれは強毒菌だ
事実16: その中央線はくどい
事実17: 浮き易いものが問い質さないなら断り難い
事実18: 仮にこの非翻訳領域はべた付き易いけど断り難くないとしたらそれは安定供給する
事実19: 「その心筋症は集落であるがしかしべた付き易いということはない」ということは成り立たない
事実20: その中央線は問い質すし一キロメートル当たりである
事実21: もしこの殉死が断り難いとすればあの非翻訳領域は浮き易い
事実22: もしこの殉死が強毒菌であるとしたらその心筋症は断り難い

仮説: この非翻訳領域は安定供給する
1. 事実13と事実2から、推論1: "この殉死は断り難い"が導かれる
2. 推論1と事実21から、推論2: "この非翻訳領域は浮き易い"が導かれる
3. 事実3から、推論3: "もしもこの非翻訳領域が浮き易いとしたら強毒菌である"が導かれる
4. 推論2と推論3から、推論4: "「この非翻訳領域は強毒菌だ」ということは正しい"が導かれる
5. 事実20から、推論5: "その中央線は一キロメートル当たりだ"が導かれる
6. 推論5と事実16から、推論6: "その中央線は一キロメートル当たりであるしくどい"が導かれる
7. 推論6と事実9から、推論7: "この非翻訳領域は一キロメートル当たりでない"が導かれる
8. 推論4と推論7から、推論8: "この非翻訳領域は強毒菌だがしかしそれは一キロメートル当たりでない"が導かれる
9. 事実7から、推論9: "もしもこの非翻訳領域は強毒菌であるけれど一キロメートル当たりでないなら安定供給する"が導かれる
10. 推論8と推論9から、仮説が導かれる

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