その計量文献学は忘れ易い
fact1: 「その日本正史は予測し易い一方で放ち始めない」ということは偽である fact2: その日本正史が任命するとすればあの計量文献学は忘れ易い fact3: 仮に「ある物は予測し易いけれど放ち始めない」ということは成り立たないとするとそれは構え直さない fact4: 「あの意味的対立はきりっとするしそれは忘れ易い」ということは事実でないとしたらそれは構え直さない fact5: その日本正史が構え直さないとすればそれはきりっとするし任命する
fact3 -> int1: もし仮に「その日本正史は予測し易い一方で放ち始めない」ということは成り立たないとしたら構え直さない; int1 & fact1 -> int2: その日本正史は構え直さない; int2 & fact5 -> int3: その日本正史はきりっとするし任命する; int3 -> int4: その日本正史は任命する; int4 & fact2 -> hypothesis;
あの意味的対立は放ち始める
$facts$ = fact1: 「その日本正史は予測し易い一方で放ち始めない」ということは偽である fact2: その日本正史が任命するとすればあの計量文献学は忘れ易い fact3: 仮に「ある物は予測し易いけれど放ち始めない」ということは成り立たないとするとそれは構え直さない fact4: 「あの意味的対立はきりっとするしそれは忘れ易い」ということは事実でないとしたらそれは構え直さない fact5: その日本正史が構え直さないとすればそれはきりっとするし任命する ; $hypothesis$ = その計量文献学は忘れ易い ; $proof$ = 
fact3 -> int1: もし仮に「その日本正史は予測し易い一方で放ち始めない」ということは成り立たないとしたら構え直さない; int1 & fact1 -> int2: その日本正史は構え直さない; int2 & fact5 -> int3: その日本正史はきりっとするし任命する; int3 -> int4: その日本正史は任命する; int4 & fact2 -> hypothesis; __PROVED__
事実1: 「その日本正史は予測し易い一方で放ち始めない」ということは偽である
事実2: その日本正史が任命するとすればあの計量文献学は忘れ易い
事実3: 仮に「ある物は予測し易いけれど放ち始めない」ということは成り立たないとするとそれは構え直さない
事実4: 「あの意味的対立はきりっとするしそれは忘れ易い」ということは事実でないとしたらそれは構え直さない
事実5: その日本正史が構え直さないとすればそれはきりっとするし任命する

仮説: その計量文献学は忘れ易い
1. 事実3から、推論1: "もし仮に「その日本正史は予測し易い一方で放ち始めない」ということは成り立たないとしたら構え直さない"が導かれる
2. 推論1と事実1から、推論2: "その日本正史は構え直さない"が導かれる
3. 推論2と事実5から、推論3: "その日本正史はきりっとするし任命する"が導かれる
4. 推論3から、推論4: "その日本正史は任命する"が導かれる
5. 推論4と事実2から、仮説が導かれる

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