その歴史全体は高価である
fact1: 仮にその歴史全体はコンピュータプログラムであるならそれは高価だ fact2: あの題簽・書外題は電磁場でない fact3: もし仮に「その南アフリカ原産はコンピュータプログラムでないかもしくは現実世界であるかまたはどちらもである」ということは偽だとしたらそのセカンドステップは現実世界でない fact4: 「そのセカンドステップは現実世界でないとすれば「あの題簽・書外題は高価であるかそれは腐れるかあるいは両方である」ということは偽である」ということは成り立つ fact5: 「「慌てふためかない」ということは間違っていない」ものはある fact6: もし仮にあの題簽・書外題が腐れないけど丘近くだとすればその歴史全体はコンピュータプログラムだ fact7: 「その歴史全体は慌てふためく」ということは誤りだということはない fact8: もし仮にあの表題・見出しが甘噛みしないならあの題簽・書外題は腐れない fact9: 「コンピュータプログラムでない」物があればその歴史全体は丘近くである fact10: 仮にあの題簽・書外題は電磁場でないなら振り掛けるしかつ丘近くである fact11: 「とあるものは整合しないかあるいはそれは甘噛みしない」ということは成り立つということはないとしたら現実世界でない fact12: もし仮に「あの題簽・書外題は整合する」ということは間違いでないならばあの立ち会い分娩は整合する fact13: 仮にあの表題・見出しが整合しないとしたらあの題簽・書外題は腐れない fact14: もし仮に「慌てふためかない」ものがあるとすればあの表題・見出しは現実世界であるしさらに絶え難い fact15: 仮に「あの題簽・書外題は高価であるかまたはそれは腐れる」ということは間違いであるとしたらその歴史全体は高価でない
fact11 -> int1: 「あの表題・見出しは整合しないかあるいは甘噛みするということはないかあるいは両方である」ということは成り立たないとしたら現実世界だということはない; void -> assump1: 以下のように仮定する。「あの表題・見出しは整合するということはないかあるいはそれは甘噛みしないかあるいは両方ともだ」ということは事実と異なる; int1 & assump1 -> int2: あの表題・見出しは現実世界でない; fact5 & fact14 -> int3: あの表題・見出しは現実世界であるし絶え難い; int3 -> int4: あの表題・見出しは現実世界だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの表題・見出しは整合しないかあるいは甘噛みするということはない; int6 & fact13 & fact8 -> int7: あの題簽・書外題は腐れない; fact2 & fact10 -> int8: あの題簽・書外題は振り掛けるしおまけに丘近くである; int8 -> int9: あの題簽・書外題は丘近くだ; int7 & int9 -> int10: あの題簽・書外題は腐れないがしかしそれは丘近くだ; int10 & fact6 -> int11: 「その歴史全体はコンピュータプログラムでない」ということは成り立たない; int11 & fact1 -> hypothesis;
その歴史全体は高価でない
$facts$ = fact1: 仮にその歴史全体はコンピュータプログラムであるならそれは高価だ fact2: あの題簽・書外題は電磁場でない fact3: もし仮に「その南アフリカ原産はコンピュータプログラムでないかもしくは現実世界であるかまたはどちらもである」ということは偽だとしたらそのセカンドステップは現実世界でない fact4: 「そのセカンドステップは現実世界でないとすれば「あの題簽・書外題は高価であるかそれは腐れるかあるいは両方である」ということは偽である」ということは成り立つ fact5: 「「慌てふためかない」ということは間違っていない」ものはある fact6: もし仮にあの題簽・書外題が腐れないけど丘近くだとすればその歴史全体はコンピュータプログラムだ fact7: 「その歴史全体は慌てふためく」ということは誤りだということはない fact8: もし仮にあの表題・見出しが甘噛みしないならあの題簽・書外題は腐れない fact9: 「コンピュータプログラムでない」物があればその歴史全体は丘近くである fact10: 仮にあの題簽・書外題は電磁場でないなら振り掛けるしかつ丘近くである fact11: 「とあるものは整合しないかあるいはそれは甘噛みしない」ということは成り立つということはないとしたら現実世界でない fact12: もし仮に「あの題簽・書外題は整合する」ということは間違いでないならばあの立ち会い分娩は整合する fact13: 仮にあの表題・見出しが整合しないとしたらあの題簽・書外題は腐れない fact14: もし仮に「慌てふためかない」ものがあるとすればあの表題・見出しは現実世界であるしさらに絶え難い fact15: 仮に「あの題簽・書外題は高価であるかまたはそれは腐れる」ということは間違いであるとしたらその歴史全体は高価でない ; $hypothesis$ = その歴史全体は高価である ; $proof$ = 
fact11 -> int1: 「あの表題・見出しは整合しないかあるいは甘噛みするということはないかあるいは両方である」ということは成り立たないとしたら現実世界だということはない; void -> assump1: 以下のように仮定する。「あの表題・見出しは整合するということはないかあるいはそれは甘噛みしないかあるいは両方ともだ」ということは事実と異なる; int1 & assump1 -> int2: あの表題・見出しは現実世界でない; fact5 & fact14 -> int3: あの表題・見出しは現実世界であるし絶え難い; int3 -> int4: あの表題・見出しは現実世界だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの表題・見出しは整合しないかあるいは甘噛みするということはない; int6 & fact13 & fact8 -> int7: あの題簽・書外題は腐れない; fact2 & fact10 -> int8: あの題簽・書外題は振り掛けるしおまけに丘近くである; int8 -> int9: あの題簽・書外題は丘近くだ; int7 & int9 -> int10: あの題簽・書外題は腐れないがしかしそれは丘近くだ; int10 & fact6 -> int11: 「その歴史全体はコンピュータプログラムでない」ということは成り立たない; int11 & fact1 -> hypothesis; __PROVED__
事実1: 仮にその歴史全体はコンピュータプログラムであるならそれは高価だ
事実2: あの題簽・書外題は電磁場でない
事実3: もし仮に「その南アフリカ原産はコンピュータプログラムでないかもしくは現実世界であるかまたはどちらもである」ということは偽だとしたらそのセカンドステップは現実世界でない
事実4: 「そのセカンドステップは現実世界でないとすれば「あの題簽・書外題は高価であるかそれは腐れるかあるいは両方である」ということは偽である」ということは成り立つ
事実5: 「「慌てふためかない」ということは間違っていない」ものはある
事実6: もし仮にあの題簽・書外題が腐れないけど丘近くだとすればその歴史全体はコンピュータプログラムだ
事実7: 「その歴史全体は慌てふためく」ということは誤りだということはない
事実8: もし仮にあの表題・見出しが甘噛みしないならあの題簽・書外題は腐れない
事実9: 「コンピュータプログラムでない」物があればその歴史全体は丘近くである
事実10: 仮にあの題簽・書外題は電磁場でないなら振り掛けるしかつ丘近くである
事実11: 「とあるものは整合しないかあるいはそれは甘噛みしない」ということは成り立つということはないとしたら現実世界でない
事実12: もし仮に「あの題簽・書外題は整合する」ということは間違いでないならばあの立ち会い分娩は整合する
事実13: 仮にあの表題・見出しが整合しないとしたらあの題簽・書外題は腐れない
事実14: もし仮に「慌てふためかない」ものがあるとすればあの表題・見出しは現実世界であるしさらに絶え難い
事実15: 仮に「あの題簽・書外題は高価であるかまたはそれは腐れる」ということは間違いであるとしたらその歴史全体は高価でない

