その生命は引き出し得る
fact1: 「「細かくていみじ」ということは嘘である」物はある fact2: もしもこの規制等が大権でないならばあの飛沫感染は細かいがしかしそれは精魂でない fact3: 「「指定役務であるし更に確認し易い」ということは成り立たない」物はある fact4: もしその生命はいみじとすれば「この規制等は引き出し得る」ということは成り立つ fact5: もしこの基本特性が変え難くないししかもいみじということはないとするとあの飛沫感染はいみじ fact6: この規制等は精魂でない fact7: もし仮に「あの飛沫感染は変え難い」ということは本当であるならばそれは大権であるし精魂でない fact8: もしも「あるものは大権だ一方でそれは共有結合しない」ということは成り立たないなら大権でない fact9: なんらかの物は細かくないとしたら「それは引き出し得るしまたそれはいみじ」ということは間違いだ fact10: 「何かは引き出し得るしまたいみじ」ということは成り立たないならばそれは引き出し得ない fact11: 仮にあの飛沫感染が大権だけどそれが精魂でないとするとその生命は細かくない fact12: そのコアラ組は嗅がないならば「この規制等が大権だけど共有結合しない」ということは成り立たない fact13: 「その緘黙は配慮しなくてその上それは暑くない」ということは本当だということはない fact14: この規制等は精魂だしまたいみじとすると「この基本特性は細かい」ということは本当である fact15: この四単位は導き出さないけど変え難い fact16: 「その緘黙は配慮しないしさらに暑くない」ということは事実でないとしたらそのコアラ組は嗅がない fact17: もしこの規制等が精魂でないがいみじとすればあの基本特性は細かい fact18: 何かは指定役務だし更にそれは確認し易い fact19: 仮にあの飛沫感染がいみじないとすればこの規制等は精魂でない一方でいみじ fact20: もし仮に「この基本特性は細かい」ということは事実だとすればその生命は引き出し得る fact21: もし仮にあの飛沫感染がいみじないとしたらこの規制等は精魂でない fact22: もし仮にこの規制等がいみじしさらに引き出し得るとすればその生命は精魂だ fact23: 「「「指定役務だし確認し易い」ということは真実だ」ということは偽である」物はあれば「あの飛沫感染はいみじない」ということは事実だ fact24: もしなにかは確認し易いということはないならばあの飛沫感染はいみじない
fact3 & fact23 -> int1: あの飛沫感染はいみじない; int1 & fact19 -> int2: この規制等は精魂でないけどいみじ; int2 & fact17 -> int3: この基本特性は細かい; int3 & fact20 -> hypothesis;
その生命は引き出し得ない
fact28 -> int4: 「仮に「その生命は引き出し得るしおまけにいみじ」ということは偽であるとすればその生命は引き出し得ない」ということは成り立つ; fact26 -> int5: もしも「その生命は細かくない」ということは事実だとしたら「引き出し得るしいみじ」ということは誤りだ;
$facts$ = fact1: 「「細かくていみじ」ということは嘘である」物はある fact2: もしもこの規制等が大権でないならばあの飛沫感染は細かいがしかしそれは精魂でない fact3: 「「指定役務であるし更に確認し易い」ということは成り立たない」物はある fact4: もしその生命はいみじとすれば「この規制等は引き出し得る」ということは成り立つ fact5: もしこの基本特性が変え難くないししかもいみじということはないとするとあの飛沫感染はいみじ fact6: この規制等は精魂でない fact7: もし仮に「あの飛沫感染は変え難い」ということは本当であるならばそれは大権であるし精魂でない fact8: もしも「あるものは大権だ一方でそれは共有結合しない」ということは成り立たないなら大権でない fact9: なんらかの物は細かくないとしたら「それは引き出し得るしまたそれはいみじ」ということは間違いだ fact10: 「何かは引き出し得るしまたいみじ」ということは成り立たないならばそれは引き出し得ない fact11: 仮にあの飛沫感染が大権だけどそれが精魂でないとするとその生命は細かくない fact12: そのコアラ組は嗅がないならば「この規制等が大権だけど共有結合しない」ということは成り立たない fact13: 「その緘黙は配慮しなくてその上それは暑くない」ということは本当だということはない fact14: この規制等は精魂だしまたいみじとすると「この基本特性は細かい」ということは本当である fact15: この四単位は導き出さないけど変え難い fact16: 「その緘黙は配慮しないしさらに暑くない」ということは事実でないとしたらそのコアラ組は嗅がない fact17: もしこの規制等が精魂でないがいみじとすればあの基本特性は細かい fact18: 何かは指定役務だし更にそれは確認し易い fact19: 仮にあの飛沫感染がいみじないとすればこの規制等は精魂でない一方でいみじ fact20: もし仮に「この基本特性は細かい」ということは事実だとすればその生命は引き出し得る fact21: もし仮にあの飛沫感染がいみじないとしたらこの規制等は精魂でない fact22: もし仮にこの規制等がいみじしさらに引き出し得るとすればその生命は精魂だ fact23: 「「「指定役務だし確認し易い」ということは真実だ」ということは偽である」物はあれば「あの飛沫感染はいみじない」ということは事実だ fact24: もしなにかは確認し易いということはないならばあの飛沫感染はいみじない ; $hypothesis$ = その生命は引き出し得る ; $proof$ = 
fact3 & fact23 -> int1: あの飛沫感染はいみじない; int1 & fact19 -> int2: この規制等は精魂でないけどいみじ; int2 & fact17 -> int3: この基本特性は細かい; int3 & fact20 -> hypothesis; __PROVED__
事実1: 「「細かくていみじ」ということは嘘である」物はある
事実2: もしもこの規制等が大権でないならばあの飛沫感染は細かいがしかしそれは精魂でない
事実3: 「「指定役務であるし更に確認し易い」ということは成り立たない」物はある
事実4: もしその生命はいみじとすれば「この規制等は引き出し得る」ということは成り立つ
事実5: もしこの基本特性が変え難くないししかもいみじということはないとするとあの飛沫感染はいみじ
事実6: この規制等は精魂でない
事実7: もし仮に「あの飛沫感染は変え難い」ということは本当であるならばそれは大権であるし精魂でない
事実8: もしも「あるものは大権だ一方でそれは共有結合しない」ということは成り立たないなら大権でない
事実9: なんらかの物は細かくないとしたら「それは引き出し得るしまたそれはいみじ」ということは間違いだ
事実10: 「何かは引き出し得るしまたいみじ」ということは成り立たないならばそれは引き出し得ない
事実11: 仮にあの飛沫感染が大権だけどそれが精魂でないとするとその生命は細かくない
事実12: そのコアラ組は嗅がないならば「この規制等が大権だけど共有結合しない」ということは成り立たない
事実13: 「その緘黙は配慮しなくてその上それは暑くない」ということは本当だということはない
事実14: この規制等は精魂だしまたいみじとすると「この基本特性は細かい」ということは本当である
事実15: この四単位は導き出さないけど変え難い
事実16: 「その緘黙は配慮しないしさらに暑くない」ということは事実でないとしたらそのコアラ組は嗅がない
事実17: もしこの規制等が精魂でないがいみじとすればあの基本特性は細かい
事実18: 何かは指定役務だし更にそれは確認し易い
事実19: 仮にあの飛沫感染がいみじないとすればこの規制等は精魂でない一方でいみじ
事実20: もし仮に「この基本特性は細かい」ということは事実だとすればその生命は引き出し得る
事実21: もし仮にあの飛沫感染がいみじないとしたらこの規制等は精魂でない
事実22: もし仮にこの規制等がいみじしさらに引き出し得るとすればその生命は精魂だ
事実23: 「「「指定役務だし確認し易い」ということは真実だ」ということは偽である」物はあれば「あの飛沫感染はいみじない」ということは事実だ
事実24: もしなにかは確認し易いということはないならばあの飛沫感染はいみじない

仮説: その生命は引き出し得る
1. 事実3と事実23から、推論1: "あの飛沫感染はいみじない"が導かれる
2. 推論1と事実19から、推論2: "この規制等は精魂でないけどいみじ"が導かれる
3. 推論2と事実17から、推論3: "この基本特性は細かい"が導かれる
4. 推論3と事実20から、仮説が導かれる

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