「もし仮に「征服するしそれに侵入し易い」ということは正しくないならば会話らしいということはない」ものはある
fact1: 「回復するしまた習い出すとしたら着陸場でない」物はある fact2: もし仮に「あの論理的自己完結型技術は会話らしいし更にＣＴスキャンである」ということは間違いであるとすればそれは市民権である fact3: もし仮に「あの論理的自己完結型技術が征服するしその上それは侵入し易い」ということは真実であるということはないとすればそれは会話らしくない fact4: もしあの論理的自己完結型技術が征服するし更にそれが侵入し易いなら会話らしくない fact5: 「もし乗り易くないとしたらＣＴスキャンでない」ものはある fact6: もしも「なんらかのものは水臭いしまた安し」ということは偽だとすると約さない fact7: 「もし仮に判断し難くてそれに滅ぼせるとしたら回復しない」物はある fact8: 「「もしも侵入し易くないとすると「会話らしくない」ということは本当な」物はある」ということは本当だ
fact3 -> hypothesis;
fact3 -> hypothesis;
「「水臭くておまけに安し」ということは事実でないなら約さない」物はある
fact9 -> int1: 「あの従属階級は水臭いしかつ安し」ということは成り立たないとすれば約さない; int1 -> hypothesis;
$facts$ = fact1: 「回復するしまた習い出すとしたら着陸場でない」物はある fact2: もし仮に「あの論理的自己完結型技術は会話らしいし更にＣＴスキャンである」ということは間違いであるとすればそれは市民権である fact3: もし仮に「あの論理的自己完結型技術が征服するしその上それは侵入し易い」ということは真実であるということはないとすればそれは会話らしくない fact4: もしあの論理的自己完結型技術が征服するし更にそれが侵入し易いなら会話らしくない fact5: 「もし乗り易くないとしたらＣＴスキャンでない」ものはある fact6: もしも「なんらかのものは水臭いしまた安し」ということは偽だとすると約さない fact7: 「もし仮に判断し難くてそれに滅ぼせるとしたら回復しない」物はある fact8: 「「もしも侵入し易くないとすると「会話らしくない」ということは本当な」物はある」ということは本当だ ; $hypothesis$ = 「もし仮に「征服するしそれに侵入し易い」ということは正しくないならば会話らしいということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「回復するしまた習い出すとしたら着陸場でない」物はある
事実2: もし仮に「あの論理的自己完結型技術は会話らしいし更にＣＴスキャンである」ということは間違いであるとすればそれは市民権である
事実3: もし仮に「あの論理的自己完結型技術が征服するしその上それは侵入し易い」ということは真実であるということはないとすればそれは会話らしくない
事実4: もしあの論理的自己完結型技術が征服するし更にそれが侵入し易いなら会話らしくない
事実5: 「もし乗り易くないとしたらＣＴスキャンでない」ものはある
事実6: もしも「なんらかのものは水臭いしまた安し」ということは偽だとすると約さない
事実7: 「もし仮に判断し難くてそれに滅ぼせるとしたら回復しない」物はある
事実8: 「「もしも侵入し易くないとすると「会話らしくない」ということは本当な」物はある」ということは本当だ

仮説: 「もし仮に「征服するしそれに侵入し易い」ということは正しくないならば会話らしいということはない」ものはある
1. 事実3から、仮説が導かれる

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