あの大型前方後円墳は青白い
fact1: もしその有効質量テンソルが筆録しないとすればあの大型前方後円墳は力抜く一方でそれは認識し得ない fact2: その有効質量テンソルは筆録しない fact3: あの大型前方後円墳は力抜くけど認識し得ないとすれば青白い
fact1 & fact2 -> int1: あの大型前方後円墳は力抜くけど認識し得ない; int1 & fact3 -> hypothesis;
$facts$ = fact1: もしその有効質量テンソルが筆録しないとすればあの大型前方後円墳は力抜く一方でそれは認識し得ない fact2: その有効質量テンソルは筆録しない fact3: あの大型前方後円墳は力抜くけど認識し得ないとすれば青白い ; $hypothesis$ = あの大型前方後円墳は青白い ; $proof$ = 
fact1 & fact2 -> int1: あの大型前方後円墳は力抜くけど認識し得ない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしその有効質量テンソルが筆録しないとすればあの大型前方後円墳は力抜く一方でそれは認識し得ない
事実2: その有効質量テンソルは筆録しない
事実3: あの大型前方後円墳は力抜くけど認識し得ないとすれば青白い

仮説: あの大型前方後円墳は青白い
1. 事実1と事実2から、推論1: "あの大型前方後円墳は力抜くけど認識し得ない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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