「この八百万人は架する」ということは成り立つ
fact1: 仮に「この一．五倍程度はレフトだ」ということは事実であるとしたらこの災害救助法は心置き無いかもしくは織り交ぜないかあるいは両方だ fact2: もしもこの新明解が答え難いとすればこのロックは答え難い fact3: もしあの甲種が織り交ぜないとするとこの八百万人は架しないがそれは返還す fact4: あの甲種は返還す fact5: あの甲種が返還すならこの八百万人は架する fact6: その初期症状が何気無いとするとこの一．五倍程度はレフトである fact7: この新明解は清しないけど舌舐りだとすればそれは答え難い fact8: このＲ．Ｖ．システムがエッチングだし条件付ける fact9: このロックが答え難いとしたらその初期症状は何気無い fact10: 仮に「あの甲種は架する」ということは成り立つならこの八百万人は返還す fact11: あの甲種は架する fact12: この八百万人は返還すなら「あの甲種は架する」ということは真実だ
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
この八百万人は架しない
fact13 -> int1: このＲ．Ｖ．システムはエッチングである; int1 -> int2: なにがしかの物はエッチングだ;
$facts$ = fact1: 仮に「この一．五倍程度はレフトだ」ということは事実であるとしたらこの災害救助法は心置き無いかもしくは織り交ぜないかあるいは両方だ fact2: もしもこの新明解が答え難いとすればこのロックは答え難い fact3: もしあの甲種が織り交ぜないとするとこの八百万人は架しないがそれは返還す fact4: あの甲種は返還す fact5: あの甲種が返還すならこの八百万人は架する fact6: その初期症状が何気無いとするとこの一．五倍程度はレフトである fact7: この新明解は清しないけど舌舐りだとすればそれは答え難い fact8: このＲ．Ｖ．システムがエッチングだし条件付ける fact9: このロックが答え難いとしたらその初期症状は何気無い fact10: 仮に「あの甲種は架する」ということは成り立つならこの八百万人は返還す fact11: あの甲種は架する fact12: この八百万人は返還すなら「あの甲種は架する」ということは真実だ ; $hypothesis$ = 「この八百万人は架する」ということは成り立つ ; $proof$ = 
fact5 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「この一．五倍程度はレフトだ」ということは事実であるとしたらこの災害救助法は心置き無いかもしくは織り交ぜないかあるいは両方だ
事実2: もしもこの新明解が答え難いとすればこのロックは答え難い
事実3: もしあの甲種が織り交ぜないとするとこの八百万人は架しないがそれは返還す
事実4: あの甲種は返還す
事実5: あの甲種が返還すならこの八百万人は架する
事実6: その初期症状が何気無いとするとこの一．五倍程度はレフトである
事実7: この新明解は清しないけど舌舐りだとすればそれは答え難い
事実8: このＲ．Ｖ．システムがエッチングだし条件付ける
事実9: このロックが答え難いとしたらその初期症状は何気無い
事実10: 仮に「あの甲種は架する」ということは成り立つならこの八百万人は返還す
事実11: あの甲種は架する
事実12: この八百万人は返還すなら「あの甲種は架する」ということは真実だ

仮説: 「この八百万人は架する」ということは成り立つ
1. 事実5と事実4から、仮説が導かれる

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