その逮捕勾留は御責めでないしおまけにそれは愛情深くない
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 -> int1: もしもその豪華が難くないとすれば玉砕する; int1 & fact22 -> int2: その豪華は玉砕する; int2 & fact12 -> int3: あの遅れ馳せは書き易い; int3 & fact4 -> int4: あの遅れ馳せは保存・反映するし更に書き易い; fact14 -> int5: もし仮にあの遅れ馳せは保存・反映するし書き易いとすればそれは御責めでない; int4 & int5 -> int6: あの遅れ馳せは御責めでない; int6 & fact1 -> hypothesis;
その新仮名遣いは愛情深い
fact31 -> int7: もしその新仮名遣いが難くないとすれば愛情深くて書き易い; fact34 -> int8: もしも「あの遅れ馳せは玉砕する」ということは成り立つなら「それは難くないしそれは保存・反映する」ということは本当でない; fact36 -> int9: もし仮に「あの遅れ馳せは入館するがそれは御責めでない」ということは偽であるとすると「それは玉砕する」ということは成り立つ; fact28 -> int10: もしもあの遅れ馳せは一瞥しないとすると「それは入館するが御責めだということはない」ということは成り立たない; fact32 -> int11: もし仮にあの遅れ馳せは弱々しいしそれに太り難いとすると一瞥するということはない; fact37 & fact29 -> int12: あの遅れ馳せは弱々しい; fact30 & fact33 -> int13: あの遅れ馳せは太り難い; int12 & int13 -> int14: あの遅れ馳せは弱々しいしまた太り難い; int11 & int14 -> int15: あの遅れ馳せは一瞥しない; int10 & int15 -> int16: 「あの遅れ馳せは入館するけれど御責めでない」ということは事実と異なる; int9 & int16 -> int17: あの遅れ馳せは玉砕する; int8 & int17 -> int18: 「あの遅れ馳せは難くないけれど保存・反映する」ということは誤っている; fact35 & int18 -> int19: その新仮名遣いは難くない; int7 & int19 -> int20: その新仮名遣いは愛情深いししかもそれは書き易い; int20 -> 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: ある物が弱々しくて太り難いとするとそれは一瞥しない fact26: もし仮にとあるものは源氏店でないとしたらいがらっぽい fact27: もしもあの遅れ馳せは御責めだということはないとすれば「その逮捕勾留は御責めだけれどそれは愛情深くない」ということは成り立たない ; $hypothesis$ = その逮捕勾留は御責めでないしおまけにそれは愛情深くない ; $proof$ = 
fact3 -> int1: もしもその豪華が難くないとすれば玉砕する; int1 & fact22 -> int2: その豪華は玉砕する; int2 & fact12 -> int3: あの遅れ馳せは書き易い; int3 & fact4 -> int4: あの遅れ馳せは保存・反映するし更に書き易い; fact14 -> int5: もし仮にあの遅れ馳せは保存・反映するし書き易いとすればそれは御責めでない; int4 & int5 -> int6: あの遅れ馳せは御責めでない; int6 & fact1 -> 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から、推論1: "もしもその豪華が難くないとすれば玉砕する"が導かれる
2. 推論1と事実22から、推論2: "その豪華は玉砕する"が導かれる
3. 推論2と事実12から、推論3: "あの遅れ馳せは書き易い"が導かれる
4. 推論3と事実4から、推論4: "あの遅れ馳せは保存・反映するし更に書き易い"が導かれる
5. 事実14から、推論5: "もし仮にあの遅れ馳せは保存・反映するし書き易いとすればそれは御責めでない"が導かれる
6. 推論4と推論5から、推論6: "あの遅れ馳せは御責めでない"が導かれる
7. 推論6と事実1から、仮説が否定される

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