「「この骨孔は誘発し易くないかまたは撮影出来るか両方ともだ」ということは成り立つ」ということは偽である
fact1: もしこの王墓が凝集するということはないけどそれが初々しいとしたらこの衝撃値は凝集しない fact2: もし仮にこの衝撃値は日本らしいということはないとしたら「それは誘発し易くないかもしくは学院長であるかあるいはどちらもである」ということは本当だ fact3: 「「この衝撃値は撮影出来ないか日本らしいかもしくはどちらもである」ということは誤っていない」ということは事実でない fact4: もしもなんらかの物は凝集するということはないとすると「それはしても良くないし更にそれは学院長である」ということは誤っている fact5: 「この骨孔は頑是無くない」ということは成り立つ fact6: 仮に「この衝撃値は学院長でない」ということは成り立てば頑是無いということはないかまたはそれは日本らしい fact7: もしもこの衝撃値が頑是無くないかもしくはそれが日本らしいかまたはどちらもであるとしたらこの王墓は撮影出来ない fact8: もしもなんらかのものは学院長でないとするとそれは誘発し易くないか撮影出来るかあるいは両方ともである fact9: この王墓は誘発し易いということはない fact10: 仮にこの王墓が日本らしくないとするとこの骨孔は日本らしくない fact11: この衝撃値は学院長でないかもしくは撮影出来る fact12: この王墓は撮影出来ないなら「この骨孔は誘発し易くないかあるいはそれは撮影出来る」ということは誤りである fact13: この衝撃値が撮影出来ないならば学院長でないかそれは誘発し易いかあるいはどちらもである fact14: この衝撃値は学院長だということはない fact15: この骨孔は日本らしくない fact16: もしもこの骨孔が撮影出来ないならばそれは誘発し易いかあるいは学院長であるかまたは両方である
fact6 & fact14 -> int1: この衝撃値は頑是無くないか日本らしいかもしくは両方である; int1 & fact7 -> int2: この王墓は撮影出来るということはない; int2 & fact12 -> hypothesis;
fact6 & fact14 -> int1: (¬{AA}{a} v {AB}{a}); int1 & fact7 -> int2: ¬{B}{b}; int2 & fact12 -> hypothesis;
この骨孔は誘発し易いということはないか撮影出来るかあるいはどちらもだ
fact18 -> int3: もしもこの骨孔が学院長でないならそれは誘発し易くないかあるいはそれは撮影出来る; fact17 -> int4: 仮にこの衝撃値は凝集するということはないとすると「しても良くないが学院長である」ということは嘘だ;
$facts$ = fact1: もしこの王墓が凝集するということはないけどそれが初々しいとしたらこの衝撃値は凝集しない fact2: もし仮にこの衝撃値は日本らしいということはないとしたら「それは誘発し易くないかもしくは学院長であるかあるいはどちらもである」ということは本当だ fact3: 「「この衝撃値は撮影出来ないか日本らしいかもしくはどちらもである」ということは誤っていない」ということは事実でない fact4: もしもなんらかの物は凝集するということはないとすると「それはしても良くないし更にそれは学院長である」ということは誤っている fact5: 「この骨孔は頑是無くない」ということは成り立つ fact6: 仮に「この衝撃値は学院長でない」ということは成り立てば頑是無いということはないかまたはそれは日本らしい fact7: もしもこの衝撃値が頑是無くないかもしくはそれが日本らしいかまたはどちらもであるとしたらこの王墓は撮影出来ない fact8: もしもなんらかのものは学院長でないとするとそれは誘発し易くないか撮影出来るかあるいは両方ともである fact9: この王墓は誘発し易いということはない fact10: 仮にこの王墓が日本らしくないとするとこの骨孔は日本らしくない fact11: この衝撃値は学院長でないかもしくは撮影出来る fact12: この王墓は撮影出来ないなら「この骨孔は誘発し易くないかあるいはそれは撮影出来る」ということは誤りである fact13: この衝撃値が撮影出来ないならば学院長でないかそれは誘発し易いかあるいはどちらもである fact14: この衝撃値は学院長だということはない fact15: この骨孔は日本らしくない fact16: もしもこの骨孔が撮影出来ないならばそれは誘発し易いかあるいは学院長であるかまたは両方である ; $hypothesis$ = 「「この骨孔は誘発し易くないかまたは撮影出来るか両方ともだ」ということは成り立つ」ということは偽である ; $proof$ = 
fact6 & fact14 -> int1: この衝撃値は頑是無くないか日本らしいかもしくは両方である; int1 & fact7 -> int2: この王墓は撮影出来るということはない; int2 & fact12 -> hypothesis; __PROVED__
事実1: もしこの王墓が凝集するということはないけどそれが初々しいとしたらこの衝撃値は凝集しない
事実2: もし仮にこの衝撃値は日本らしいということはないとしたら「それは誘発し易くないかもしくは学院長であるかあるいはどちらもである」ということは本当だ
事実3: 「「この衝撃値は撮影出来ないか日本らしいかもしくはどちらもである」ということは誤っていない」ということは事実でない
事実4: もしもなんらかの物は凝集するということはないとすると「それはしても良くないし更にそれは学院長である」ということは誤っている
事実5: 「この骨孔は頑是無くない」ということは成り立つ
事実6: 仮に「この衝撃値は学院長でない」ということは成り立てば頑是無いということはないかまたはそれは日本らしい
事実7: もしもこの衝撃値が頑是無くないかもしくはそれが日本らしいかまたはどちらもであるとしたらこの王墓は撮影出来ない
事実8: もしもなんらかのものは学院長でないとするとそれは誘発し易くないか撮影出来るかあるいは両方ともである
事実9: この王墓は誘発し易いということはない
事実10: 仮にこの王墓が日本らしくないとするとこの骨孔は日本らしくない
事実11: この衝撃値は学院長でないかもしくは撮影出来る
事実12: この王墓は撮影出来ないなら「この骨孔は誘発し易くないかあるいはそれは撮影出来る」ということは誤りである
事実13: この衝撃値が撮影出来ないならば学院長でないかそれは誘発し易いかあるいはどちらもである
事実14: この衝撃値は学院長だということはない
事実15: この骨孔は日本らしくない
事実16: もしもこの骨孔が撮影出来ないならばそれは誘発し易いかあるいは学院長であるかまたは両方である

仮説: 「「この骨孔は誘発し易くないかまたは撮影出来るか両方ともだ」ということは成り立つ」ということは偽である
1. 事実6と事実14から、推論1: "この衝撃値は頑是無くないか日本らしいかもしくは両方である"が導かれる
2. 推論1と事実7から、推論2: "この王墓は撮影出来るということはない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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