仮にあの封筒がアバターでないとしたらあの完全復活は作るし女っぽい
fact1: もし仮にあの封筒がアバターだとしたらあの完全復活は作るし女っぽい fact2: あの杏仁豆腐はほじくらない fact3: もしあるものが作らないとすると影響され易い fact4: そのスケープゴートは美しくない fact5: あの完全復活は川かますだ fact6: 「あの完全復活は作るし加えて支店長だ」ということは成り立たない fact7: もし何らかのものはアバターでない一方で縁取るならそれは川かますでない fact8: あの阪神ダートは打ち易いし勿体無い fact9: もし仮に「あの杏仁豆腐は支店長であるし川かますである」ということは成り立たないなら「それは縁取らない」ということは確かである fact10: 「あの杏仁豆腐は川かますで更に女っぽい」ということは間違っている fact11: 仮になにがしかの物が美しくないとすると女っぽくてそれは影響され易い fact12: あの杏仁豆腐が縁取らないかまたは育て易くないかもしくは両方ともだとするとあの完全復活は作る fact13: もし仮にあの杏仁豆腐が作らないかあるいはそれが川かますでないか両方ともならばあの完全復活は縁取る fact14: あの杏仁豆腐は美しい fact15: もしも「あの封筒はアバターでない」ということは成り立つなら「あの杏仁豆腐は支店長であるしそれに川かますである」ということは間違っている fact16: あの杏仁豆腐が育て易くないとすると作る fact17: 「あの完全復活は美しいということはない」ということは成り立つ fact18: あの封筒は縁取る fact19: 「この購入は修築するしそれに自己分裂である」ということは誤りだ fact20: あの完全復活は縁取らない fact21: あの杏仁豆腐は女っぽくないかまたはそれは川かますでないか両方ともである fact22: もし「あの杏仁豆腐は美しくない」ということは確かなら育て易くない fact23: あの完全復活は影響され易くて更に川かますである
void -> assump1: 以下のように仮定する。あの封筒はアバターだということはない; fact15 & assump1 -> int1: 「あの杏仁豆腐は支店長であるし更に川かますである」ということは成り立たない; int1 & fact9 -> int2: 「あの杏仁豆腐は縁取らない」ということは真実である; int2 -> int3: あの杏仁豆腐は縁取るということはないかあるいは育て易くないかもしくは両方ともだ; int3 & fact12 -> int4: あの完全復活は作る; fact11 -> int5: もし仮にあの完全復活が美しくないとしたらそれは女っぽくて影響され易い; fact17 & int5 -> int6: あの完全復活は女っぽいものでありその上影響され易い; int6 -> int7: あの完全復活は女っぽい; int4 & int7 -> int8: あの完全復活は作るし女っぽい; [assump1] & int8 -> hypothesis;
あの治療様式は川かますであるということはない
fact24 -> int9: 仮にあの治療様式がアバターでないがしかし縁取るとしたらそれは川かますでない;
$facts$ = fact1: もし仮にあの封筒がアバターだとしたらあの完全復活は作るし女っぽい fact2: あの杏仁豆腐はほじくらない fact3: もしあるものが作らないとすると影響され易い fact4: そのスケープゴートは美しくない fact5: あの完全復活は川かますだ fact6: 「あの完全復活は作るし加えて支店長だ」ということは成り立たない fact7: もし何らかのものはアバターでない一方で縁取るならそれは川かますでない fact8: あの阪神ダートは打ち易いし勿体無い fact9: もし仮に「あの杏仁豆腐は支店長であるし川かますである」ということは成り立たないなら「それは縁取らない」ということは確かである fact10: 「あの杏仁豆腐は川かますで更に女っぽい」ということは間違っている fact11: 仮になにがしかの物が美しくないとすると女っぽくてそれは影響され易い fact12: あの杏仁豆腐が縁取らないかまたは育て易くないかもしくは両方ともだとするとあの完全復活は作る fact13: もし仮にあの杏仁豆腐が作らないかあるいはそれが川かますでないか両方ともならばあの完全復活は縁取る fact14: あの杏仁豆腐は美しい fact15: もしも「あの封筒はアバターでない」ということは成り立つなら「あの杏仁豆腐は支店長であるしそれに川かますである」ということは間違っている fact16: あの杏仁豆腐が育て易くないとすると作る fact17: 「あの完全復活は美しいということはない」ということは成り立つ fact18: あの封筒は縁取る fact19: 「この購入は修築するしそれに自己分裂である」ということは誤りだ fact20: あの完全復活は縁取らない fact21: あの杏仁豆腐は女っぽくないかまたはそれは川かますでないか両方ともである fact22: もし「あの杏仁豆腐は美しくない」ということは確かなら育て易くない fact23: あの完全復活は影響され易くて更に川かますである ; $hypothesis$ = 仮にあの封筒がアバターでないとしたらあの完全復活は作るし女っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの封筒はアバターだということはない; fact15 & assump1 -> int1: 「あの杏仁豆腐は支店長であるし更に川かますである」ということは成り立たない; int1 & fact9 -> int2: 「あの杏仁豆腐は縁取らない」ということは真実である; int2 -> int3: あの杏仁豆腐は縁取るということはないかあるいは育て易くないかもしくは両方ともだ; int3 & fact12 -> int4: あの完全復活は作る; fact11 -> int5: もし仮にあの完全復活が美しくないとしたらそれは女っぽくて影響され易い; fact17 & int5 -> int6: あの完全復活は女っぽいものでありその上影響され易い; int6 -> int7: あの完全復活は女っぽい; int4 & int7 -> int8: あの完全復活は作るし女っぽい; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮にあの封筒がアバターだとしたらあの完全復活は作るし女っぽい
事実2: あの杏仁豆腐はほじくらない
事実3: もしあるものが作らないとすると影響され易い
事実4: そのスケープゴートは美しくない
事実5: あの完全復活は川かますだ
事実6: 「あの完全復活は作るし加えて支店長だ」ということは成り立たない
事実7: もし何らかのものはアバターでない一方で縁取るならそれは川かますでない
事実8: あの阪神ダートは打ち易いし勿体無い
事実9: もし仮に「あの杏仁豆腐は支店長であるし川かますである」ということは成り立たないなら「それは縁取らない」ということは確かである
事実10: 「あの杏仁豆腐は川かますで更に女っぽい」ということは間違っている
事実11: 仮になにがしかの物が美しくないとすると女っぽくてそれは影響され易い
事実12: あの杏仁豆腐が縁取らないかまたは育て易くないかもしくは両方ともだとするとあの完全復活は作る
事実13: もし仮にあの杏仁豆腐が作らないかあるいはそれが川かますでないか両方ともならばあの完全復活は縁取る
事実14: あの杏仁豆腐は美しい
事実15: もしも「あの封筒はアバターでない」ということは成り立つなら「あの杏仁豆腐は支店長であるしそれに川かますである」ということは間違っている
事実16: あの杏仁豆腐が育て易くないとすると作る
事実17: 「あの完全復活は美しいということはない」ということは成り立つ
事実18: あの封筒は縁取る
事実19: 「この購入は修築するしそれに自己分裂である」ということは誤りだ
事実20: あの完全復活は縁取らない
事実21: あの杏仁豆腐は女っぽくないかまたはそれは川かますでないか両方ともである
事実22: もし「あの杏仁豆腐は美しくない」ということは確かなら育て易くない
事実23: あの完全復活は影響され易くて更に川かますである

仮説: 仮にあの封筒がアバターでないとしたらあの完全復活は作るし女っぽい
1. 仮定1: 以下のように仮定する。あの封筒はアバターだということはない
2. 事実15と仮定1から、推論1: "「あの杏仁豆腐は支店長であるし更に川かますである」ということは成り立たない"が導かれる
3. 推論1と事実9から、推論2: "「あの杏仁豆腐は縁取らない」ということは真実である"が導かれる
4. 推論2から、推論3: "あの杏仁豆腐は縁取るということはないかあるいは育て易くないかもしくは両方ともだ"が導かれる
5. 推論3と事実12から、推論4: "あの完全復活は作る"が導かれる
6. 事実11から、推論5: "もし仮にあの完全復活が美しくないとしたらそれは女っぽくて影響され易い"が導かれる
7. 事実17と推論5から、推論6: "あの完全復活は女っぽいものでありその上影響され易い"が導かれる
8. 推論6から、推論7: "あの完全復活は女っぽい"が導かれる
9. 推論4と推論7から、推論8: "あの完全復活は作るし女っぽい"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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