あの二位は書き直すし古墳時代である
fact1: あの二位は添い寝しない fact2: もし仮にこの平等が百年戦争であるならあの総生産はコンピュータ化するけど安くない fact3: あの二位が添い寝しないとすればそれは古墳時代だし迷い道である fact4: もし何かはコンピュータ化するけど安いということはないなら「参与しない」ということは本当だ fact5: この平等が百年戦争でないとするとあの二位は傷付き易いししかも百年戦争である fact6: 百年戦争は書き直す fact7: 「州レベルであるかあるいは参与する」物はあれば「あの総生産は参与する」ということは真実だ fact8: もしなんらかのものは百年戦争でないならばそれは書き直さない fact9: なんらかのものは州レベルであるかあるいは参与するかもしくは両方である
void -> assump1: 以下のように仮定する。この平等は百年戦争である; fact2 & assump1 -> int1: あの総生産はコンピュータ化するけれど安いということはない; fact4 -> int2: もしも「あの総生産はコンピュータ化するが安くない」ということは偽でないとすると参与しない; int1 & int2 -> int3: あの総生産は参与しない; fact7 & fact9 -> int4: 「あの総生産は参与する」ということは事実である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この平等は百年戦争だということはない; int6 & fact5 -> int7: あの二位は傷付き易くておまけに百年戦争だ; int7 -> int8: 「あの二位は百年戦争だ」ということは真実である; fact6 -> int9: 仮に「あの二位は百年戦争である」ということは確かであるとしたらそれは書き直す; int8 & int9 -> int10: あの二位は書き直す; fact3 & fact1 -> int11: 「あの二位は古墳時代でそれは迷い道だ」ということは確かだ; int11 -> int12: あの二位は古墳時代である; int10 & int12 -> hypothesis;
あの総生産は書き直さない
fact10 -> int13: 仮にあの総生産が百年戦争でないとすれば書き直さない;
$facts$ = fact1: あの二位は添い寝しない fact2: もし仮にこの平等が百年戦争であるならあの総生産はコンピュータ化するけど安くない fact3: あの二位が添い寝しないとすればそれは古墳時代だし迷い道である fact4: もし何かはコンピュータ化するけど安いということはないなら「参与しない」ということは本当だ fact5: この平等が百年戦争でないとするとあの二位は傷付き易いししかも百年戦争である fact6: 百年戦争は書き直す fact7: 「州レベルであるかあるいは参与する」物はあれば「あの総生産は参与する」ということは真実だ fact8: もしなんらかのものは百年戦争でないならばそれは書き直さない fact9: なんらかのものは州レベルであるかあるいは参与するかもしくは両方である ; $hypothesis$ = あの二位は書き直すし古墳時代である ; $proof$ = 
void -> assump1: 以下のように仮定する。この平等は百年戦争である; fact2 & assump1 -> int1: あの総生産はコンピュータ化するけれど安いということはない; fact4 -> int2: もしも「あの総生産はコンピュータ化するが安くない」ということは偽でないとすると参与しない; int1 & int2 -> int3: あの総生産は参与しない; fact7 & fact9 -> int4: 「あの総生産は参与する」ということは事実である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この平等は百年戦争だということはない; int6 & fact5 -> int7: あの二位は傷付き易くておまけに百年戦争だ; int7 -> int8: 「あの二位は百年戦争だ」ということは真実である; fact6 -> int9: 仮に「あの二位は百年戦争である」ということは確かであるとしたらそれは書き直す; int8 & int9 -> int10: あの二位は書き直す; fact3 & fact1 -> int11: 「あの二位は古墳時代でそれは迷い道だ」ということは確かだ; int11 -> int12: あの二位は古墳時代である; int10 & int12 -> hypothesis; __PROVED__
事実1: あの二位は添い寝しない
事実2: もし仮にこの平等が百年戦争であるならあの総生産はコンピュータ化するけど安くない
事実3: あの二位が添い寝しないとすればそれは古墳時代だし迷い道である
事実4: もし何かはコンピュータ化するけど安いということはないなら「参与しない」ということは本当だ
事実5: この平等が百年戦争でないとするとあの二位は傷付き易いししかも百年戦争である
事実6: 百年戦争は書き直す
事実7: 「州レベルであるかあるいは参与する」物はあれば「あの総生産は参与する」ということは真実だ
事実8: もしなんらかのものは百年戦争でないならばそれは書き直さない
事実9: なんらかのものは州レベルであるかあるいは参与するかもしくは両方である

仮説: あの二位は書き直すし古墳時代である
1. 仮定1: 以下のように仮定する。この平等は百年戦争である
2. 事実2と仮定1から、推論1: "あの総生産はコンピュータ化するけれど安いということはない"が導かれる
3. 事実4から、推論2: "もしも「あの総生産はコンピュータ化するが安くない」ということは偽でないとすると参与しない"が導かれる
4. 推論1と推論2から、推論3: "あの総生産は参与しない"が導かれる
5. 事実7と事実9から、推論4: "「あの総生産は参与する」ということは事実である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この平等は百年戦争だということはない"が導かれる
8. 推論6と事実5から、推論7: "あの二位は傷付き易くておまけに百年戦争だ"が導かれる
9. 推論7から、推論8: "「あの二位は百年戦争だ」ということは真実である"が導かれる
10. 事実6から、推論9: "仮に「あの二位は百年戦争である」ということは確かであるとしたらそれは書き直す"が導かれる
11. 推論8と推論9から、推論10: "あの二位は書き直す"が導かれる
12. 事実3と事実1から、推論11: "「あの二位は古墳時代でそれは迷い道だ」ということは確かだ"が導かれる
13. 推論11から、推論12: "あの二位は古墳時代である"が導かれる
14. 推論10と推論12から、仮説が導かれる

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