そのプディングは気高しない
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: この正法・像法・末法は活気付く
fact6 & fact3 -> int1: 「その十アット鉱山は癒し難くないがしかしそれは活気付く」ということは誤りだ; fact4 -> int2: 「その十アット鉱山は癒し難くない一方で活気付く」ということは偽であるとすれば掠る; int1 & int2 -> int3: その十アット鉱山は掠る; int3 & fact19 -> int4: 「この正法・像法・末法はみっともない」ということは本当である; int4 -> int5: 「「みっともない」ということは本当である」ものはある; int5 & fact20 -> int6: そのプディングは謙遜する; int6 & fact18 -> int7: そのプディングは訝しい; int7 & fact23 -> hypothesis;
もし仮に「この原発反対は捩じれ曲がらないけれど取れ易い」ということは誤りであるならば「みっともない」ということは本当である
fact26 -> hypothesis;
$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: この正法・像法・末法は活気付く ; $hypothesis$ = そのプディングは気高しない ; $proof$ = 
fact6 & fact3 -> int1: 「その十アット鉱山は癒し難くないがしかしそれは活気付く」ということは誤りだ; fact4 -> int2: 「その十アット鉱山は癒し難くない一方で活気付く」ということは偽であるとすれば掠る; int1 & int2 -> int3: その十アット鉱山は掠る; int3 & fact19 -> int4: 「この正法・像法・末法はみっともない」ということは本当である; int4 -> int5: 「「みっともない」ということは本当である」ものはある; int5 & fact20 -> int6: そのプディングは謙遜する; int6 & fact18 -> int7: そのプディングは訝しい; int7 & fact23 -> 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: この正法・像法・末法は活気付く

仮説: そのプディングは気高しない
1. 事実6と事実3から、推論1: "「その十アット鉱山は癒し難くないがしかしそれは活気付く」ということは誤りだ"が導かれる
2. 事実4から、推論2: "「その十アット鉱山は癒し難くない一方で活気付く」ということは偽であるとすれば掠る"が導かれる
3. 推論1と推論2から、推論3: "その十アット鉱山は掠る"が導かれる
4. 推論3と事実19から、推論4: "「この正法・像法・末法はみっともない」ということは本当である"が導かれる
5. 推論4から、推論5: "「「みっともない」ということは本当である」ものはある"が導かれる
6. 推論5と事実20から、推論6: "そのプディングは謙遜する"が導かれる
7. 推論6と事実18から、推論7: "そのプディングは訝しい"が導かれる
8. 推論7と事実23から、仮説が否定される

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