この化学会社は解剖しない
fact1: もし仮にこの化学会社が助け出すがしかしそれが逞しくないとすればそれは不正利用する fact2: もし仮になにかは解剖するしまた不正利用するとすれば要養護児童でない fact3: 「有事法制である」物があるとしたらこの化学会社は関するししかも兄さん達である fact4: 「兄さん達は要養護児童だ」ということは真実である fact5: 仮にこの一βが尽くし難いけどそれは要養護児童でないとしたらそれは塩辛い fact6: もしもこの佐渡金山は関するとすると「その精肉は兄さん達でないかそれは要養護児童でないかまたは両方ともである」ということは間違っている fact7: もしあの管工事業が解剖するとすればこの化学会社は解剖する fact8: とある物は有事法制である fact9: この化学会社は助け出すけれど逞しいということはない fact10: この化学会社は逞しくない
fact1 & fact9 -> int1: 「この化学会社は不正利用する」ということは本当だ; void -> assump1: 以下のように仮定する。この化学会社は解剖する; int1 & assump1 -> int2: この化学会社は解剖するし不正利用する; fact2 -> int3: もしもこの化学会社が解剖するしその上それが不正利用するとしたらそれは要養護児童でない; int2 & int3 -> int4: この化学会社は要養護児童でない; fact8 & fact3 -> int5: この化学会社は関するし兄さん達だ; int5 -> int6: この化学会社は兄さん達だ; fact4 -> int7: もしもこの化学会社は兄さん達であるなら要養護児童である; int6 & int7 -> int8: 「この化学会社は要養護児童だ」ということは正しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「この化学会社は解剖する」ということは確かである
$facts$ = fact1: もし仮にこの化学会社が助け出すがしかしそれが逞しくないとすればそれは不正利用する fact2: もし仮になにかは解剖するしまた不正利用するとすれば要養護児童でない fact3: 「有事法制である」物があるとしたらこの化学会社は関するししかも兄さん達である fact4: 「兄さん達は要養護児童だ」ということは真実である fact5: 仮にこの一βが尽くし難いけどそれは要養護児童でないとしたらそれは塩辛い fact6: もしもこの佐渡金山は関するとすると「その精肉は兄さん達でないかそれは要養護児童でないかまたは両方ともである」ということは間違っている fact7: もしあの管工事業が解剖するとすればこの化学会社は解剖する fact8: とある物は有事法制である fact9: この化学会社は助け出すけれど逞しいということはない fact10: この化学会社は逞しくない ; $hypothesis$ = この化学会社は解剖しない ; $proof$ = 
fact1 & fact9 -> int1: 「この化学会社は不正利用する」ということは本当だ; void -> assump1: 以下のように仮定する。この化学会社は解剖する; int1 & assump1 -> int2: この化学会社は解剖するし不正利用する; fact2 -> int3: もしもこの化学会社が解剖するしその上それが不正利用するとしたらそれは要養護児童でない; int2 & int3 -> int4: この化学会社は要養護児童でない; fact8 & fact3 -> int5: この化学会社は関するし兄さん達だ; int5 -> int6: この化学会社は兄さん達だ; fact4 -> int7: もしもこの化学会社は兄さん達であるなら要養護児童である; int6 & int7 -> int8: 「この化学会社は要養護児童だ」ということは正しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もし仮にこの化学会社が助け出すがしかしそれが逞しくないとすればそれは不正利用する
事実2: もし仮になにかは解剖するしまた不正利用するとすれば要養護児童でない
事実3: 「有事法制である」物があるとしたらこの化学会社は関するししかも兄さん達である
事実4: 「兄さん達は要養護児童だ」ということは真実である
事実5: 仮にこの一βが尽くし難いけどそれは要養護児童でないとしたらそれは塩辛い
事実6: もしもこの佐渡金山は関するとすると「その精肉は兄さん達でないかそれは要養護児童でないかまたは両方ともである」ということは間違っている
事実7: もしあの管工事業が解剖するとすればこの化学会社は解剖する
事実8: とある物は有事法制である
事実9: この化学会社は助け出すけれど逞しいということはない
事実10: この化学会社は逞しくない

仮説: この化学会社は解剖しない
1. 事実1と事実9から、推論1: "「この化学会社は不正利用する」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。この化学会社は解剖する
3. 推論1と仮定1から、推論2: "この化学会社は解剖するし不正利用する"が導かれる
4. 事実2から、推論3: "もしもこの化学会社が解剖するしその上それが不正利用するとしたらそれは要養護児童でない"が導かれる
5. 推論2と推論3から、推論4: "この化学会社は要養護児童でない"が導かれる
6. 事実8と事実3から、推論5: "この化学会社は関するし兄さん達だ"が導かれる
7. 推論5から、推論6: "この化学会社は兄さん達だ"が導かれる
8. 事実4から、推論7: "もしもこの化学会社は兄さん達であるなら要養護児童である"が導かれる
9. 推論6と推論7から、推論8: "「この化学会社は要養護児童だ」ということは正しい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

よって、仮説が証明されました。