あの鬼達は持ち寄るけれど犯し続けない
fact1: もし「その背黄青鸚哥は見窄らしいということはない」ということは事実だとするとあの鬼達は持ち寄るがしかし犯し続けない fact2: 仮になにかは比較的高齢でないなら「それは面映ゆくて加えてアメリカらしい」ということは成り立つ fact3: もしも「その生返事は飲用水である一方で切り替えない」ということは成り立たないなら「この撤去はしぶとい」ということは成り立つ fact4: もし仮にこの調査不能は説き伏せるしさらに性分らしいとすれば平べったくない fact5: もしもこの調査不能は平べったくないとすれば「比較的高齢であるしアメリカらしいということはない」ということは誤りだ fact6: 仮にとあるものはしぶとくないとすると「切り替えるということはないしその上飲用水でない」ということは成り立たない fact7: もし「なにかは鈍くないかもしくは取り締まらないか両方だ」ということは確かだとしたらそれは甘辛い fact8: もしこの撤去が取り締まらないとすればその生返事は鈍いがしぶといということはない fact9: もしもある物はしぶといなら「鈍くないがしかし取り締まる」ということは誤りだ fact10: 「この調査不能は平べったいが比較的高齢でない」ということは嘘だ fact11: この調査不能は見窄らしくないか面映ゆかないか両方であるとしたら「その背黄青鸚哥は膨れる」ということは成り立つ fact12: もしその生返事が膨れないとすればこの撤去は飲用水で逃れ難い fact13: 「「凍死するし更に十二Ａである」ということは成り立たない」物はある fact14: もしあの防衛問題資料が膨れるしまた面映ゆいとすればその背黄青鸚哥は見窄らしくない fact15: もし仮に「この調査不能は平べったいが比較的高齢でない」ということは事実でないとするとあの防衛問題資料は比較的高齢でない fact16: その生返事は膨れない fact17: もしも「何かは鈍くないけど取り締まる」ということは間違っているとしたらそれは持ち寄らない fact18: もしもなんらかのものがしぶとくないとしたら鈍くないかあるいはそれは取り締まらないかもしくは両方ともである fact19: もし仮に「「切り替える」ということは本当である」ものはあるとすれば「その生返事は飲用水であるが切り替えない」ということは間違いだ fact20: ある物は面映ゆい fact21: もし仮に「「その生返事は切り替えないしそれは飲用水でない」ということは本当である」ということは成り立たないならば「あの防衛問題資料は膨れる」ということは成り立つ fact22: もしも「その背黄青鸚哥は膨れる」ということは確かならあの防衛問題資料は切り替える fact23: もし仮に「「凍死するし十二Ａである」ということは間違いな」ものがあるとするとこの撤去は取り締まらない
fact13 & fact23 -> int1: この撤去は取り締まらない; int1 & fact8 -> int2: その生返事は鈍いがそれはしぶとくない; int2 -> int3: その生返事はしぶとくない; fact6 -> int4: その生返事はしぶとくないならば「切り替えるということはないしかつ飲用水でない」ということは真実でない; int3 & int4 -> int5: 「その生返事は切り替えないししかも飲用水でない」ということは成り立たない; int5 & fact21 -> int6: あの防衛問題資料は膨れる; fact2 -> int7: もしもあの防衛問題資料は比較的高齢であるということはないとしたらそれは面映ゆいしアメリカらしい; fact10 & fact15 -> int8: あの防衛問題資料は比較的高齢でない; int7 & int8 -> int9: あの防衛問題資料は面映ゆいしさらにアメリカらしい; int9 -> int10: あの防衛問題資料は面映ゆい; int6 & int10 -> int11: あの防衛問題資料は膨れるしそれは面映ゆい; int11 & fact14 -> int12: その背黄青鸚哥は見窄らしいということはない; int12 & fact1 -> hypothesis;
この撤去は逃れ難くて甘辛い
fact27 & fact26 -> int13: この撤去は飲用水だしさらに逃れ難い; int13 -> int14: この撤去は逃れ難い; fact25 -> int15: もし仮にこの撤去が鈍くないかあるいは取り締まらないならば「それは甘辛い」ということは正しい; fact28 -> int16: もし仮にこの撤去がしぶとくないとしたらそれは鈍くないかまたはそれは取り締まらないかどちらもだ;
$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$ = 
fact13 & fact23 -> int1: この撤去は取り締まらない; int1 & fact8 -> int2: その生返事は鈍いがそれはしぶとくない; int2 -> int3: その生返事はしぶとくない; fact6 -> int4: その生返事はしぶとくないならば「切り替えるということはないしかつ飲用水でない」ということは真実でない; int3 & int4 -> int5: 「その生返事は切り替えないししかも飲用水でない」ということは成り立たない; int5 & fact21 -> int6: あの防衛問題資料は膨れる; fact2 -> int7: もしもあの防衛問題資料は比較的高齢であるということはないとしたらそれは面映ゆいしアメリカらしい; fact10 & fact15 -> int8: あの防衛問題資料は比較的高齢でない; int7 & int8 -> int9: あの防衛問題資料は面映ゆいしさらにアメリカらしい; int9 -> int10: あの防衛問題資料は面映ゆい; int6 & int10 -> int11: あの防衛問題資料は膨れるしそれは面映ゆい; int11 & fact14 -> int12: その背黄青鸚哥は見窄らしいということはない; int12 & fact1 -> 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. 事実13と事実23から、推論1: "この撤去は取り締まらない"が導かれる
2. 推論1と事実8から、推論2: "その生返事は鈍いがそれはしぶとくない"が導かれる
3. 推論2から、推論3: "その生返事はしぶとくない"が導かれる
4. 事実6から、推論4: "その生返事はしぶとくないならば「切り替えるということはないしかつ飲用水でない」ということは真実でない"が導かれる
5. 推論3と推論4から、推論5: "「その生返事は切り替えないししかも飲用水でない」ということは成り立たない"が導かれる
6. 推論5と事実21から、推論6: "あの防衛問題資料は膨れる"が導かれる
7. 事実2から、推論7: "もしもあの防衛問題資料は比較的高齢であるということはないとしたらそれは面映ゆいしアメリカらしい"が導かれる
8. 事実10と事実15から、推論8: "あの防衛問題資料は比較的高齢でない"が導かれる
9. 推論7と推論8から、推論9: "あの防衛問題資料は面映ゆいしさらにアメリカらしい"が導かれる
10. 推論9から、推論10: "あの防衛問題資料は面映ゆい"が導かれる
11. 推論6と推論10から、推論11: "あの防衛問題資料は膨れるしそれは面映ゆい"が導かれる
12. 推論11と事実14から、推論12: "その背黄青鸚哥は見窄らしいということはない"が導かれる
13. 推論12と事実1から、仮説が導かれる

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