あの一日発売は書き直す
fact1: もし仮にあの一日発売は電子計算機処理でないとすると書き直すということはない fact2: 仮にあの一日発売が動かし難くておまけにそれが電子計算機処理だとすればその梅園は適年でない fact3: その梅園が動かし難いとすればあの一日発売は書き直す fact4: もし仮にその梅園が座すけど適年でないとすればこの日本人教師は権謀術数でない fact5: この日本人教師は冷菓だ fact6: あの一日発売は伊波礼彦だ fact7: その梅園が座すしその上勝ち上がる fact8: この日本人教師は冷菓であるしまた権謀術数だ fact9: あの一日発売は動かし難くて更に伊波礼彦である fact10: 仮にあるものは電子計算機処理であるとしたら伊波礼彦だ fact11: その梅園は伊波礼彦だ
fact9 -> int1: あの一日発売は動かし難い; void -> assump1: 以下のように仮定する。あの一日発売は電子計算機処理である; int1 & assump1 -> int2: あの一日発売が動かし難いしその上それは電子計算機処理である; int2 & fact2 -> int3: その梅園は適年でない; fact7 -> int4: その梅園は座す; int3 & int4 -> int5: その梅園は座す一方で適年でない; int5 & fact4 -> int6: この日本人教師は権謀術数でない; fact8 -> int7: この日本人教師は権謀術数だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの一日発売は電子計算機処理でない; int9 & fact1 -> hypothesis;
あの一日発売は書き直す
fact13 -> int10: もしも「その梅園は電子計算機処理だ」ということは真実だとしたら伊波礼彦だ;
$facts$ = fact1: もし仮にあの一日発売は電子計算機処理でないとすると書き直すということはない fact2: 仮にあの一日発売が動かし難くておまけにそれが電子計算機処理だとすればその梅園は適年でない fact3: その梅園が動かし難いとすればあの一日発売は書き直す fact4: もし仮にその梅園が座すけど適年でないとすればこの日本人教師は権謀術数でない fact5: この日本人教師は冷菓だ fact6: あの一日発売は伊波礼彦だ fact7: その梅園が座すしその上勝ち上がる fact8: この日本人教師は冷菓であるしまた権謀術数だ fact9: あの一日発売は動かし難くて更に伊波礼彦である fact10: 仮にあるものは電子計算機処理であるとしたら伊波礼彦だ fact11: その梅園は伊波礼彦だ ; $hypothesis$ = あの一日発売は書き直す ; $proof$ = 
fact9 -> int1: あの一日発売は動かし難い; void -> assump1: 以下のように仮定する。あの一日発売は電子計算機処理である; int1 & assump1 -> int2: あの一日発売が動かし難いしその上それは電子計算機処理である; int2 & fact2 -> int3: その梅園は適年でない; fact7 -> int4: その梅園は座す; int3 & int4 -> int5: その梅園は座す一方で適年でない; int5 & fact4 -> int6: この日本人教師は権謀術数でない; fact8 -> int7: この日本人教師は権謀術数だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの一日発売は電子計算機処理でない; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの一日発売は電子計算機処理でないとすると書き直すということはない
事実2: 仮にあの一日発売が動かし難くておまけにそれが電子計算機処理だとすればその梅園は適年でない
事実3: その梅園が動かし難いとすればあの一日発売は書き直す
事実4: もし仮にその梅園が座すけど適年でないとすればこの日本人教師は権謀術数でない
事実5: この日本人教師は冷菓だ
事実6: あの一日発売は伊波礼彦だ
事実7: その梅園が座すしその上勝ち上がる
事実8: この日本人教師は冷菓であるしまた権謀術数だ
事実9: あの一日発売は動かし難くて更に伊波礼彦である
事実10: 仮にあるものは電子計算機処理であるとしたら伊波礼彦だ
事実11: その梅園は伊波礼彦だ

仮説: あの一日発売は書き直す
1. 事実9から、推論1: "あの一日発売は動かし難い"が導かれる
2. 仮定1: 以下のように仮定する。あの一日発売は電子計算機処理である
3. 推論1と仮定1から、推論2: "あの一日発売が動かし難いしその上それは電子計算機処理である"が導かれる
4. 推論2と事実2から、推論3: "その梅園は適年でない"が導かれる
5. 事実7から、推論4: "その梅園は座す"が導かれる
6. 推論3と推論4から、推論5: "その梅園は座す一方で適年でない"が導かれる
7. 推論5と事実4から、推論6: "この日本人教師は権謀術数でない"が導かれる
8. 事実8から、推論7: "この日本人教師は権謀術数だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの一日発売は電子計算機処理でない"が導かれる
11. 推論9と事実1から、仮説が否定される

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