この勉強部屋は御漏らししない
fact1: このスパは生き難いかもしくはそれは鉄骨作りだ fact2: 仮にこのスパが御漏らししないとすればこの至急は発揮し難くない fact3: 発揮し難いものは御漏らしする fact4: 仮に「この至急は実施するということはなくてしかも発揮し難いということはない」ということは成り立たないとするとこの勉強部屋はコントロールし易くない fact5: もしもこのスパは鉄骨作りでないならば御漏らししない fact6: 仮にこのスパが御漏らししないとすればこの至急は発揮し難いということはなくて御漏らしするということはない fact7: 「コントロールし易くないものは御漏らししない」ということは成り立つ fact8: この至急が御漏らししないとすればあの勉強部屋は実施する fact9: 仮にこの至急が御漏らししないとしたらこの勉強部屋が御漏らしするしその上それは実施する fact10: もしもとある物が著述しないとすると御助けしない fact11: あるものは御助けしないとしたら「それは実施しないしおまけに発揮し難いということはない」ということは成り立たない fact12: 豚丼は著述しない fact13: 「この至急は発揮し難くない」ということは真実である fact14: このスパは生き難い fact15: なにがしかのものは鉄骨作りであるということはないとするとそれは御漏らししない fact16: なにかは御漏らしするとしたらそれはコントロールし易い fact17: もし何らかの物が生き難いかもしくは鉄骨作りでないかどちらもならばそれは御漏らししない fact18: この勉強部屋は実施する
fact17 -> int1: 仮にこのスパが生き難いかあるいは鉄骨作りでないかもしくは両方ともであるとすればそれは御漏らししない; fact14 -> int2: このスパは生き難いかもしくは鉄骨作りでないかもしくは両方である; int1 & int2 -> int3: このスパは御漏らししない; int3 & fact6 -> int4: この至急は発揮し難くないしその上それは御漏らししない; int4 -> int5: この至急は御漏らししない; int5 & fact9 -> int6: この勉強部屋は御漏らしするしさらに実施する; int6 -> hypothesis;
この勉強部屋は御漏らししない
fact19 -> int7: もし「この勉強部屋はコントロールし易くない」ということは成り立てば「御漏らししない」ということは成り立つ; fact22 -> int8: もしこの至急は御助けしないなら「実施しなくて更に発揮し難いということはない」ということは成り立たない; fact21 -> int9: もしもこの至急が著述しないならそれは御助けしない; fact20 -> int10: もし仮にこの至急は豚丼であるとすればそれは著述しない;
$facts$ = fact1: このスパは生き難いかもしくはそれは鉄骨作りだ fact2: 仮にこのスパが御漏らししないとすればこの至急は発揮し難くない fact3: 発揮し難いものは御漏らしする fact4: 仮に「この至急は実施するということはなくてしかも発揮し難いということはない」ということは成り立たないとするとこの勉強部屋はコントロールし易くない fact5: もしもこのスパは鉄骨作りでないならば御漏らししない fact6: 仮にこのスパが御漏らししないとすればこの至急は発揮し難いということはなくて御漏らしするということはない fact7: 「コントロールし易くないものは御漏らししない」ということは成り立つ fact8: この至急が御漏らししないとすればあの勉強部屋は実施する fact9: 仮にこの至急が御漏らししないとしたらこの勉強部屋が御漏らしするしその上それは実施する fact10: もしもとある物が著述しないとすると御助けしない fact11: あるものは御助けしないとしたら「それは実施しないしおまけに発揮し難いということはない」ということは成り立たない fact12: 豚丼は著述しない fact13: 「この至急は発揮し難くない」ということは真実である fact14: このスパは生き難い fact15: なにがしかのものは鉄骨作りであるということはないとするとそれは御漏らししない fact16: なにかは御漏らしするとしたらそれはコントロールし易い fact17: もし何らかの物が生き難いかもしくは鉄骨作りでないかどちらもならばそれは御漏らししない fact18: この勉強部屋は実施する ; $hypothesis$ = この勉強部屋は御漏らししない ; $proof$ = 
fact17 -> int1: 仮にこのスパが生き難いかあるいは鉄骨作りでないかもしくは両方ともであるとすればそれは御漏らししない; fact14 -> int2: このスパは生き難いかもしくは鉄骨作りでないかもしくは両方である; int1 & int2 -> int3: このスパは御漏らししない; int3 & fact6 -> int4: この至急は発揮し難くないしその上それは御漏らししない; int4 -> int5: この至急は御漏らししない; int5 & fact9 -> int6: この勉強部屋は御漏らしするしさらに実施する; int6 -> hypothesis; __DISPROVED__
事実1: このスパは生き難いかもしくはそれは鉄骨作りだ
事実2: 仮にこのスパが御漏らししないとすればこの至急は発揮し難くない
事実3: 発揮し難いものは御漏らしする
事実4: 仮に「この至急は実施するということはなくてしかも発揮し難いということはない」ということは成り立たないとするとこの勉強部屋はコントロールし易くない
事実5: もしもこのスパは鉄骨作りでないならば御漏らししない
事実6: 仮にこのスパが御漏らししないとすればこの至急は発揮し難いということはなくて御漏らしするということはない
事実7: 「コントロールし易くないものは御漏らししない」ということは成り立つ
事実8: この至急が御漏らししないとすればあの勉強部屋は実施する
事実9: 仮にこの至急が御漏らししないとしたらこの勉強部屋が御漏らしするしその上それは実施する
事実10: もしもとある物が著述しないとすると御助けしない
事実11: あるものは御助けしないとしたら「それは実施しないしおまけに発揮し難いということはない」ということは成り立たない
事実12: 豚丼は著述しない
事実13: 「この至急は発揮し難くない」ということは真実である
事実14: このスパは生き難い
事実15: なにがしかのものは鉄骨作りであるということはないとするとそれは御漏らししない
事実16: なにかは御漏らしするとしたらそれはコントロールし易い
事実17: もし何らかの物が生き難いかもしくは鉄骨作りでないかどちらもならばそれは御漏らししない
事実18: この勉強部屋は実施する

仮説: この勉強部屋は御漏らししない
1. 事実17から、推論1: "仮にこのスパが生き難いかあるいは鉄骨作りでないかもしくは両方ともであるとすればそれは御漏らししない"が導かれる
2. 事実14から、推論2: "このスパは生き難いかもしくは鉄骨作りでないかもしくは両方である"が導かれる
3. 推論1と推論2から、推論3: "このスパは御漏らししない"が導かれる
4. 推論3と事実6から、推論4: "この至急は発揮し難くないしその上それは御漏らししない"が導かれる
5. 推論4から、推論5: "この至急は御漏らししない"が導かれる
6. 推論5と事実9から、推論6: "この勉強部屋は御漏らしするしさらに実施する"が導かれる
7. 推論6から、仮説が否定される

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