その前歴はがめつい
fact1: あの衣鉢ががめつかないとしたらその前歴は始むない fact2: もしあの衣鉢は始むないとすれば「あのドリュフォロスは始むしさらに育苗する」ということは誤っている fact3: 「あの蛋白は始むない」ということは真実である fact4: もしもあのドリュフォロスが出立しないとすればあのサイレントは保険者機能でない fact5: もし仮にあの成功体験がデザイナ上だとしたらそれは届き難い fact6: もしその前歴ががめついならあの衣鉢は砂糖漬けである fact7: あの成功体験は弱々しい fact8: あのサイレントは冒険出来るけど日常生活活動でない fact9: もしなんらかのものは冒険出来るけど日常生活活動だということはないとすればサイドメニューだ fact10: もし仮に「なにがしかのものは小さいけど砂糖漬けでない」ということは成り立たないならばそれはがめつい fact11: 仮にあの成功体験が届き難いとするとあのドリュフォロスは揃い過ぎるけどそれはロゼでない fact12: もしもあの成功体験が自発分極するならデザイナ上である fact13: 仮に「あのドリュフォロスは始むしかつ育苗する」ということは成り立たないならば出立しない fact14: 「あの成功体験は弱々しい」ということは誤りでないとするとそれは自発分極する fact15: もしもあのドリュフォロスは砂糖漬けでその上出立するとしたらそれは保険者機能でない fact16: 仮にあのドリュフォロスがミニストップであるとしたらあの衣鉢は保険者機能である fact17: 竜神はミニストップである fact18: 「あの衣鉢が砂糖漬けであるし小さいとするとあの衣鉢は始むない」ということは本当だ fact19: あの成功体験は保険者機能であるかミニストップである fact20: 「あの成功体験は保険者機能だ」ということは正しいならあのサイレントは保険者機能である fact21: 仮にあの成功体験がミニストップであるとしたらあのサイレントは保険者機能である fact22: あの衣鉢は小さい fact23: もしもあの衣鉢が保険者機能であるならばその前歴は出立する fact24: あのドリュフォロスががめついとするとその前歴は出立する fact25: その前歴は育苗する fact26: もしあの成功体験は小さいとしたら「あの衣鉢はミニストップである」ということは成り立つ fact27: もしもなにがしかのものがロゼでないしかつ待ち遠しくないとすれば竜神だ fact28: あの成功体験は始む
void -> assump1: 以下のように仮定する。「その前歴はがめつい」ということは本当だ; fact6 & assump1 -> int1: あの衣鉢は砂糖漬けだ; int1 & fact22 -> int2: あの衣鉢は砂糖漬けであるしその上小さい; int2 & fact18 -> int3: あの衣鉢は始むない; int3 & fact2 -> int4: 「あのドリュフォロスは始むしさらにそれは育苗する」ということは間違いである; int4 & fact13 -> int5: あのドリュフォロスは出立しない; int5 & fact4 -> int6: あのサイレントは保険者機能でない; fact19 & fact20 & fact21 -> int7: あのサイレントは保険者機能だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その前歴はがめつい
fact34 -> int9: もしも「その前歴は小さい一方で砂糖漬けでない」ということは誤りならばがめつい; fact38 -> int10: もし仮にあのドリュフォロスが竜神ならミニストップだ; fact37 -> int11: もし仮にあのドリュフォロスはロゼだということはなくて更に待ち遠しくないとすると竜神だ; fact40 & fact32 -> int12: あの成功体験は自発分極する; fact30 & int12 -> int13: あの成功体験はデザイナ上である; fact36 & int13 -> int14: あの成功体験は届き難い; fact39 & int14 -> int15: あのドリュフォロスは揃い過ぎるがしかしロゼでない; int15 -> int16: あのドリュフォロスはロゼであるということはない; fact35 -> int17: もしもあのサイレントは冒険出来る一方で日常生活活動でないならばサイドメニューである; int17 & fact29 -> int18: あのサイレントはサイドメニューである; int18 -> int19: 「サイドメニューな」物はある;
$facts$ = fact1: あの衣鉢ががめつかないとしたらその前歴は始むない fact2: もしあの衣鉢は始むないとすれば「あのドリュフォロスは始むしさらに育苗する」ということは誤っている fact3: 「あの蛋白は始むない」ということは真実である fact4: もしもあのドリュフォロスが出立しないとすればあのサイレントは保険者機能でない fact5: もし仮にあの成功体験がデザイナ上だとしたらそれは届き難い fact6: もしその前歴ががめついならあの衣鉢は砂糖漬けである fact7: あの成功体験は弱々しい fact8: あのサイレントは冒険出来るけど日常生活活動でない fact9: もしなんらかのものは冒険出来るけど日常生活活動だということはないとすればサイドメニューだ fact10: もし仮に「なにがしかのものは小さいけど砂糖漬けでない」ということは成り立たないならばそれはがめつい fact11: 仮にあの成功体験が届き難いとするとあのドリュフォロスは揃い過ぎるけどそれはロゼでない fact12: もしもあの成功体験が自発分極するならデザイナ上である fact13: 仮に「あのドリュフォロスは始むしかつ育苗する」ということは成り立たないならば出立しない fact14: 「あの成功体験は弱々しい」ということは誤りでないとするとそれは自発分極する fact15: もしもあのドリュフォロスは砂糖漬けでその上出立するとしたらそれは保険者機能でない fact16: 仮にあのドリュフォロスがミニストップであるとしたらあの衣鉢は保険者機能である fact17: 竜神はミニストップである fact18: 「あの衣鉢が砂糖漬けであるし小さいとするとあの衣鉢は始むない」ということは本当だ fact19: あの成功体験は保険者機能であるかミニストップである fact20: 「あの成功体験は保険者機能だ」ということは正しいならあのサイレントは保険者機能である fact21: 仮にあの成功体験がミニストップであるとしたらあのサイレントは保険者機能である fact22: あの衣鉢は小さい fact23: もしもあの衣鉢が保険者機能であるならばその前歴は出立する fact24: あのドリュフォロスががめついとするとその前歴は出立する fact25: その前歴は育苗する fact26: もしあの成功体験は小さいとしたら「あの衣鉢はミニストップである」ということは成り立つ fact27: もしもなにがしかのものがロゼでないしかつ待ち遠しくないとすれば竜神だ fact28: あの成功体験は始む ; $hypothesis$ = その前歴はがめつい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その前歴はがめつい」ということは本当だ; fact6 & assump1 -> int1: あの衣鉢は砂糖漬けだ; int1 & fact22 -> int2: あの衣鉢は砂糖漬けであるしその上小さい; int2 & fact18 -> int3: あの衣鉢は始むない; int3 & fact2 -> int4: 「あのドリュフォロスは始むしさらにそれは育苗する」ということは間違いである; int4 & fact13 -> int5: あのドリュフォロスは出立しない; int5 & fact4 -> int6: あのサイレントは保険者機能でない; fact19 & fact20 & fact21 -> int7: あのサイレントは保険者機能だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: あの衣鉢ががめつかないとしたらその前歴は始むない
事実2: もしあの衣鉢は始むないとすれば「あのドリュフォロスは始むしさらに育苗する」ということは誤っている
事実3: 「あの蛋白は始むない」ということは真実である
事実4: もしもあのドリュフォロスが出立しないとすればあのサイレントは保険者機能でない
事実5: もし仮にあの成功体験がデザイナ上だとしたらそれは届き難い
事実6: もしその前歴ががめついならあの衣鉢は砂糖漬けである
事実7: あの成功体験は弱々しい
事実8: あのサイレントは冒険出来るけど日常生活活動でない
事実9: もしなんらかのものは冒険出来るけど日常生活活動だということはないとすればサイドメニューだ
事実10: もし仮に「なにがしかのものは小さいけど砂糖漬けでない」ということは成り立たないならばそれはがめつい
事実11: 仮にあの成功体験が届き難いとするとあのドリュフォロスは揃い過ぎるけどそれはロゼでない
事実12: もしもあの成功体験が自発分極するならデザイナ上である
事実13: 仮に「あのドリュフォロスは始むしかつ育苗する」ということは成り立たないならば出立しない
事実14: 「あの成功体験は弱々しい」ということは誤りでないとするとそれは自発分極する
事実15: もしもあのドリュフォロスは砂糖漬けでその上出立するとしたらそれは保険者機能でない
事実16: 仮にあのドリュフォロスがミニストップであるとしたらあの衣鉢は保険者機能である
事実17: 竜神はミニストップである
事実18: 「あの衣鉢が砂糖漬けであるし小さいとするとあの衣鉢は始むない」ということは本当だ
事実19: あの成功体験は保険者機能であるかミニストップである
事実20: 「あの成功体験は保険者機能だ」ということは正しいならあのサイレントは保険者機能である
事実21: 仮にあの成功体験がミニストップであるとしたらあのサイレントは保険者機能である
事実22: あの衣鉢は小さい
事実23: もしもあの衣鉢が保険者機能であるならばその前歴は出立する
事実24: あのドリュフォロスががめついとするとその前歴は出立する
事実25: その前歴は育苗する
事実26: もしあの成功体験は小さいとしたら「あの衣鉢はミニストップである」ということは成り立つ
事実27: もしもなにがしかのものがロゼでないしかつ待ち遠しくないとすれば竜神だ
事実28: あの成功体験は始む

仮説: その前歴はがめつい
1. 仮定1: 以下のように仮定する。「その前歴はがめつい」ということは本当だ
2. 事実6と仮定1から、推論1: "あの衣鉢は砂糖漬けだ"が導かれる
3. 推論1と事実22から、推論2: "あの衣鉢は砂糖漬けであるしその上小さい"が導かれる
4. 推論2と事実18から、推論3: "あの衣鉢は始むない"が導かれる
5. 推論3と事実2から、推論4: "「あのドリュフォロスは始むしさらにそれは育苗する」ということは間違いである"が導かれる
6. 推論4と事実13から、推論5: "あのドリュフォロスは出立しない"が導かれる
7. 推論5と事実4から、推論6: "あのサイレントは保険者機能でない"が導かれる
8. 事実19と事実20と事実21から、推論7: "あのサイレントは保険者機能だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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