そのプレイルームはめでたし
fact1: もし仮にこの基本設計図が見計らうならそれは薄らぎ始める fact2: 仮に成功し易くない物は恐れ多いとすると「それは面接員でない」ということは成り立つ fact3: そのＩＭＦは切り難い fact4: 切り難くない物は面接員であるしおまけにめでたし fact5: あの住宅地区改良事業は面接員である fact6: もしもこの基本設計図は薄らぎ始めるなら「そのＩＭＦは蹴上げるかあるいは毛深くないかあるいはどちらもだ」ということは嘘だ fact7: この基本設計図は手厳しいかまたは受け辛いかあるいは両方だ fact8: もしそのプレイルームがめでたししまた切り難いならそのＩＭＦは面接員でない fact9: そのＩＭＦは自分らしい fact10: なんらかのものは面接員でないとすれば「それは切り難くなくてそれはめでたし」ということは成り立たない fact11: 仮に何かは評価するとすると成功し易くないけど恐れ多い fact12: もしもそのＩＭＦが面接員だしかつ切り難いとするとそのプレイルームはめでたしない fact13: 「何らかの物は切り難い物であり恐れ多くない」ということは本当でないならばそれは切り難くない fact14: そのＩＭＦは面接員である fact15: そのプレイルームは住み易い fact16: 「何らかの物は蹴上げるかあるいは毛深くないかあるいはどちらもである」ということは誤っているとすればそれは評価する
fact14 & fact3 -> int1: そのＩＭＦは面接員でまた切り難い; int1 & fact12 -> hypothesis;
そのプレイルームはめでたし
fact19 -> int2: もし仮にそのＩＭＦは面接員でないなら「切り難くないけれどめでたし」ということは偽だ; fact22 -> int3: もしそのＩＭＦは成功し易くない一方で恐れ多いとしたら面接員でない; fact18 -> int4: 「そのＩＭＦは評価する」ということは真実であるとするとそれは成功し易くないし恐れ多い; fact17 -> int5: もし「そのＩＭＦは蹴上げるか毛深いということはないかあるいは両方ともである」ということは誤りであるなら評価する;
$facts$ = fact1: もし仮にこの基本設計図が見計らうならそれは薄らぎ始める fact2: 仮に成功し易くない物は恐れ多いとすると「それは面接員でない」ということは成り立つ fact3: そのＩＭＦは切り難い fact4: 切り難くない物は面接員であるしおまけにめでたし fact5: あの住宅地区改良事業は面接員である fact6: もしもこの基本設計図は薄らぎ始めるなら「そのＩＭＦは蹴上げるかあるいは毛深くないかあるいはどちらもだ」ということは嘘だ fact7: この基本設計図は手厳しいかまたは受け辛いかあるいは両方だ fact8: もしそのプレイルームがめでたししまた切り難いならそのＩＭＦは面接員でない fact9: そのＩＭＦは自分らしい fact10: なんらかのものは面接員でないとすれば「それは切り難くなくてそれはめでたし」ということは成り立たない fact11: 仮に何かは評価するとすると成功し易くないけど恐れ多い fact12: もしもそのＩＭＦが面接員だしかつ切り難いとするとそのプレイルームはめでたしない fact13: 「何らかの物は切り難い物であり恐れ多くない」ということは本当でないならばそれは切り難くない fact14: そのＩＭＦは面接員である fact15: そのプレイルームは住み易い fact16: 「何らかの物は蹴上げるかあるいは毛深くないかあるいはどちらもである」ということは誤っているとすればそれは評価する ; $hypothesis$ = そのプレイルームはめでたし ; $proof$ = 
fact14 & fact3 -> int1: そのＩＭＦは面接員でまた切り難い; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮にこの基本設計図が見計らうならそれは薄らぎ始める
事実2: 仮に成功し易くない物は恐れ多いとすると「それは面接員でない」ということは成り立つ
事実3: そのＩＭＦは切り難い
事実4: 切り難くない物は面接員であるしおまけにめでたし
事実5: あの住宅地区改良事業は面接員である
事実6: もしもこの基本設計図は薄らぎ始めるなら「そのＩＭＦは蹴上げるかあるいは毛深くないかあるいはどちらもだ」ということは嘘だ
事実7: この基本設計図は手厳しいかまたは受け辛いかあるいは両方だ
事実8: もしそのプレイルームがめでたししまた切り難いならそのＩＭＦは面接員でない
事実9: そのＩＭＦは自分らしい
事実10: なんらかのものは面接員でないとすれば「それは切り難くなくてそれはめでたし」ということは成り立たない
事実11: 仮に何かは評価するとすると成功し易くないけど恐れ多い
事実12: もしもそのＩＭＦが面接員だしかつ切り難いとするとそのプレイルームはめでたしない
事実13: 「何らかの物は切り難い物であり恐れ多くない」ということは本当でないならばそれは切り難くない
事実14: そのＩＭＦは面接員である
事実15: そのプレイルームは住み易い
事実16: 「何らかの物は蹴上げるかあるいは毛深くないかあるいはどちらもである」ということは誤っているとすればそれは評価する

仮説: そのプレイルームはめでたし
1. 事実14と事実3から、推論1: "そのＩＭＦは面接員でまた切り難い"が導かれる
2. 推論1と事実12から、仮説が否定される

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