あの湯は如何わしい
fact1: 仮にこの多年生羊歯植物が探し易いならその戦況は探し易い fact2: もしなんらかの物は掃除し易くないなら「その逆転負けは如何わしくないが真白い」ということは事実と異なる fact3: もし仮に「あの湯は飛べる」ということは本当なら真白くない fact4: あの湯がチューニングするということはないとしたらそれは掃除し易いしレビューする fact5: もし仮に「その戦況が掃除し易いしその上それは如何わしい」ということは確かならば「あの湯は如何わしくない」ということは本当だ fact6: もし仮になにかは探し易いならば「それは掃除し易いけれどレビューしない」ということは真実でない fact7: もしあの湯が二等材だということはなくてそれが気後れしないとすればそれは飛べる fact8: もし「なんらかの物は如何わしくないがそれは真白い」ということは嘘であるとすれば真白くない fact9: もし仮にとあるものが探し易いとすればそれは真白い fact10: 「二等材な」ものはある fact11: あの湯は二等材でなくて気後れしない fact12: 「その相性筋はレビューする」ということは事実だ fact13: もしも「あの湯は掃除し易い」ということは確かだとしたら探し易い fact14: 探し易いものは掃除し易い fact15: あの湯は吸収合併する fact16: その戦況は気後れしないとすれば「それが飛べるしその上探し易い」ということは正しい fact17: あの湯は二等材でないがしかし手際良い fact18: 二等材があるならその戦況は気後れしない fact19: もしあの湯は如何わしくないとすると「チューニングしない一方で浅まし」ということは確かだ
void -> assump1: 以下のように仮定する。「あの湯は如何わしくない」ということは成り立つ; fact19 & assump1 -> int1: 「あの湯はチューニングしないが浅まし」ということは本当である; int1 -> int2: あの湯はチューニングしない; int2 & fact4 -> int3: あの湯は掃除し易いしレビューする; int3 -> int4: あの湯は掃除し易い; int4 & fact13 -> int5: 「あの湯は探し易い」ということは真実だ; fact9 -> int6: もし「あの湯は探し易い」ということは確かであるなら「それは真白い」ということは本当だ; int5 & int6 -> int7: あの湯は真白い; fact7 & fact11 -> int8: あの湯は飛べる; int8 & fact3 -> int9: あの湯は真白くない; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの湯は如何わしくない
fact21 -> int11: もしその戦況が探し易いとすると掃除し易い;
$facts$ = fact1: 仮にこの多年生羊歯植物が探し易いならその戦況は探し易い fact2: もしなんらかの物は掃除し易くないなら「その逆転負けは如何わしくないが真白い」ということは事実と異なる fact3: もし仮に「あの湯は飛べる」ということは本当なら真白くない fact4: あの湯がチューニングするということはないとしたらそれは掃除し易いしレビューする fact5: もし仮に「その戦況が掃除し易いしその上それは如何わしい」ということは確かならば「あの湯は如何わしくない」ということは本当だ fact6: もし仮になにかは探し易いならば「それは掃除し易いけれどレビューしない」ということは真実でない fact7: もしあの湯が二等材だということはなくてそれが気後れしないとすればそれは飛べる fact8: もし「なんらかの物は如何わしくないがそれは真白い」ということは嘘であるとすれば真白くない fact9: もし仮にとあるものが探し易いとすればそれは真白い fact10: 「二等材な」ものはある fact11: あの湯は二等材でなくて気後れしない fact12: 「その相性筋はレビューする」ということは事実だ fact13: もしも「あの湯は掃除し易い」ということは確かだとしたら探し易い fact14: 探し易いものは掃除し易い fact15: あの湯は吸収合併する fact16: その戦況は気後れしないとすれば「それが飛べるしその上探し易い」ということは正しい fact17: あの湯は二等材でないがしかし手際良い fact18: 二等材があるならその戦況は気後れしない fact19: もしあの湯は如何わしくないとすると「チューニングしない一方で浅まし」ということは確かだ ; $hypothesis$ = あの湯は如何わしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの湯は如何わしくない」ということは成り立つ; fact19 & assump1 -> int1: 「あの湯はチューニングしないが浅まし」ということは本当である; int1 -> int2: あの湯はチューニングしない; int2 & fact4 -> int3: あの湯は掃除し易いしレビューする; int3 -> int4: あの湯は掃除し易い; int4 & fact13 -> int5: 「あの湯は探し易い」ということは真実だ; fact9 -> int6: もし「あの湯は探し易い」ということは確かであるなら「それは真白い」ということは本当だ; int5 & int6 -> int7: あの湯は真白い; fact7 & fact11 -> int8: あの湯は飛べる; int8 & fact3 -> int9: あの湯は真白くない; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: 仮にこの多年生羊歯植物が探し易いならその戦況は探し易い
事実2: もしなんらかの物は掃除し易くないなら「その逆転負けは如何わしくないが真白い」ということは事実と異なる
事実3: もし仮に「あの湯は飛べる」ということは本当なら真白くない
事実4: あの湯がチューニングするということはないとしたらそれは掃除し易いしレビューする
事実5: もし仮に「その戦況が掃除し易いしその上それは如何わしい」ということは確かならば「あの湯は如何わしくない」ということは本当だ
事実6: もし仮になにかは探し易いならば「それは掃除し易いけれどレビューしない」ということは真実でない
事実7: もしあの湯が二等材だということはなくてそれが気後れしないとすればそれは飛べる
事実8: もし「なんらかの物は如何わしくないがそれは真白い」ということは嘘であるとすれば真白くない
事実9: もし仮にとあるものが探し易いとすればそれは真白い
事実10: 「二等材な」ものはある
事実11: あの湯は二等材でなくて気後れしない
事実12: 「その相性筋はレビューする」ということは事実だ
事実13: もしも「あの湯は掃除し易い」ということは確かだとしたら探し易い
事実14: 探し易いものは掃除し易い
事実15: あの湯は吸収合併する
事実16: その戦況は気後れしないとすれば「それが飛べるしその上探し易い」ということは正しい
事実17: あの湯は二等材でないがしかし手際良い
事実18: 二等材があるならその戦況は気後れしない
事実19: もしあの湯は如何わしくないとすると「チューニングしない一方で浅まし」ということは確かだ

仮説: あの湯は如何わしい
1. 仮定1: 以下のように仮定する。「あの湯は如何わしくない」ということは成り立つ
2. 事実19と仮定1から、推論1: "「あの湯はチューニングしないが浅まし」ということは本当である"が導かれる
3. 推論1から、推論2: "あの湯はチューニングしない"が導かれる
4. 推論2と事実4から、推論3: "あの湯は掃除し易いしレビューする"が導かれる
5. 推論3から、推論4: "あの湯は掃除し易い"が導かれる
6. 推論4と事実13から、推論5: "「あの湯は探し易い」ということは真実だ"が導かれる
7. 事実9から、推論6: "もし「あの湯は探し易い」ということは確かであるなら「それは真白い」ということは本当だ"が導かれる
8. 推論5と推論6から、推論7: "あの湯は真白い"が導かれる
9. 事実7と事実11から、推論8: "あの湯は飛べる"が導かれる
10. 推論8と事実3から、推論9: "あの湯は真白くない"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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