その愚か者は消炎鎮痛薬だ
fact1: なにがしかの物が溶出するとすると萎れる fact2: 仮にその所望が利用され易い一方で溶出しないとしたらその投与は利用され易い fact3: その投与は落ち易いかあるいは利用され易い fact4: 仮に何かは萎れるとするとそれは遷移する fact5: あの同年は消炎鎮痛薬である fact6: 仮になにがしかのものが落ち易くないか利用され易いかあるいは両方だとするとその所望は溶出する fact7: なんらかの物は合金溶湯でないならばそれは落ち易い fact8: 落ち易いかあるいは利用され易いかどちらもである物はある fact9: もしもその愚か者が合金溶湯だとすると消炎鎮痛薬だ fact10: もしも何らかの物が起居するということはないならば遷移しない一方で萎れる fact11: 仮にその大騒動が凄まじくないしそれが女っぽいということはないとすると起居するということはない fact12: その所望は遷移すれば「その愚か者は合金溶湯だ」ということは成り立つ fact13: もし仮にその燧臼が萎れるとすればあの所望は利用され易いがしかし溶出しない fact14: その投与は落ち易くない fact15: もしその大騒動が遷移しないけれど萎れるならばあの燧臼は萎れる fact16: 仮に「ある物は合金溶湯であるしおまけにフォーマットする」ということは偽ならそれは合金溶湯でない
fact14 -> int1: その投与は落ち易くないかまたは利用され易いか両方だ; int1 -> int2: 「とあるものは落ち易くないかもしくは利用され易い」ということは成り立つ; int2 & fact6 -> int3: その所望は溶出する; fact1 -> int4: もしもその所望が溶出すれば萎れる; int3 & int4 -> int5: 「その所望は萎れない」ということは間違いである; fact4 -> int6: 仮にその所望が萎れるならそれは遷移する; int5 & int6 -> int7: その所望は遷移する; int7 & fact12 -> int8: その愚か者は合金溶湯だ; int8 & fact9 -> hypothesis;
その愚か者は消炎鎮痛薬でない
fact18 -> int9: もしもその投与は合金溶湯でないとすれば「落ち易い」ということは確かである; fact22 -> int10: もし「その投与は合金溶湯だしそれにフォーマットする」ということは事実と異なるなら合金溶湯でない; fact21 -> int11: その大騒動が起居しないとするとそれは遷移するということはないけど萎れる;
$facts$ = fact1: なにがしかの物が溶出するとすると萎れる fact2: 仮にその所望が利用され易い一方で溶出しないとしたらその投与は利用され易い fact3: その投与は落ち易いかあるいは利用され易い fact4: 仮に何かは萎れるとするとそれは遷移する fact5: あの同年は消炎鎮痛薬である fact6: 仮になにがしかのものが落ち易くないか利用され易いかあるいは両方だとするとその所望は溶出する fact7: なんらかの物は合金溶湯でないならばそれは落ち易い fact8: 落ち易いかあるいは利用され易いかどちらもである物はある fact9: もしもその愚か者が合金溶湯だとすると消炎鎮痛薬だ fact10: もしも何らかの物が起居するということはないならば遷移しない一方で萎れる fact11: 仮にその大騒動が凄まじくないしそれが女っぽいということはないとすると起居するということはない fact12: その所望は遷移すれば「その愚か者は合金溶湯だ」ということは成り立つ fact13: もし仮にその燧臼が萎れるとすればあの所望は利用され易いがしかし溶出しない fact14: その投与は落ち易くない fact15: もしその大騒動が遷移しないけれど萎れるならばあの燧臼は萎れる fact16: 仮に「ある物は合金溶湯であるしおまけにフォーマットする」ということは偽ならそれは合金溶湯でない ; $hypothesis$ = その愚か者は消炎鎮痛薬だ ; $proof$ = 
fact14 -> int1: その投与は落ち易くないかまたは利用され易いか両方だ; int1 -> int2: 「とあるものは落ち易くないかもしくは利用され易い」ということは成り立つ; int2 & fact6 -> int3: その所望は溶出する; fact1 -> int4: もしもその所望が溶出すれば萎れる; int3 & int4 -> int5: 「その所望は萎れない」ということは間違いである; fact4 -> int6: 仮にその所望が萎れるならそれは遷移する; int5 & int6 -> int7: その所望は遷移する; int7 & fact12 -> int8: その愚か者は合金溶湯だ; int8 & fact9 -> hypothesis; __PROVED__
事実1: なにがしかの物が溶出するとすると萎れる
事実2: 仮にその所望が利用され易い一方で溶出しないとしたらその投与は利用され易い
事実3: その投与は落ち易いかあるいは利用され易い
事実4: 仮に何かは萎れるとするとそれは遷移する
事実5: あの同年は消炎鎮痛薬である
事実6: 仮になにがしかのものが落ち易くないか利用され易いかあるいは両方だとするとその所望は溶出する
事実7: なんらかの物は合金溶湯でないならばそれは落ち易い
事実8: 落ち易いかあるいは利用され易いかどちらもである物はある
事実9: もしもその愚か者が合金溶湯だとすると消炎鎮痛薬だ
事実10: もしも何らかの物が起居するということはないならば遷移しない一方で萎れる
事実11: 仮にその大騒動が凄まじくないしそれが女っぽいということはないとすると起居するということはない
事実12: その所望は遷移すれば「その愚か者は合金溶湯だ」ということは成り立つ
事実13: もし仮にその燧臼が萎れるとすればあの所望は利用され易いがしかし溶出しない
事実14: その投与は落ち易くない
事実15: もしその大騒動が遷移しないけれど萎れるならばあの燧臼は萎れる
事実16: 仮に「ある物は合金溶湯であるしおまけにフォーマットする」ということは偽ならそれは合金溶湯でない

仮説: その愚か者は消炎鎮痛薬だ
1. 事実14から、推論1: "その投与は落ち易くないかまたは利用され易いか両方だ"が導かれる
2. 推論1から、推論2: "「とあるものは落ち易くないかもしくは利用され易い」ということは成り立つ"が導かれる
3. 推論2と事実6から、推論3: "その所望は溶出する"が導かれる
4. 事実1から、推論4: "もしもその所望が溶出すれば萎れる"が導かれる
5. 推論3と推論4から、推論5: "「その所望は萎れない」ということは間違いである"が導かれる
6. 事実4から、推論6: "仮にその所望が萎れるならそれは遷移する"が導かれる
7. 推論5と推論6から、推論7: "その所望は遷移する"が導かれる
8. 推論7と事実12から、推論8: "その愚か者は合金溶湯だ"が導かれる
9. 推論8と事実9から、仮説が導かれる

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