この浪士隊は加味する
fact1: この南武蔵系は赤表示でそれに大腸憩室だ fact2: 仮に何かは頂くとすればそれは加味する fact3: この御写真は知り合いらしいししかもそれは忙しい fact4: なんらかのものが赤表示でないなら頂くしさらに切り立つ fact5: もしもこの南武蔵系が切り立つしおまけに赤表示ならこの御写真は忙しくない fact6: もし仮にこの浪士隊が加味すればこの南武蔵系は頂く fact7: 「この南武蔵系は知り合いらしい」ということは事実だとしたらこの浪士隊は赤表示だということはないがしかしそれは忙しい fact8: もし何らかのものが頂けば切り立つ
void -> assump1: 以下のように仮定する。この浪士隊は加味する; fact6 & assump1 -> int1: この南武蔵系は頂く; fact8 -> int2: もしもこの南武蔵系は頂くとすれば「切り立つ」ということは確かである; int1 & int2 -> int3: この南武蔵系は切り立つ; fact1 -> int4: この南武蔵系は赤表示だ; int3 & int4 -> int5: この南武蔵系は切り立つしおまけに赤表示である; int5 & fact5 -> int6: 「この御写真は忙しくない」ということは真実だ; fact3 -> int7: 「この御写真は忙しくない」ということは成り立つということはない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この浪士隊は加味する
fact11 -> int9: 仮にこの浪士隊が頂くとしたらそれは加味する; fact9 -> int10: 仮にこの浪士隊が赤表示でないとするとそれは頂くしおまけに切り立つ;
$facts$ = fact1: この南武蔵系は赤表示でそれに大腸憩室だ fact2: 仮に何かは頂くとすればそれは加味する fact3: この御写真は知り合いらしいししかもそれは忙しい fact4: なんらかのものが赤表示でないなら頂くしさらに切り立つ fact5: もしもこの南武蔵系が切り立つしおまけに赤表示ならこの御写真は忙しくない fact6: もし仮にこの浪士隊が加味すればこの南武蔵系は頂く fact7: 「この南武蔵系は知り合いらしい」ということは事実だとしたらこの浪士隊は赤表示だということはないがしかしそれは忙しい fact8: もし何らかのものが頂けば切り立つ ; $hypothesis$ = この浪士隊は加味する ; $proof$ = 
void -> assump1: 以下のように仮定する。この浪士隊は加味する; fact6 & assump1 -> int1: この南武蔵系は頂く; fact8 -> int2: もしもこの南武蔵系は頂くとすれば「切り立つ」ということは確かである; int1 & int2 -> int3: この南武蔵系は切り立つ; fact1 -> int4: この南武蔵系は赤表示だ; int3 & int4 -> int5: この南武蔵系は切り立つしおまけに赤表示である; int5 & fact5 -> int6: 「この御写真は忙しくない」ということは真実だ; fact3 -> int7: 「この御写真は忙しくない」ということは成り立つということはない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この南武蔵系は赤表示でそれに大腸憩室だ
事実2: 仮に何かは頂くとすればそれは加味する
事実3: この御写真は知り合いらしいししかもそれは忙しい
事実4: なんらかのものが赤表示でないなら頂くしさらに切り立つ
事実5: もしもこの南武蔵系が切り立つしおまけに赤表示ならこの御写真は忙しくない
事実6: もし仮にこの浪士隊が加味すればこの南武蔵系は頂く
事実7: 「この南武蔵系は知り合いらしい」ということは事実だとしたらこの浪士隊は赤表示だということはないがしかしそれは忙しい
事実8: もし何らかのものが頂けば切り立つ

仮説: この浪士隊は加味する
1. 仮定1: 以下のように仮定する。この浪士隊は加味する
2. 事実6と仮定1から、推論1: "この南武蔵系は頂く"が導かれる
3. 事実8から、推論2: "もしもこの南武蔵系は頂くとすれば「切り立つ」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "この南武蔵系は切り立つ"が導かれる
5. 事実1から、推論4: "この南武蔵系は赤表示だ"が導かれる
6. 推論3と推論4から、推論5: "この南武蔵系は切り立つしおまけに赤表示である"が導かれる
7. 推論5と事実5から、推論6: "「この御写真は忙しくない」ということは真実だ"が導かれる
8. 事実3から、推論7: "「この御写真は忙しくない」ということは成り立つということはない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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