この将来性は掘り崩す
fact1: 何もかもは未舗装である fact2: 「「和ちゃんであるしそれに作り難い」ということは成り立たない」物はある fact3: 「和ちゃんでなくてかつ作り難い」ものはある fact4: もしも「和ちゃんな」物があればあの映えは血腥い fact5: 未舗装は生温かい fact6: 全ては生臭い fact7: 仮にその肉棒が掘り崩さないとしたらその存立基盤は血腥くないかもしくは準備作業だということはないかあるいはどちらもである fact8: もしもとあるものが読み易いならまあるい fact9: その存立基盤は妾宅でない fact10: この将来性が準備作業でないとするとその軍服は生温かいしそれに未舗装である fact11: あの映えが血腥いしそれに準備作業だとするとこの将来性は掘り崩さない fact12: 仮に「「このリスクコミュニケーションは計算書類等でないし読み易くない」ということは成り立つ」ということは偽であるならそれは読み易い fact13: 「もしこのリスクコミュニケーションはまあるいとすれば「このリスクコミュニケーションは妾宅である」ということは事実だ」ということは偽だということはない fact14: 生温かいものは準備作業だ fact15: もしその存立基盤は妾宅でないとすると「それは和ちゃんで加えて作り難い」ということは嘘である fact16: 仮にその存立基盤は妾宅でないとしたら「それは和ちゃんでないがしかし作り難い」ということは誤りである fact17: もしも「「和ちゃんでないが作り難い」ということは成り立たない」物はあれば「あの映えは血腥くない」ということは確かでない fact18: もしもこのリスクコミュニケーションは妾宅なら「「作り難くないけど和ちゃんだ」ということは事実である」ということは成り立たない fact19: 「その存立基盤は和ちゃんで更に作り難い」ということは間違いである
fact1 -> int1: あの映えは未舗装だ; fact5 -> int2: 仮に「あの映えは未舗装である」ということは成り立つとすれば生温かい; int1 & int2 -> int3: あの映えは生温かい; fact14 -> int4: もし「あの映えは生温かくない」ということは誤りであるとしたらそれは準備作業である; int3 & int4 -> int5: あの映えは準備作業だ; fact9 & fact16 -> int6: 「その存立基盤は和ちゃんでないけれどそれは作り難い」ということは成り立たない; int6 -> int7: 「「和ちゃんでなくてその上作り難い」ということは間違いである」ものはある; fact17 & int7 -> int8: あの映えは血腥い; int5 & int8 -> int9: 「あの映えは血腥いしその上準備作業だ」ということは成り立つ; int9 & fact11 -> hypothesis;
その軍服は生温かい
fact25 -> int10: 仮にこのリスクコミュニケーションが読み易いとしたらそれはまあるい;
$facts$ = fact1: 何もかもは未舗装である fact2: 「「和ちゃんであるしそれに作り難い」ということは成り立たない」物はある fact3: 「和ちゃんでなくてかつ作り難い」ものはある fact4: もしも「和ちゃんな」物があればあの映えは血腥い fact5: 未舗装は生温かい fact6: 全ては生臭い fact7: 仮にその肉棒が掘り崩さないとしたらその存立基盤は血腥くないかもしくは準備作業だということはないかあるいはどちらもである fact8: もしもとあるものが読み易いならまあるい fact9: その存立基盤は妾宅でない fact10: この将来性が準備作業でないとするとその軍服は生温かいしそれに未舗装である fact11: あの映えが血腥いしそれに準備作業だとするとこの将来性は掘り崩さない fact12: 仮に「「このリスクコミュニケーションは計算書類等でないし読み易くない」ということは成り立つ」ということは偽であるならそれは読み易い fact13: 「もしこのリスクコミュニケーションはまあるいとすれば「このリスクコミュニケーションは妾宅である」ということは事実だ」ということは偽だということはない fact14: 生温かいものは準備作業だ fact15: もしその存立基盤は妾宅でないとすると「それは和ちゃんで加えて作り難い」ということは嘘である fact16: 仮にその存立基盤は妾宅でないとしたら「それは和ちゃんでないがしかし作り難い」ということは誤りである fact17: もしも「「和ちゃんでないが作り難い」ということは成り立たない」物はあれば「あの映えは血腥くない」ということは確かでない fact18: もしもこのリスクコミュニケーションは妾宅なら「「作り難くないけど和ちゃんだ」ということは事実である」ということは成り立たない fact19: 「その存立基盤は和ちゃんで更に作り難い」ということは間違いである ; $hypothesis$ = この将来性は掘り崩す ; $proof$ = 
fact1 -> int1: あの映えは未舗装だ; fact5 -> int2: 仮に「あの映えは未舗装である」ということは成り立つとすれば生温かい; int1 & int2 -> int3: あの映えは生温かい; fact14 -> int4: もし「あの映えは生温かくない」ということは誤りであるとしたらそれは準備作業である; int3 & int4 -> int5: あの映えは準備作業だ; fact9 & fact16 -> int6: 「その存立基盤は和ちゃんでないけれどそれは作り難い」ということは成り立たない; int6 -> int7: 「「和ちゃんでなくてその上作り難い」ということは間違いである」ものはある; fact17 & int7 -> int8: あの映えは血腥い; int5 & int8 -> int9: 「あの映えは血腥いしその上準備作業だ」ということは成り立つ; int9 & fact11 -> hypothesis; __DISPROVED__
事実1: 何もかもは未舗装である
事実2: 「「和ちゃんであるしそれに作り難い」ということは成り立たない」物はある
事実3: 「和ちゃんでなくてかつ作り難い」ものはある
事実4: もしも「和ちゃんな」物があればあの映えは血腥い
事実5: 未舗装は生温かい
事実6: 全ては生臭い
事実7: 仮にその肉棒が掘り崩さないとしたらその存立基盤は血腥くないかもしくは準備作業だということはないかあるいはどちらもである
事実8: もしもとあるものが読み易いならまあるい
事実9: その存立基盤は妾宅でない
事実10: この将来性が準備作業でないとするとその軍服は生温かいしそれに未舗装である
事実11: あの映えが血腥いしそれに準備作業だとするとこの将来性は掘り崩さない
事実12: 仮に「「このリスクコミュニケーションは計算書類等でないし読み易くない」ということは成り立つ」ということは偽であるならそれは読み易い
事実13: 「もしこのリスクコミュニケーションはまあるいとすれば「このリスクコミュニケーションは妾宅である」ということは事実だ」ということは偽だということはない
事実14: 生温かいものは準備作業だ
事実15: もしその存立基盤は妾宅でないとすると「それは和ちゃんで加えて作り難い」ということは嘘である
事実16: 仮にその存立基盤は妾宅でないとしたら「それは和ちゃんでないがしかし作り難い」ということは誤りである
事実17: もしも「「和ちゃんでないが作り難い」ということは成り立たない」物はあれば「あの映えは血腥くない」ということは確かでない
事実18: もしもこのリスクコミュニケーションは妾宅なら「「作り難くないけど和ちゃんだ」ということは事実である」ということは成り立たない
事実19: 「その存立基盤は和ちゃんで更に作り難い」ということは間違いである

仮説: この将来性は掘り崩す
1. 事実1から、推論1: "あの映えは未舗装だ"が導かれる
2. 事実5から、推論2: "仮に「あの映えは未舗装である」ということは成り立つとすれば生温かい"が導かれる
3. 推論1と推論2から、推論3: "あの映えは生温かい"が導かれる
4. 事実14から、推論4: "もし「あの映えは生温かくない」ということは誤りであるとしたらそれは準備作業である"が導かれる
5. 推論3と推論4から、推論5: "あの映えは準備作業だ"が導かれる
6. 事実9と事実16から、推論6: "「その存立基盤は和ちゃんでないけれどそれは作り難い」ということは成り立たない"が導かれる
7. 推論6から、推論7: "「「和ちゃんでなくてその上作り難い」ということは間違いである」ものはある"が導かれる
8. 事実17と推論7から、推論8: "あの映えは血腥い"が導かれる
9. 推論5と推論8から、推論9: "「あの映えは血腥いしその上準備作業だ」ということは成り立つ"が導かれる
10. 推論9と事実11から、仮説が否定される

よって、仮説が否定されました。