あの分科は配置図でないかあるいはごつい
fact1: もし仮にあの自用地がごついとするとあの分科は配置図でないかごついかもしくは両方だ fact2: なにかはごついとしたら延引する fact3: もし仮にあの自用地がごついとしたらあの分科は配置図であるかまたはごついかまたは両方である fact4: もしこの各省各庁は騒がしいなら「あの自用地はごつい」ということは誤っているということはない fact5: この各省各庁は延引する fact6: あの分科は配置図であるかまたはごついかもしくは両方である fact7: この各省各庁は騒がしくて加えて延引する
fact7 -> int1: この各省各庁は騒がしい; int1 & fact4 -> int2: あの自用地はごつい; int2 & fact1 -> hypothesis;
このクレーンは成長出来ないかあるいは騒がしいかあるいはどちらもである
fact8 -> int3: もしもこの各省各庁がごついとするとそれは延引する;
$facts$ = fact1: もし仮にあの自用地がごついとするとあの分科は配置図でないかごついかもしくは両方だ fact2: なにかはごついとしたら延引する fact3: もし仮にあの自用地がごついとしたらあの分科は配置図であるかまたはごついかまたは両方である fact4: もしこの各省各庁は騒がしいなら「あの自用地はごつい」ということは誤っているということはない fact5: この各省各庁は延引する fact6: あの分科は配置図であるかまたはごついかもしくは両方である fact7: この各省各庁は騒がしくて加えて延引する ; $hypothesis$ = あの分科は配置図でないかあるいはごつい ; $proof$ = 
fact7 -> int1: この各省各庁は騒がしい; int1 & fact4 -> int2: あの自用地はごつい; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの自用地がごついとするとあの分科は配置図でないかごついかもしくは両方だ
事実2: なにかはごついとしたら延引する
事実3: もし仮にあの自用地がごついとしたらあの分科は配置図であるかまたはごついかまたは両方である
事実4: もしこの各省各庁は騒がしいなら「あの自用地はごつい」ということは誤っているということはない
事実5: この各省各庁は延引する
事実6: あの分科は配置図であるかまたはごついかもしくは両方である
事実7: この各省各庁は騒がしくて加えて延引する

仮説: あの分科は配置図でないかあるいはごつい
1. 事実7から、推論1: "この各省各庁は騒がしい"が導かれる
2. 推論1と事実4から、推論2: "あの自用地はごつい"が導かれる
3. 推論2と事実1から、仮説が導かれる

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