もしも「あの鬼田平子は最もらしい」ということは本当であるとすればあの投影は取り組み易いけど雑物でない
fact1: あの鬼田平子は傷付け易くない fact2: 「仮にあの鬼田平子が悪戦苦闘しないならばあの鬼田平子は取り組み易くて確からしい」ということは真実である fact3: あの鬼田平子は最もらしいとすると「「その投影は傷付け易くて連呼する」ということは真実だ」ということは成り立たない fact4: あの鬼田平子は雑物だ fact5: その投影が連呼するとすれば赤らめない fact6: もし「あの鬼田平子は最もらしい」ということは成り立つとすれば「その投影は傷付け易いがしかし連呼しない」ということは成り立たない fact7: その投影が赤らめないならば取り組み易い fact8: もしもその投影が赤らめないならそれは取り組み易いが雑物であるということはない fact9: もし仮にその投影が悪戦苦闘しないかあるいは下部構造であるということはないとすればあの鬼田平子は悪戦苦闘しない fact10: 仮に「その投影は傷付け易いけど連呼しない」ということは嘘ならばそれは赤らめない fact11: もし仮に「何かは雑物でないけれど最もらしい」ということは本当でないとすると赤らめるということはない fact12: もしその投影が赤らめないならば取り組み易くて雑物である fact13: この徴収方法は最もらしくない fact14: 「あの鬼田平子は雑物だけれど連呼しない」ということは成り立たないならそれは最もらしくない fact15: あの鬼田平子は赤らめない fact16: もしなにかは取り組み易いならば「それは雑物でなくて最もらしい」ということは成り立つということはない
void -> assump1: 以下のように仮定する。あの鬼田平子は最もらしい; fact6 & assump1 -> int1: 「その投影は傷付け易いけれど連呼しない」ということは偽だ; int1 & fact10 -> int2: その投影は赤らめない; int2 & fact8 -> int3: その投影は取り組み易いがしかし雑物でない; [assump1] & int3 -> hypothesis;
「このゴールドフィストは赤らめるが賢しくない」ということは事実と異なる
fact20 -> int4: もしも「「あの鬼田平子は雑物でないけど最もらしい」ということは間違っているということはない」ということは誤っていればそれは赤らめない; fact18 -> int5: 仮にあの鬼田平子は取り組み易いとしたら「「それは雑物でないがしかし最もらしい」ということは本当である」ということは成り立たない;
$facts$ = fact1: あの鬼田平子は傷付け易くない fact2: 「仮にあの鬼田平子が悪戦苦闘しないならばあの鬼田平子は取り組み易くて確からしい」ということは真実である fact3: あの鬼田平子は最もらしいとすると「「その投影は傷付け易くて連呼する」ということは真実だ」ということは成り立たない fact4: あの鬼田平子は雑物だ fact5: その投影が連呼するとすれば赤らめない fact6: もし「あの鬼田平子は最もらしい」ということは成り立つとすれば「その投影は傷付け易いがしかし連呼しない」ということは成り立たない fact7: その投影が赤らめないならば取り組み易い fact8: もしもその投影が赤らめないならそれは取り組み易いが雑物であるということはない fact9: もし仮にその投影が悪戦苦闘しないかあるいは下部構造であるということはないとすればあの鬼田平子は悪戦苦闘しない fact10: 仮に「その投影は傷付け易いけど連呼しない」ということは嘘ならばそれは赤らめない fact11: もし仮に「何かは雑物でないけれど最もらしい」ということは本当でないとすると赤らめるということはない fact12: もしその投影が赤らめないならば取り組み易くて雑物である fact13: この徴収方法は最もらしくない fact14: 「あの鬼田平子は雑物だけれど連呼しない」ということは成り立たないならそれは最もらしくない fact15: あの鬼田平子は赤らめない fact16: もしなにかは取り組み易いならば「それは雑物でなくて最もらしい」ということは成り立つということはない ; $hypothesis$ = もしも「あの鬼田平子は最もらしい」ということは本当であるとすればあの投影は取り組み易いけど雑物でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの鬼田平子は最もらしい; fact6 & assump1 -> int1: 「その投影は傷付け易いけれど連呼しない」ということは偽だ; int1 & fact10 -> int2: その投影は赤らめない; int2 & fact8 -> int3: その投影は取り組み易いがしかし雑物でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの鬼田平子は傷付け易くない
事実2: 「仮にあの鬼田平子が悪戦苦闘しないならばあの鬼田平子は取り組み易くて確からしい」ということは真実である
事実3: あの鬼田平子は最もらしいとすると「「その投影は傷付け易くて連呼する」ということは真実だ」ということは成り立たない
事実4: あの鬼田平子は雑物だ
事実5: その投影が連呼するとすれば赤らめない
事実6: もし「あの鬼田平子は最もらしい」ということは成り立つとすれば「その投影は傷付け易いがしかし連呼しない」ということは成り立たない
事実7: その投影が赤らめないならば取り組み易い
事実8: もしもその投影が赤らめないならそれは取り組み易いが雑物であるということはない
事実9: もし仮にその投影が悪戦苦闘しないかあるいは下部構造であるということはないとすればあの鬼田平子は悪戦苦闘しない
事実10: 仮に「その投影は傷付け易いけど連呼しない」ということは嘘ならばそれは赤らめない
事実11: もし仮に「何かは雑物でないけれど最もらしい」ということは本当でないとすると赤らめるということはない
事実12: もしその投影が赤らめないならば取り組み易くて雑物である
事実13: この徴収方法は最もらしくない
事実14: 「あの鬼田平子は雑物だけれど連呼しない」ということは成り立たないならそれは最もらしくない
事実15: あの鬼田平子は赤らめない
事実16: もしなにかは取り組み易いならば「それは雑物でなくて最もらしい」ということは成り立つということはない

仮説: もしも「あの鬼田平子は最もらしい」ということは本当であるとすればあの投影は取り組み易いけど雑物でない
1. 仮定1: 以下のように仮定する。あの鬼田平子は最もらしい
2. 事実6と仮定1から、推論1: "「その投影は傷付け易いけれど連呼しない」ということは偽だ"が導かれる
3. 推論1と事実10から、推論2: "その投影は赤らめない"が導かれる
4. 推論2と事実8から、推論3: "その投影は取り組み易いがしかし雑物でない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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