その論文発表は崩れ始める
fact1: もしこの払い出しが受章しないとしたらあの胚盤胞移植は救急蘇生でなくてそれに艶めかしくない fact2: 「確定診断しないし救急蘇生でない」物はある fact3: もし「この業界紙は約束為さる」ということは真実であるならば「それは止む無し」ということは真実だ fact4: この業界紙は資金運用部資金だ fact5: 仮にこの払い出しは先天異常でないならば「あのキャナリー・ロウは先天異常でないかまたはそれは自然主義だということはないかもしくは両方だ」ということは嘘である fact6: この業界紙は約束為さる fact7: 仮に資金運用部資金が止む無しとするとそれは人間臭くない fact8: 「あの胚盤胞移植は先天異常であるかあるいは艶めかしい」ということは事実であるとするとそれは受章しない fact9: 仮にあるものが救急蘇生でないししかも艶めかしくないとしたらその論文発表は崩れ始める fact10: あの胚盤胞移植は艶めかしくない fact11: もし仮にこの払い出しは受章するか確定診断するかもしくは両方であるならば「先天異常でない」ということは成り立つ fact12: もし「あのキャナリー・ロウは先天異常でないかまたはそれは自然主義でない」ということは確かでないならばこの業界紙は人間臭い fact13: この払い出しが受章しないとするとあの胚盤胞移植は艶めかしくない
void -> assump1: 以下のように仮定する。この払い出しは受章する; assump1 -> int1: この払い出しは受章するか確定診断する; int1 & fact11 -> int2: この払い出しは先天異常でない; int2 & fact5 -> int3: 「あのキャナリー・ロウは先天異常でないか自然主義でない」ということは成り立たない; int3 & fact12 -> int4: この業界紙は人間臭い; fact6 & fact3 -> int5: この業界紙は止む無し; fact4 & int5 -> int6: この業界紙は資金運用部資金でまたそれは止む無し; fact7 -> int7: 仮にこの業界紙は資金運用部資金であるし止む無しとしたら人間臭くない; int6 & int7 -> int8: この業界紙は人間臭くない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この払い出しは受章しない; int10 & fact1 -> int11: あの胚盤胞移植は救急蘇生でなくて艶めかしくない; int11 -> int12: なにがしかのものは救急蘇生でないし艶めかしくない; int12 & fact9 -> hypothesis;
$facts$ = fact1: もしこの払い出しが受章しないとしたらあの胚盤胞移植は救急蘇生でなくてそれに艶めかしくない fact2: 「確定診断しないし救急蘇生でない」物はある fact3: もし「この業界紙は約束為さる」ということは真実であるならば「それは止む無し」ということは真実だ fact4: この業界紙は資金運用部資金だ fact5: 仮にこの払い出しは先天異常でないならば「あのキャナリー・ロウは先天異常でないかまたはそれは自然主義だということはないかもしくは両方だ」ということは嘘である fact6: この業界紙は約束為さる fact7: 仮に資金運用部資金が止む無しとするとそれは人間臭くない fact8: 「あの胚盤胞移植は先天異常であるかあるいは艶めかしい」ということは事実であるとするとそれは受章しない fact9: 仮にあるものが救急蘇生でないししかも艶めかしくないとしたらその論文発表は崩れ始める fact10: あの胚盤胞移植は艶めかしくない fact11: もし仮にこの払い出しは受章するか確定診断するかもしくは両方であるならば「先天異常でない」ということは成り立つ fact12: もし「あのキャナリー・ロウは先天異常でないかまたはそれは自然主義でない」ということは確かでないならばこの業界紙は人間臭い fact13: この払い出しが受章しないとするとあの胚盤胞移植は艶めかしくない ; $hypothesis$ = その論文発表は崩れ始める ; $proof$ = 
void -> assump1: 以下のように仮定する。この払い出しは受章する; assump1 -> int1: この払い出しは受章するか確定診断する; int1 & fact11 -> int2: この払い出しは先天異常でない; int2 & fact5 -> int3: 「あのキャナリー・ロウは先天異常でないか自然主義でない」ということは成り立たない; int3 & fact12 -> int4: この業界紙は人間臭い; fact6 & fact3 -> int5: この業界紙は止む無し; fact4 & int5 -> int6: この業界紙は資金運用部資金でまたそれは止む無し; fact7 -> int7: 仮にこの業界紙は資金運用部資金であるし止む無しとしたら人間臭くない; int6 & int7 -> int8: この業界紙は人間臭くない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この払い出しは受章しない; int10 & fact1 -> int11: あの胚盤胞移植は救急蘇生でなくて艶めかしくない; int11 -> int12: なにがしかのものは救急蘇生でないし艶めかしくない; int12 & fact9 -> hypothesis; __PROVED__
事実1: もしこの払い出しが受章しないとしたらあの胚盤胞移植は救急蘇生でなくてそれに艶めかしくない
事実2: 「確定診断しないし救急蘇生でない」物はある
事実3: もし「この業界紙は約束為さる」ということは真実であるならば「それは止む無し」ということは真実だ
事実4: この業界紙は資金運用部資金だ
事実5: 仮にこの払い出しは先天異常でないならば「あのキャナリー・ロウは先天異常でないかまたはそれは自然主義だということはないかもしくは両方だ」ということは嘘である
事実6: この業界紙は約束為さる
事実7: 仮に資金運用部資金が止む無しとするとそれは人間臭くない
事実8: 「あの胚盤胞移植は先天異常であるかあるいは艶めかしい」ということは事実であるとするとそれは受章しない
事実9: 仮にあるものが救急蘇生でないししかも艶めかしくないとしたらその論文発表は崩れ始める
事実10: あの胚盤胞移植は艶めかしくない
事実11: もし仮にこの払い出しは受章するか確定診断するかもしくは両方であるならば「先天異常でない」ということは成り立つ
事実12: もし「あのキャナリー・ロウは先天異常でないかまたはそれは自然主義でない」ということは確かでないならばこの業界紙は人間臭い
事実13: この払い出しが受章しないとするとあの胚盤胞移植は艶めかしくない

仮説: その論文発表は崩れ始める
1. 仮定1: 以下のように仮定する。この払い出しは受章する
2. 仮定1から、推論1: "この払い出しは受章するか確定診断する"が導かれる
3. 推論1と事実11から、推論2: "この払い出しは先天異常でない"が導かれる
4. 推論2と事実5から、推論3: "「あのキャナリー・ロウは先天異常でないか自然主義でない」ということは成り立たない"が導かれる
5. 推論3と事実12から、推論4: "この業界紙は人間臭い"が導かれる
6. 事実6と事実3から、推論5: "この業界紙は止む無し"が導かれる
7. 事実4と推論5から、推論6: "この業界紙は資金運用部資金でまたそれは止む無し"が導かれる
8. 事実7から、推論7: "仮にこの業界紙は資金運用部資金であるし止む無しとしたら人間臭くない"が導かれる
9. 推論6と推論7から、推論8: "この業界紙は人間臭くない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この払い出しは受章しない"が導かれる
12. 推論10と事実1から、推論11: "あの胚盤胞移植は救急蘇生でなくて艶めかしくない"が導かれる
13. 推論11から、推論12: "なにがしかのものは救急蘇生でないし艶めかしくない"が導かれる
14. 推論12と事実9から、仮説が導かれる

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