その主寝室は第二条件でないかあるいは馴染み難くないかまたは両方ともだ
fact1: 仮に「この青鬼は文庫化するかそれは怒りっぽくない」ということは成り立たないとすればそれは御めでたい fact2: もし仮にこの青鬼が第二条件だとすればその主寝室は瞑想する fact3: もしその主寝室が納得し易いとしたらその東京出張は馴染み難い fact4: もし仮にこの青鬼は文庫化すれば「その東京出張は納得し易い」ということは事実だ fact5: その東京出張は折り取れば「この青鬼は納得し易くないか折り取らないかもしくは両方ともである」ということは誤りだ fact6: 「その主寝室は文庫化するということはないかそれは馴染み難くない」ということは事実と異なる fact7: その東京出張は小難しい fact8: もし仮にあるものが文庫化すればそれは瞑想する fact9: この青鬼は馴染み難い fact10: 「その主寝室は折り取らないかそれは馴染み難いということはないかもしくは両方である」ということは誤っている fact11: 仮にその主寝室が瞑想すればそれは馴染み難い fact12: もし仮にこの青鬼が納得し易いとするとそれは文庫化する fact13: 納得し易い物は馴染み難い fact14: もしその主寝室は文庫化するとすれば「この青鬼は馴染み難い」ということは成り立つ fact15: 「この青鬼は折り取らないか瞑想するということはないかまたは両方だ」ということは嘘である fact16: もし何かは第二条件ならば馴染み難い fact17: もしもその東京出張は逃げ出せるとしたら「それは身軽い」ということは真実だ fact18: この青鬼は瞑想する fact19: 「その主寝室は文庫化する」ということは誤りでない fact20: もしもこの青鬼がそつ無いとしたら文庫化する fact21: もしも「この青鬼は折り取らないかあるいはそれは瞑想しない」ということは嘘であるとすればそれはそつ無い fact22: もしその東京出張は馴染み難いとしたら「「その主寝室は第二条件でないかあるいは馴染み難くないかあるいは両方ともである」ということは成り立つ」ということは成り立たない fact23: その主寝室は馴染み難いなら「この青鬼は瞑想しないか馴染み難くないか両方ともである」ということは成り立たない fact24: その社会経験は文庫化する
fact21 & fact15 -> int1: この青鬼はそつ無い; int1 & fact20 -> int2: この青鬼は文庫化する; int2 & fact4 -> int3: その東京出張は納得し易い; fact13 -> int4: もしもその東京出張が納得し易いならそれは馴染み難い; int3 & int4 -> int5: その東京出張は馴染み難い; int5 & fact22 -> 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: その社会経験は文庫化する ; $hypothesis$ = その主寝室は第二条件でないかあるいは馴染み難くないかまたは両方ともだ ; $proof$ = 
fact21 & fact15 -> int1: この青鬼はそつ無い; int1 & fact20 -> int2: この青鬼は文庫化する; int2 & fact4 -> int3: その東京出張は納得し易い; fact13 -> int4: もしもその東京出張が納得し易いならそれは馴染み難い; int3 & int4 -> int5: その東京出張は馴染み難い; int5 & fact22 -> 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. 事実21と事実15から、推論1: "この青鬼はそつ無い"が導かれる
2. 推論1と事実20から、推論2: "この青鬼は文庫化する"が導かれる
3. 推論2と事実4から、推論3: "その東京出張は納得し易い"が導かれる
4. 事実13から、推論4: "もしもその東京出張が納得し易いならそれは馴染み難い"が導かれる
5. 推論3と推論4から、推論5: "その東京出張は馴染み難い"が導かれる
6. 推論5と事実22から、仮説が否定される

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