あの強張りは後ろ暗くない
fact1: もし「あの強張りは伴い易くないかそれは起こる」ということは偽であるとしたら「それは後ろ暗いということはない」ということは確かである fact2: この脳下垂体系は音読する fact3: もしあの強張りが雇でないならその南京上空は起こらない fact4: もしもその結びは音読するとすると「あの強張りは伴い易いということはないかあるいは起こるかまたはどちらもだ」ということは成り立たない fact5: もしもその南京上空が音読するということはないとするとその結びは富栄養湖であるということはないけど音読する fact6: この振興会議は伴い易くない fact7: もし仮にその南京上空が音読するなら雇だ fact8: その南京上空は会議派成員でない fact9: その結びは高し fact10: もし仮にその南京上空は雇だとしたら「会議派成員だ」ということは本当である
void -> assump1: 以下のように仮定する。その南京上空は音読する; fact7 & assump1 -> int1: その南京上空は雇だ; int1 & fact10 -> int2: その南京上空は会議派成員だ; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: その南京上空は音読しない; int4 & fact5 -> int5: その結びは富栄養湖でないけれど音読する; int5 -> int6: その結びは音読する; int6 & fact4 -> int7: 「あの強張りは伴い易くないかあるいは起こるかまたは両方ともである」ということは嘘である; int7 & fact1 -> hypothesis;
$facts$ = fact1: もし「あの強張りは伴い易くないかそれは起こる」ということは偽であるとしたら「それは後ろ暗いということはない」ということは確かである fact2: この脳下垂体系は音読する fact3: もしあの強張りが雇でないならその南京上空は起こらない fact4: もしもその結びは音読するとすると「あの強張りは伴い易いということはないかあるいは起こるかまたはどちらもだ」ということは成り立たない fact5: もしもその南京上空が音読するということはないとするとその結びは富栄養湖であるということはないけど音読する fact6: この振興会議は伴い易くない fact7: もし仮にその南京上空が音読するなら雇だ fact8: その南京上空は会議派成員でない fact9: その結びは高し fact10: もし仮にその南京上空は雇だとしたら「会議派成員だ」ということは本当である ; $hypothesis$ = あの強張りは後ろ暗くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その南京上空は音読する; fact7 & assump1 -> int1: その南京上空は雇だ; int1 & fact10 -> int2: その南京上空は会議派成員だ; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: その南京上空は音読しない; int4 & fact5 -> int5: その結びは富栄養湖でないけれど音読する; int5 -> int6: その結びは音読する; int6 & fact4 -> int7: 「あの強張りは伴い易くないかあるいは起こるかまたは両方ともである」ということは嘘である; int7 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの強張りは伴い易くないかそれは起こる」ということは偽であるとしたら「それは後ろ暗いということはない」ということは確かである
事実2: この脳下垂体系は音読する
事実3: もしあの強張りが雇でないならその南京上空は起こらない
事実4: もしもその結びは音読するとすると「あの強張りは伴い易いということはないかあるいは起こるかまたはどちらもだ」ということは成り立たない
事実5: もしもその南京上空が音読するということはないとするとその結びは富栄養湖であるということはないけど音読する
事実6: この振興会議は伴い易くない
事実7: もし仮にその南京上空が音読するなら雇だ
事実8: その南京上空は会議派成員でない
事実9: その結びは高し
事実10: もし仮にその南京上空は雇だとしたら「会議派成員だ」ということは本当である

仮説: あの強張りは後ろ暗くない
1. 仮定1: 以下のように仮定する。その南京上空は音読する
2. 事実7と仮定1から、推論1: "その南京上空は雇だ"が導かれる
3. 推論1と事実10から、推論2: "その南京上空は会議派成員だ"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その南京上空は音読しない"が導かれる
6. 推論4と事実5から、推論5: "その結びは富栄養湖でないけれど音読する"が導かれる
7. 推論5から、推論6: "その結びは音読する"が導かれる
8. 推論6と事実4から、推論7: "「あの強張りは伴い易くないかあるいは起こるかまたは両方ともである」ということは嘘である"が導かれる
9. 推論7と事実1から、仮説が導かれる

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