仮説: その歴史全体は高価である
1. 事実11から、推論1: "「あの表題・見出しは整合しないかあるいは甘噛みするということはないかあるいは両方である」ということは成り立たないとしたら現実世界だということはない"が導かれる
2. 仮定1: 以下のように仮定する。「あの表題・見出しは整合するということはないかあるいはそれは甘噛みしないかあるいは両方ともだ」ということは事実と異なる
3. 推論1と仮定1から、推論2: "あの表題・見出しは現実世界でない"が導かれる
4. 事実5と事実14から、推論3: "あの表題・見出しは現実世界であるし絶え難い"が導かれる
5. 推論3から、推論4: "あの表題・見出しは現実世界だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの表題・見出しは整合しないかあるいは甘噛みするということはない"が導かれる
8. 推論6と事実13と事実8から、推論7: "あの題簽・書外題は腐れない"が導かれる
9. 事実2と事実10から、推論8: "あの題簽・書外題は振り掛けるしおまけに丘近くである"が導かれる
10. 推論8から、推論9: "あの題簽・書外題は丘近くだ"が導かれる
11. 推論7と推論9から、推論10: "あの題簽・書外題は腐れないがしかしそれは丘近くだ"が導かれる
12. 推論10と事実6から、推論11: "「その歴史全体はコンピュータプログラムでない」ということは成り立たない"が導かれる
13. 推論11と事実1から、仮説が導かれる

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