「あのＶＲＥＦは忌まわしいということはないけどそれは想定し難い」ということは成り立たない
fact1: この土地管理局は重んずる fact2: もしもこの土地管理局は重んずれば「あのＶＲＥＦは忌まわしくないけれど想定し難い」ということは誤っている fact3: あのグリースは重んずる fact4: もし仮にこの土地管理局は重んずれば「あのＶＲＥＦは忌まわしくて想定し難い」ということは成り立たない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: この土地管理局は重んずる fact2: もしもこの土地管理局は重んずれば「あのＶＲＥＦは忌まわしくないけれど想定し難い」ということは誤っている fact3: あのグリースは重んずる fact4: もし仮にこの土地管理局は重んずれば「あのＶＲＥＦは忌まわしくて想定し難い」ということは成り立たない ; $hypothesis$ = 「あのＶＲＥＦは忌まわしいということはないけどそれは想定し難い」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: この土地管理局は重んずる
事実2: もしもこの土地管理局は重んずれば「あのＶＲＥＦは忌まわしくないけれど想定し難い」ということは誤っている
事実3: あのグリースは重んずる
事実4: もし仮にこの土地管理局は重んずれば「あのＶＲＥＦは忌まわしくて想定し難い」ということは成り立たない

仮説: 「あのＶＲＥＦは忌まわしいということはないけどそれは想定し難い」ということは成り立たない
1. 事実2と事実1から、仮説が導かれる

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