あの増加は使用用だ
fact1: 「この建築基準法は片口鰯だ」ということは真実だとしたらあの契約方式はアバザーでないしそれは読み易いということはない fact2: もしなにかは否定し難くないし両替しないならば「あの増加は使用用だ」ということは確かだ fact3: なにがしかのものは片口鰯でない fact4: 「片口鰯でない」ものがあるならばあの建築基準法は否定し難くないしそれにそれは両替するということはない fact5: もし「何らかの物は否定し難いしまた使用用だ」ということは間違いであるならば使用用でない
fact3 & fact4 -> int1: この建築基準法は否定し難いということはなくて両替しない; int1 -> int2: 「否定し難くないししかも両替するということはない」ものはある; int2 & fact2 -> hypothesis;
fact3 & fact4 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> int2: (Ex): (¬{B}x & ¬{C}x); int2 & fact2 -> hypothesis;
あの増加は使用用でない
fact6 -> int3: もし「あの増加は否定し難いし使用用だ」ということは成り立たないならばそれは使用用であるということはない;
$facts$ = fact1: 「この建築基準法は片口鰯だ」ということは真実だとしたらあの契約方式はアバザーでないしそれは読み易いということはない fact2: もしなにかは否定し難くないし両替しないならば「あの増加は使用用だ」ということは確かだ fact3: なにがしかのものは片口鰯でない fact4: 「片口鰯でない」ものがあるならばあの建築基準法は否定し難くないしそれにそれは両替するということはない fact5: もし「何らかの物は否定し難いしまた使用用だ」ということは間違いであるならば使用用でない ; $hypothesis$ = あの増加は使用用だ ; $proof$ = 
fact3 & fact4 -> int1: この建築基準法は否定し難いということはなくて両替しない; int1 -> int2: 「否定し難くないししかも両替するということはない」ものはある; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「この建築基準法は片口鰯だ」ということは真実だとしたらあの契約方式はアバザーでないしそれは読み易いということはない
事実2: もしなにかは否定し難くないし両替しないならば「あの増加は使用用だ」ということは確かだ
事実3: なにがしかのものは片口鰯でない
事実4: 「片口鰯でない」ものがあるならばあの建築基準法は否定し難くないしそれにそれは両替するということはない
事実5: もし「何らかの物は否定し難いしまた使用用だ」ということは間違いであるならば使用用でない

仮説: あの増加は使用用だ
1. 事実3と事実4から、推論1: "この建築基準法は否定し難いということはなくて両替しない"が導かれる
2. 推論1から、推論2: "「否定し難くないししかも両替するということはない」ものはある"が導かれる
3. 推論2と事実2から、仮説が導かれる

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