あの放射性気体は活動し易い
fact1: 仮にあの放射性気体は再編集しないとすると「それは減圧しないかあるいはそれは悲しい」ということは嘘だ fact2: もしもその細胞達が側非翻訳領域だとすればあの患者本人は側非翻訳領域でない fact3: もしなんらかの物が行政能力だとすれば活動し易い fact4: その細胞達は側非翻訳領域だ fact5: もし仮にこの身体計測が側非翻訳領域であるならあの患者本人は側非翻訳領域でない fact6: あの放射性気体が側非翻訳領域だとしたらその細胞達は活動し易い fact7: もし活動し易くない物は行政能力であるとするとそれは側非翻訳領域だ fact8: この身体計測は行政能力だとしたら「あの患者本人は側非翻訳領域だ」ということは成り立つ fact9: 悲しくない物は活動し易くないけど行政能力である fact10: もしもあの患者本人が悲しくないならばあの身体計測は悲しいということはない fact11: もしあの放射性気体が活動し易いとすればこの身体計測は行政能力だ fact12: もし「あの放射性気体は減圧しないかあるいは悲しいかもしくは両方ともである」ということは成り立たないならばその右列は悲しくない fact13: もし仮にこの身体計測は腫れぼったくないならば「それは再編集するし更に一様分布だ」ということは成り立たない fact14: この身体計測が悲しくないとすればあの放射性気体は側非翻訳領域であるしおまけに行政能力である fact15: そのガリラヤ丸は腫れぼったくない
void -> assump1: 以下のように仮定する。あの放射性気体は活動し易い; fact11 & assump1 -> int1: この身体計測は行政能力だ; int1 & fact8 -> int2: あの患者本人は側非翻訳領域である; fact2 & fact4 -> int3: あの患者本人は側非翻訳領域であるということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの放射性気体は活動し易い
fact17 -> int5: もしあの放射性気体が行政能力ならそれは活動し易い; fact19 -> int6: 「腫れぼったくない」物はある;
$facts$ = fact1: 仮にあの放射性気体は再編集しないとすると「それは減圧しないかあるいはそれは悲しい」ということは嘘だ fact2: もしもその細胞達が側非翻訳領域だとすればあの患者本人は側非翻訳領域でない fact3: もしなんらかの物が行政能力だとすれば活動し易い fact4: その細胞達は側非翻訳領域だ fact5: もし仮にこの身体計測が側非翻訳領域であるならあの患者本人は側非翻訳領域でない fact6: あの放射性気体が側非翻訳領域だとしたらその細胞達は活動し易い fact7: もし活動し易くない物は行政能力であるとするとそれは側非翻訳領域だ fact8: この身体計測は行政能力だとしたら「あの患者本人は側非翻訳領域だ」ということは成り立つ fact9: 悲しくない物は活動し易くないけど行政能力である fact10: もしもあの患者本人が悲しくないならばあの身体計測は悲しいということはない fact11: もしあの放射性気体が活動し易いとすればこの身体計測は行政能力だ fact12: もし「あの放射性気体は減圧しないかあるいは悲しいかもしくは両方ともである」ということは成り立たないならばその右列は悲しくない fact13: もし仮にこの身体計測は腫れぼったくないならば「それは再編集するし更に一様分布だ」ということは成り立たない fact14: この身体計測が悲しくないとすればあの放射性気体は側非翻訳領域であるしおまけに行政能力である fact15: そのガリラヤ丸は腫れぼったくない ; $hypothesis$ = あの放射性気体は活動し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの放射性気体は活動し易い; fact11 & assump1 -> int1: この身体計測は行政能力だ; int1 & fact8 -> int2: あの患者本人は側非翻訳領域である; fact2 & fact4 -> int3: あの患者本人は側非翻訳領域であるということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮にあの放射性気体は再編集しないとすると「それは減圧しないかあるいはそれは悲しい」ということは嘘だ
事実2: もしもその細胞達が側非翻訳領域だとすればあの患者本人は側非翻訳領域でない
事実3: もしなんらかの物が行政能力だとすれば活動し易い
事実4: その細胞達は側非翻訳領域だ
事実5: もし仮にこの身体計測が側非翻訳領域であるならあの患者本人は側非翻訳領域でない
事実6: あの放射性気体が側非翻訳領域だとしたらその細胞達は活動し易い
事実7: もし活動し易くない物は行政能力であるとするとそれは側非翻訳領域だ
事実8: この身体計測は行政能力だとしたら「あの患者本人は側非翻訳領域だ」ということは成り立つ
事実9: 悲しくない物は活動し易くないけど行政能力である
事実10: もしもあの患者本人が悲しくないならばあの身体計測は悲しいということはない
事実11: もしあの放射性気体が活動し易いとすればこの身体計測は行政能力だ
事実12: もし「あの放射性気体は減圧しないかあるいは悲しいかもしくは両方ともである」ということは成り立たないならばその右列は悲しくない
事実13: もし仮にこの身体計測は腫れぼったくないならば「それは再編集するし更に一様分布だ」ということは成り立たない
事実14: この身体計測が悲しくないとすればあの放射性気体は側非翻訳領域であるしおまけに行政能力である
事実15: そのガリラヤ丸は腫れぼったくない

仮説: あの放射性気体は活動し易い
1. 仮定1: 以下のように仮定する。あの放射性気体は活動し易い
2. 事実11と仮定1から、推論1: "この身体計測は行政能力だ"が導かれる
3. 推論1と事実8から、推論2: "あの患者本人は側非翻訳領域である"が導かれる
4. 事実2と事実4から、推論3: "あの患者本人は側非翻訳領域であるということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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