この穂ちゃんは床しいけど可逆でない
fact1: もし仮になんらかのものは切れ落ちないとすると「それは可逆でないしまた転院でない」ということは事実だ fact2: あの功徳は切れ落ちない fact3: もし仮にその十枚以上は可逆でないなら信仰深いし床しい fact4: もしなんらかの物が演じ分ける一方で信仰深くないとしたらそれは形骸化しない fact5: 「「なんらかのものが可逆だけどそれは演じ分けない」ということは事実だ」ということは偽だとするとかわゆい fact6: もし仮に何らかのものは形骸化すれば「それは書き易いが陰気臭くない」ということは真実でない fact7: もしなんらかのものは信仰深いならば「それは形骸化しないし加えて演じ分けない」ということは真実でない fact8: 「その米騒動はかわゆくてさらにそれは歌舞伎以外だ」ということは事実と異なる fact9: この穂ちゃんは空中遊泳する fact10: その十枚以上は演じ分けないとしたら「この穂ちゃんは形骸化するけどそれは演じ分けるということはない」ということは成り立つということはない fact11: もしもこの穂ちゃんは空中遊泳するなら「それは信仰深いが床しかない」ということは誤りである fact12: この穂ちゃんは切れ落ちない fact13: その十枚以上は空中遊泳する fact14: その米騒動は演じ分けない fact15: この生存術は信仰深くない fact16: もし仮に「とある物は形骸化する一方で演じ分けない」ということは嘘ならばそれは信仰深い fact17: もしもその米騒動は形骸化しないとすると「この穂ちゃんは床しいがしかし可逆であるということはない」ということは嘘である fact18: あのデブリドマンは空中遊泳する fact19: もし仮に「その米騒動はかわゆいし歌舞伎以外だ」ということは成り立たないとすればその十枚以上は演じ分けない
fact19 & fact8 -> int1: その十枚以上は演じ分けない; int1 & fact10 -> int2: 「この穂ちゃんは形骸化するがしかし演じ分けない」ということは成り立たない; fact16 -> int3: もしも「この穂ちゃんは形骸化するが演じ分けない」ということは事実と異なるとすれば「それは信仰深い」ということは本当である; int2 & int3 -> int4: この穂ちゃんは信仰深い; void -> assump1: 以下のように仮定する。この穂ちゃんは床しかない; int4 & assump1 -> int5: この穂ちゃんは信仰深いがしかし床しかない; fact9 & fact11 -> int6: 「この穂ちゃんは信仰深いけど床しかない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この穂ちゃんは床しい; fact1 -> int9: もし仮にこの穂ちゃんが切れ落ちないとするとそれは可逆であるということはなくてそれは転院でない; int9 & fact12 -> int10: この穂ちゃんは可逆だということはないし転院でない; int10 -> int11: この穂ちゃんは可逆だということはない; int8 & int11 -> hypothesis;
「この穂ちゃんは床しいがしかし可逆でない」ということは成り立たない
fact20 -> int12: もし仮にその米騒動が演じ分けるが信仰深くないとすれば形骸化しない; fact22 -> int13: その十枚以上は空中遊泳するか転院でないかもしくは両方ともである; int13 -> int14: 「空中遊泳するかもしくは転院でない」ものはある;
$facts$ = fact1: もし仮になんらかのものは切れ落ちないとすると「それは可逆でないしまた転院でない」ということは事実だ fact2: あの功徳は切れ落ちない fact3: もし仮にその十枚以上は可逆でないなら信仰深いし床しい fact4: もしなんらかの物が演じ分ける一方で信仰深くないとしたらそれは形骸化しない fact5: 「「なんらかのものが可逆だけどそれは演じ分けない」ということは事実だ」ということは偽だとするとかわゆい fact6: もし仮に何らかのものは形骸化すれば「それは書き易いが陰気臭くない」ということは真実でない fact7: もしなんらかのものは信仰深いならば「それは形骸化しないし加えて演じ分けない」ということは真実でない fact8: 「その米騒動はかわゆくてさらにそれは歌舞伎以外だ」ということは事実と異なる fact9: この穂ちゃんは空中遊泳する fact10: その十枚以上は演じ分けないとしたら「この穂ちゃんは形骸化するけどそれは演じ分けるということはない」ということは成り立つということはない fact11: もしもこの穂ちゃんは空中遊泳するなら「それは信仰深いが床しかない」ということは誤りである fact12: この穂ちゃんは切れ落ちない fact13: その十枚以上は空中遊泳する fact14: その米騒動は演じ分けない fact15: この生存術は信仰深くない fact16: もし仮に「とある物は形骸化する一方で演じ分けない」ということは嘘ならばそれは信仰深い fact17: もしもその米騒動は形骸化しないとすると「この穂ちゃんは床しいがしかし可逆であるということはない」ということは嘘である fact18: あのデブリドマンは空中遊泳する fact19: もし仮に「その米騒動はかわゆいし歌舞伎以外だ」ということは成り立たないとすればその十枚以上は演じ分けない ; $hypothesis$ = この穂ちゃんは床しいけど可逆でない ; $proof$ = 
fact19 & fact8 -> int1: その十枚以上は演じ分けない; int1 & fact10 -> int2: 「この穂ちゃんは形骸化するがしかし演じ分けない」ということは成り立たない; fact16 -> int3: もしも「この穂ちゃんは形骸化するが演じ分けない」ということは事実と異なるとすれば「それは信仰深い」ということは本当である; int2 & int3 -> int4: この穂ちゃんは信仰深い; void -> assump1: 以下のように仮定する。この穂ちゃんは床しかない; int4 & assump1 -> int5: この穂ちゃんは信仰深いがしかし床しかない; fact9 & fact11 -> int6: 「この穂ちゃんは信仰深いけど床しかない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この穂ちゃんは床しい; fact1 -> int9: もし仮にこの穂ちゃんが切れ落ちないとするとそれは可逆であるということはなくてそれは転院でない; int9 & fact12 -> int10: この穂ちゃんは可逆だということはないし転院でない; int10 -> int11: この穂ちゃんは可逆だということはない; int8 & int11 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは切れ落ちないとすると「それは可逆でないしまた転院でない」ということは事実だ
事実2: あの功徳は切れ落ちない
事実3: もし仮にその十枚以上は可逆でないなら信仰深いし床しい
事実4: もしなんらかの物が演じ分ける一方で信仰深くないとしたらそれは形骸化しない
事実5: 「「なんらかのものが可逆だけどそれは演じ分けない」ということは事実だ」ということは偽だとするとかわゆい
事実6: もし仮に何らかのものは形骸化すれば「それは書き易いが陰気臭くない」ということは真実でない
事実7: もしなんらかのものは信仰深いならば「それは形骸化しないし加えて演じ分けない」ということは真実でない
事実8: 「その米騒動はかわゆくてさらにそれは歌舞伎以外だ」ということは事実と異なる
事実9: この穂ちゃんは空中遊泳する
事実10: その十枚以上は演じ分けないとしたら「この穂ちゃんは形骸化するけどそれは演じ分けるということはない」ということは成り立つということはない
事実11: もしもこの穂ちゃんは空中遊泳するなら「それは信仰深いが床しかない」ということは誤りである
事実12: この穂ちゃんは切れ落ちない
事実13: その十枚以上は空中遊泳する
事実14: その米騒動は演じ分けない
事実15: この生存術は信仰深くない
事実16: もし仮に「とある物は形骸化する一方で演じ分けない」ということは嘘ならばそれは信仰深い
事実17: もしもその米騒動は形骸化しないとすると「この穂ちゃんは床しいがしかし可逆であるということはない」ということは嘘である
事実18: あのデブリドマンは空中遊泳する
事実19: もし仮に「その米騒動はかわゆいし歌舞伎以外だ」ということは成り立たないとすればその十枚以上は演じ分けない

