あの真砂は奉還する
fact1: 「この拾玉集は楽しししかもそれは自然らしい」ということは間違いであるならそれは楽しない fact2: ひもじくないものは尊しないか除けるか両方ともだ fact3: 仮に「この製品メーカーは自然らしい」ということは確かだとするとあの真砂は自然らしい fact4: もし仮にとある物が除けるがひもじくないならば楽し fact5: 仮に「この製品メーカーは楽し」ということは成り立つならこの拾玉集は奉還する fact6: もし仮にこの拾玉集が奉還するならあの真砂は奉還するということはなくてまたそれは自然らしくない fact7: 仮に「この拾玉集はサラリーマン社長であるしまたそれは闊歩する」ということは間違いであるならばそれはサラリーマン社長でない fact8: 「奉還する」ものはある fact9: 仮にこの拾玉集が除けるとするとこの製品メーカーは御労しくない一方で尊し fact10: もしもなんらかの物が尊しないかあるいは除けるとすればそれは奉還する fact11: もし仮に「尊しない」物があるとすればこの製品メーカーは除けるがしかしひもじくない fact12: 「尊しない」物はある fact13: もし仮にこの拾玉集がサラリーマン社長でないならあの真砂は楽ししそれに置き直す fact14: もし仮に「この拾玉集はひもじい」ということは成り立てば「この製品メーカーは奉還する」ということは成り立つ fact15: 自然らしい物が楽しならひもじくない
fact12 & fact11 -> int1: この製品メーカーは除けるけれどひもじいということはない; fact4 -> int2: もしもこの製品メーカーが除ける一方でそれがひもじくないとするとそれは楽し; int1 & int2 -> int3: この製品メーカーは楽し; int3 & fact5 -> int4: この拾玉集は奉還する; int4 & fact6 -> int5: あの真砂は奉還しないし加えてそれは自然らしくない; int5 -> hypothesis;
あの真砂は奉還する
fact20 -> int6: 「もしもあの真砂が尊しないかまたは除けるかもしくはどちらもであるならばあの真砂は奉還する」ということは確かだ; fact18 -> int7: あの真砂がひもじくないとすればそれは尊しないかもしくは除ける; fact19 -> int8: 仮にあの真砂は自然らしいしそれに楽しならそれはひもじくない;
$facts$ = fact1: 「この拾玉集は楽しししかもそれは自然らしい」ということは間違いであるならそれは楽しない fact2: ひもじくないものは尊しないか除けるか両方ともだ fact3: 仮に「この製品メーカーは自然らしい」ということは確かだとするとあの真砂は自然らしい fact4: もし仮にとある物が除けるがひもじくないならば楽し fact5: 仮に「この製品メーカーは楽し」ということは成り立つならこの拾玉集は奉還する fact6: もし仮にこの拾玉集が奉還するならあの真砂は奉還するということはなくてまたそれは自然らしくない fact7: 仮に「この拾玉集はサラリーマン社長であるしまたそれは闊歩する」ということは間違いであるならばそれはサラリーマン社長でない fact8: 「奉還する」ものはある fact9: 仮にこの拾玉集が除けるとするとこの製品メーカーは御労しくない一方で尊し fact10: もしもなんらかの物が尊しないかあるいは除けるとすればそれは奉還する fact11: もし仮に「尊しない」物があるとすればこの製品メーカーは除けるがしかしひもじくない fact12: 「尊しない」物はある fact13: もし仮にこの拾玉集がサラリーマン社長でないならあの真砂は楽ししそれに置き直す fact14: もし仮に「この拾玉集はひもじい」ということは成り立てば「この製品メーカーは奉還する」ということは成り立つ fact15: 自然らしい物が楽しならひもじくない ; $hypothesis$ = あの真砂は奉還する ; $proof$ = 
fact12 & fact11 -> int1: この製品メーカーは除けるけれどひもじいということはない; fact4 -> int2: もしもこの製品メーカーが除ける一方でそれがひもじくないとするとそれは楽し; int1 & int2 -> int3: この製品メーカーは楽し; int3 & fact5 -> int4: この拾玉集は奉還する; int4 & fact6 -> int5: あの真砂は奉還しないし加えてそれは自然らしくない; int5 -> hypothesis; __DISPROVED__
事実1: 「この拾玉集は楽しししかもそれは自然らしい」ということは間違いであるならそれは楽しない
事実2: ひもじくないものは尊しないか除けるか両方ともだ
事実3: 仮に「この製品メーカーは自然らしい」ということは確かだとするとあの真砂は自然らしい
事実4: もし仮にとある物が除けるがひもじくないならば楽し
事実5: 仮に「この製品メーカーは楽し」ということは成り立つならこの拾玉集は奉還する
事実6: もし仮にこの拾玉集が奉還するならあの真砂は奉還するということはなくてまたそれは自然らしくない
事実7: 仮に「この拾玉集はサラリーマン社長であるしまたそれは闊歩する」ということは間違いであるならばそれはサラリーマン社長でない
事実8: 「奉還する」ものはある
事実9: 仮にこの拾玉集が除けるとするとこの製品メーカーは御労しくない一方で尊し
事実10: もしもなんらかの物が尊しないかあるいは除けるとすればそれは奉還する
事実11: もし仮に「尊しない」物があるとすればこの製品メーカーは除けるがしかしひもじくない
事実12: 「尊しない」物はある
事実13: もし仮にこの拾玉集がサラリーマン社長でないならあの真砂は楽ししそれに置き直す
事実14: もし仮に「この拾玉集はひもじい」ということは成り立てば「この製品メーカーは奉還する」ということは成り立つ
事実15: 自然らしい物が楽しならひもじくない

仮説: あの真砂は奉還する
1. 事実12と事実11から、推論1: "この製品メーカーは除けるけれどひもじいということはない"が導かれる
2. 事実4から、推論2: "もしもこの製品メーカーが除ける一方でそれがひもじくないとするとそれは楽し"が導かれる
3. 推論1と推論2から、推論3: "この製品メーカーは楽し"が導かれる
4. 推論3と事実5から、推論4: "この拾玉集は奉還する"が導かれる
5. 推論4と事実6から、推論5: "あの真砂は奉還しないし加えてそれは自然らしくない"が導かれる
6. 推論5から、仮説が否定される

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