「「浅黒いかもしくは来室しない」ということは成り立たない」物はある
fact1: もしもとある物はうら若いということはないとすれば「それは活性化・増殖するかまたは浅黒くない」ということは成り立つということはない fact2: その日本紀私記はうら若い fact3: なにがしかのものは来室する fact4: 「その日本紀私記は問うか形作らないかあるいは両方ともである」ということは嘘である fact5: 「浅黒いか来室しないかまたはどちらもである」物はある fact6: 「「浅黒いかあるいは来室するかあるいは両方ともである」ということは間違っている」ものはある fact7: 「「御食べ為さるかあるいは入庫するということはないかまたは両方である」ということは成り立たない」物はある fact8: その日本紀私記は来室する fact9: 「その日本紀私記はうら若い」ということは正しいとすると「浅黒いかもしくはそれは来室しない」ということは間違いだ fact10: 「浅黒くない」ものはある fact11: 仮に「その日本紀私記はうら若い」ということは正しいならばそれは来室する fact12: ある物が掴み易いならばそれは失業しないか教育体系だということはないかもしくは両方である
fact9 & fact2 -> int1: 「その日本紀私記は浅黒いかもしくはそれは来室するということはない」ということは事実と異なる; int1 -> hypothesis;
fact9 & fact2 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 -> hypothesis;
「「その土地支配は活性化・増殖するかそれは浅黒くない」ということは成り立たない」ということは事実である
fact13 -> int2: もしもその土地支配はうら若くないとしたら「活性化・増殖するかまたはそれは浅黒くないかもしくは両方である」ということは成り立たない; fact14 -> int3: もしその日本紀私記が掴み易いならばそれは失業しないかあるいは教育体系だということはないかまたはどちらもである;
$facts$ = fact1: もしもとある物はうら若いということはないとすれば「それは活性化・増殖するかまたは浅黒くない」ということは成り立つということはない fact2: その日本紀私記はうら若い fact3: なにがしかのものは来室する fact4: 「その日本紀私記は問うか形作らないかあるいは両方ともである」ということは嘘である fact5: 「浅黒いか来室しないかまたはどちらもである」物はある fact6: 「「浅黒いかあるいは来室するかあるいは両方ともである」ということは間違っている」ものはある fact7: 「「御食べ為さるかあるいは入庫するということはないかまたは両方である」ということは成り立たない」物はある fact8: その日本紀私記は来室する fact9: 「その日本紀私記はうら若い」ということは正しいとすると「浅黒いかもしくはそれは来室しない」ということは間違いだ fact10: 「浅黒くない」ものはある fact11: 仮に「その日本紀私記はうら若い」ということは正しいならばそれは来室する fact12: ある物が掴み易いならばそれは失業しないか教育体系だということはないかもしくは両方である ; $hypothesis$ = 「「浅黒いかもしくは来室しない」ということは成り立たない」物はある ; $proof$ = 
fact9 & fact2 -> int1: 「その日本紀私記は浅黒いかもしくはそれは来室するということはない」ということは事実と異なる; int1 -> hypothesis; __PROVED__
事実1: もしもとある物はうら若いということはないとすれば「それは活性化・増殖するかまたは浅黒くない」ということは成り立つということはない
事実2: その日本紀私記はうら若い
事実3: なにがしかのものは来室する
事実4: 「その日本紀私記は問うか形作らないかあるいは両方ともである」ということは嘘である
事実5: 「浅黒いか来室しないかまたはどちらもである」物はある
事実6: 「「浅黒いかあるいは来室するかあるいは両方ともである」ということは間違っている」ものはある
事実7: 「「御食べ為さるかあるいは入庫するということはないかまたは両方である」ということは成り立たない」物はある
事実8: その日本紀私記は来室する
事実9: 「その日本紀私記はうら若い」ということは正しいとすると「浅黒いかもしくはそれは来室しない」ということは間違いだ
事実10: 「浅黒くない」ものはある
事実11: 仮に「その日本紀私記はうら若い」ということは正しいならばそれは来室する
事実12: ある物が掴み易いならばそれは失業しないか教育体系だということはないかもしくは両方である

仮説: 「「浅黒いかもしくは来室しない」ということは成り立たない」物はある
1. 事実9と事実2から、推論1: "「その日本紀私記は浅黒いかもしくはそれは来室するということはない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が導かれる

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