仮説: この穂ちゃんは床しいけど可逆でない
1. 事実19と事実8から、推論1: "その十枚以上は演じ分けない"が導かれる
2. 推論1と事実10から、推論2: "「この穂ちゃんは形骸化するがしかし演じ分けない」ということは成り立たない"が導かれる
3. 事実16から、推論3: "もしも「この穂ちゃんは形骸化するが演じ分けない」ということは事実と異なるとすれば「それは信仰深い」ということは本当である"が導かれる
4. 推論2と推論3から、推論4: "この穂ちゃんは信仰深い"が導かれる
5. 仮定1: 以下のように仮定する。この穂ちゃんは床しかない
6. 推論4と仮定1から、推論5: "この穂ちゃんは信仰深いがしかし床しかない"が導かれる
7. 事実9と事実11から、推論6: "「この穂ちゃんは信仰深いけど床しかない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この穂ちゃんは床しい"が導かれる
10. 事実1から、推論9: "もし仮にこの穂ちゃんが切れ落ちないとするとそれは可逆であるということはなくてそれは転院でない"が導かれる
11. 推論9と事実12から、推論10: "この穂ちゃんは可逆だということはないし転院でない"が導かれる
12. 推論10から、推論11: "この穂ちゃんは可逆だということはない"が導かれる
13. 推論8と推論11から、仮説が導かれる

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