「あの名義尺度は看過し難い」ということは嘘でない
fact1: もしもあの飛鳥文化が厚かましくないならばあの名義尺度は不動産工事でないしかつ一定しない fact2: もしもあの飛鳥文化が不動産工事であるとするとあの名義尺度は看過し難い fact3: もしもその納屋が厚かましくないとするとあの飛鳥文化は厚かましいということはない fact4: あの名義尺度は与え難い fact5: あの飛鳥文化は与え難い fact6: あの名義尺度は左右され易い fact7: もしもあの名義尺度が看過し難いとするとそれは不動産工事である fact8: 仮にあの名義尺度が不動産工事ならばあの飛鳥文化は看過し難い fact9: もし仮にあの飛鳥文化が与え難いとしたらそれは不動産工事である
fact9 & fact5 -> int1: あの飛鳥文化は不動産工事だ; int1 & fact2 -> hypothesis;
あの名義尺度は看過し難くない
$facts$ = fact1: もしもあの飛鳥文化が厚かましくないならばあの名義尺度は不動産工事でないしかつ一定しない fact2: もしもあの飛鳥文化が不動産工事であるとするとあの名義尺度は看過し難い fact3: もしもその納屋が厚かましくないとするとあの飛鳥文化は厚かましいということはない fact4: あの名義尺度は与え難い fact5: あの飛鳥文化は与え難い fact6: あの名義尺度は左右され易い fact7: もしもあの名義尺度が看過し難いとするとそれは不動産工事である fact8: 仮にあの名義尺度が不動産工事ならばあの飛鳥文化は看過し難い fact9: もし仮にあの飛鳥文化が与え難いとしたらそれは不動産工事である ; $hypothesis$ = 「あの名義尺度は看過し難い」ということは嘘でない ; $proof$ = 
fact9 & fact5 -> int1: あの飛鳥文化は不動産工事だ; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしもあの飛鳥文化が厚かましくないならばあの名義尺度は不動産工事でないしかつ一定しない
事実2: もしもあの飛鳥文化が不動産工事であるとするとあの名義尺度は看過し難い
事実3: もしもその納屋が厚かましくないとするとあの飛鳥文化は厚かましいということはない
事実4: あの名義尺度は与え難い
事実5: あの飛鳥文化は与え難い
事実6: あの名義尺度は左右され易い
事実7: もしもあの名義尺度が看過し難いとするとそれは不動産工事である
事実8: 仮にあの名義尺度が不動産工事ならばあの飛鳥文化は看過し難い
事実9: もし仮にあの飛鳥文化が与え難いとしたらそれは不動産工事である

仮説: 「あの名義尺度は看過し難い」ということは嘘でない
1. 事実9と事実5から、推論1: "あの飛鳥文化は不動産工事だ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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