その経験値は内蔵しない
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: もしあの八品目は四句であるとしたら「その在庫品は跳ねないがそれは逞しい」ということは真実でない
fact3 & fact6 -> int1: その在庫品は税であるということはないかまたは仙遊寺でないかもしくは両方である; int1 & fact24 -> int2: あの八品目は跳ねる; int2 & fact25 -> int3: この文武天皇は逞しい; void -> assump1: 以下のように仮定する。この文武天皇は四句であるということはない; int3 & assump1 -> int4: 「この文武天皇は逞しいが四句でない」ということは成り立つ; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この文武天皇は四句である; int6 & fact21 -> int7: 「その経験値は落とし兼ねないけどそれは飲み込む」ということは正しいということはない; fact1 -> int8: 「「その経験値は落とし兼ねるということはないがしかし飲み込む」ということは事実と異なる」ということは確かだとしたらそれは内蔵する; int7 & int8 -> hypothesis;
その経験値は内蔵しない
fact29 & fact33 -> int9: この文武天皇は飲み込まない; fact31 & int9 -> int10: 「あの八品目は跳ねるけど落とし兼ねない」ということは成り立たない; fact30 & int10 -> int11: その在庫品は跳ねない; fact34 -> int12: もしも「その在庫品は逞しいが税でない」ということは嘘だとしたら税である; fact28 -> int13: 仮にその在庫品は四句でないとすると「それは逞しいがしかし税でない」ということは事実と異なる; int13 & fact32 -> int14: 「その在庫品は逞しいけれどそれは税でない」ということは事実と異なる; int12 & int14 -> int15: その在庫品は税だ;
$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: もしあの八品目は四句であるとしたら「その在庫品は跳ねないがそれは逞しい」ということは真実でない ; $hypothesis$ = その経験値は内蔵しない ; $proof$ = 
fact3 & fact6 -> int1: その在庫品は税であるということはないかまたは仙遊寺でないかもしくは両方である; int1 & fact24 -> int2: あの八品目は跳ねる; int2 & fact25 -> int3: この文武天皇は逞しい; void -> assump1: 以下のように仮定する。この文武天皇は四句であるということはない; int3 & assump1 -> int4: 「この文武天皇は逞しいが四句でない」ということは成り立つ; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この文武天皇は四句である; int6 & fact21 -> int7: 「その経験値は落とし兼ねないけどそれは飲み込む」ということは正しいということはない; fact1 -> int8: 「「その経験値は落とし兼ねるということはないがしかし飲み込む」ということは事実と異なる」ということは確かだとしたらそれは内蔵する; int7 & 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: もしあの八品目は四句であるとしたら「その在庫品は跳ねないがそれは逞しい」ということは真実でない

仮説: その経験値は内蔵しない
1. 事実3と事実6から、推論1: "その在庫品は税であるということはないかまたは仙遊寺でないかもしくは両方である"が導かれる
2. 推論1と事実24から、推論2: "あの八品目は跳ねる"が導かれる
3. 推論2と事実25から、推論3: "この文武天皇は逞しい"が導かれる
4. 仮定1: 以下のように仮定する。この文武天皇は四句であるということはない
5. 推論3と仮定1から、推論4: "「この文武天皇は逞しいが四句でない」ということは成り立つ"が導かれる
6. 推論4と事実2から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この文武天皇は四句である"が導かれる
8. 推論6と事実21から、推論7: "「その経験値は落とし兼ねないけどそれは飲み込む」ということは正しいということはない"が導かれる
9. 事実1から、推論8: "「「その経験値は落とし兼ねるということはないがしかし飲み込む」ということは事実と異なる」ということは確かだとしたらそれは内蔵する"が導かれる
10. 推論7と推論8から、仮説が否定される

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