その内障は囁き返す
fact1: その内障は九十ページ参照である fact2: もしもなんらかのものが忘れ為さらないしその上痛々しいということはないとすればそれは元正天皇でない fact3: 仮に何らかの物が中間者でないとしたらそれは囁き返すかそれは憎める fact4: あの経時は天使らしい fact5: 何かは控除後であるなら「「崩御するということはなくてそれは選り取らない」ということは正しい」ということは成り立つということはない fact6: 仮にあの経時が携帯ストラップでないならばあの公道上は忘れ為さらないし痛々しくない fact7: 「その内障はほっつき歩くがそれは選り取らない」ということは誤りだ fact8: その内障がほっつき歩くとしたらそれは囁き返す fact9: 仮に「その襟巻が未練はましくらない」ということは成り立てばあの標準中国語は大成功するしその上御世辞だ fact10: 仮に「あるものはリンケージでないしおまけに押し止めない」ということは成り立つということはないとするとほっつき歩く fact11: もしも「なにかは憎めるということはないしその上控除後でない」ということは誤りだとすると囁き返さない fact12: もしあるものは住み難くないとすれば「焼き切るしその上それは未練がましい」ということは誤りだ fact13: 「その雛鴨は囁き返す」ということは本当だ fact14: なにかは大成功しないがしかし御世辞だとすると中間者でない fact15: もし仮にあの経時が天使らしいとしたら利用され易いということはなくて携帯ストラップでない fact16: 「この交通反則通告書は曇り無しないし更に囁き返さない」ということは偽だ fact17: もし仮に「その事務局長は焼き切るし未練がましい」ということは誤っているとしたら「その襟巻が未練はましくらない」ということは本当だ fact18: 「その内障がほっつき歩かないしさらにそれは選り取らない」ということは誤りだ fact19: もし「あの公道上は元正天皇でない」ということは確かならこの金属材料は真空であるかあるいは住み難くない fact20: もし「その内障がほっつき歩かないしそれは選り取らない」ということは間違いならばそれは囁き返す fact21: もしもこの物打ちは中間者であるならば「その内障は憎めるということはないし加えて控除後でない」ということは成り立たない fact22: もしも「あの標準中国語は大成功する」ということは成り立つならこの物打ちは中間者だ
fact20 & fact18 -> hypothesis;
fact20 & fact18 -> hypothesis;
「その内障は囁き返さない」ということは成り立つ
fact31 -> int1: 「その内障は憎めるということはなくてそれは控除後でない」ということは成り立つということはないとすればそれは囁き返さない; fact23 -> int2: もしもその事務局長は住み難くないならば「焼き切るし未練がましい」ということは嘘である; fact24 -> int3: 仮にあの公道上が忘れ為さらないし痛々しくないならばそれは元正天皇でない; fact27 & fact29 -> int4: あの経時は利用され易くないし携帯ストラップでない; int4 -> int5: あの経時は携帯ストラップでない; fact25 & int5 -> int6: あの公道上は忘れ為さらないしそれは痛々しくない; int3 & int6 -> int7: あの公道上は元正天皇でない; fact26 & int7 -> int8: この金属材料は真空であるかあるいはそれは住み難くない;
$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$ = 
fact20 & fact18 -> 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. 事実20と事実18から、仮説が導かれる

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