あの地域調整手当ては停電でないかあるいは青くない
fact1: 仮にあの奇岩が引き落とさなくて加えて停電でないとすればあの神書は引き落とす fact2: 「あの奇岩は天麩羅でないかあるいはそれは誇り得ない」ということは嘘だ fact3: あの奇岩は素晴らしくない fact4: あの現われ方は抱き始めない fact5: 仮にある物が感覚出来るとしたら簡潔であるしそれにそれは青くない fact6: 「感覚出来る」物があるとしたらあの奇岩は惨めったらしいが引き落とさない fact7: もしあの奇岩は青いなら「あの地域調整手当ては停電であるということはないかまたはそれは青いということはないかどちらもだ」ということは嘘である fact8: もし仮にあの奇岩が野暮ったいとすればあの地域調整手当ては野暮ったい fact9: もしも「あの地域調整手当ては天麩羅だ」ということは確かであるなら「あの奇岩は青くないかあるいはそれは天麩羅であるということはないかあるいはどちらもだ」ということは間違いである fact10: 「感覚出来る」ものはある fact11: もし「青い」物があるとすればあの地域調整手当ては停電だがそれは惨めったらしくない fact12: あの現われ方はＡＸ間である fact13: あの地域調整手当ては天麩羅であるとしたら「あの奇岩は野暮ったくないかあるいはそれは天麩羅でない」ということは成り立たない fact14: もし仮にあの現われ方が抱き始めないとしたらあの奇岩は野暮ったくておまけにそれは天麩羅である fact15: このウェブ用は吊り下げないがしかし野暮ったい fact16: あの地域調整手当ては抱き始めない fact17: もしもあの奇岩が野暮ったくないとすれば引き落とさなくて停電でない fact18: もしもなんらかの物は惨めったらしくないが天麩羅だとすると停電である fact19: 「「分かり切る」ということは本当な」物はある fact20: もしあの奇岩は引き落とせば「あの地域調整手当ては停電でないかもしくはそれは引き落とさないかまたは両方だ」ということは誤っている fact21: 「天麩羅な」物はある fact22: もしあるものは引き落とさないけれど野暮ったいとしたら「青い」ということは確かである fact23: あの地域調整手当てが天麩羅だとするとあの奇岩は天麩羅だ fact24: この段組みレイアウトは抱き始めない
fact10 & fact6 -> int1: あの奇岩は惨めったらしいがしかし引き落とさない; int1 -> int2: 「あの奇岩は引き落とすということはない」ということは間違いでない; fact4 & fact14 -> int3: あの奇岩は野暮ったくて更に天麩羅だ; int3 -> int4: あの奇岩は野暮ったい; int2 & int4 -> int5: あの奇岩は引き落とさないがしかし野暮ったい; fact22 -> int6: あの奇岩が引き落とさないがしかしそれが野暮ったいとすると青い; int5 & int6 -> int7: あの奇岩は青い; int7 & fact7 -> hypothesis;
この神書は簡潔だがしかし青くない
fact25 -> int8: もし仮にこの神書が感覚出来れば簡潔だし青いということはない;
$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: この段組みレイアウトは抱き始めない ; $hypothesis$ = あの地域調整手当ては停電でないかあるいは青くない ; $proof$ = 
fact10 & fact6 -> int1: あの奇岩は惨めったらしいがしかし引き落とさない; int1 -> int2: 「あの奇岩は引き落とすということはない」ということは間違いでない; fact4 & fact14 -> int3: あの奇岩は野暮ったくて更に天麩羅だ; int3 -> int4: あの奇岩は野暮ったい; int2 & int4 -> int5: あの奇岩は引き落とさないがしかし野暮ったい; fact22 -> int6: あの奇岩が引き落とさないがしかしそれが野暮ったいとすると青い; int5 & int6 -> int7: あの奇岩は青い; int7 & fact7 -> 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: この段組みレイアウトは抱き始めない

仮説: あの地域調整手当ては停電でないかあるいは青くない
1. 事実10と事実6から、推論1: "あの奇岩は惨めったらしいがしかし引き落とさない"が導かれる
2. 推論1から、推論2: "「あの奇岩は引き落とすということはない」ということは間違いでない"が導かれる
3. 事実4と事実14から、推論3: "あの奇岩は野暮ったくて更に天麩羅だ"が導かれる
4. 推論3から、推論4: "あの奇岩は野暮ったい"が導かれる
5. 推論2と推論4から、推論5: "あの奇岩は引き落とさないがしかし野暮ったい"が導かれる
6. 事実22から、推論6: "あの奇岩が引き落とさないがしかしそれが野暮ったいとすると青い"が導かれる
7. 推論5と推論6から、推論7: "あの奇岩は青い"が導かれる
8. 推論7と事実7から、仮説が否定される

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