あのブズーキは表現しないかあるいは探知するか両方ともだ
fact1: もしも「安心出来るしその上売り出す」物があるとするとあのブズーキは止まる fact2: 「「安心出来ない」ということは本当な」ものはある fact3: もしもなんらかの物が排ガス中でないならば新田でないかあるいはそれは虚血性大腸炎であるかまたはどちらもだ fact4: あのブズーキは表現するかまたは探知する fact5: 仮にあのブズーキが売り出すということはないなら表現するかもしくは探知するかもしくは両方ともだ fact6: もしも何かは表現しないがそれが売り出すとするとそれは止まるということはない fact7: もしも「止まるししかも安心出来る」ものがあるとすればあのブズーキは売り出さない fact8: とある物が売り出さないとすると表現しないかまたは探知するか両方ともだ fact9: 仮に何らかの物が止まる一方で振り上げないとしたらあのブズーキは四角くない fact10: もしもなにがしかのものが売り出さないならば表現するかまたは探知するかまたはどちらもだ fact11: 何らかの物は止まるけれど安心出来ない fact12: 仮に「止まるが安心出来ない」ものがあるとするとあのブズーキは売り出さない fact13: あのブズーキが止まらないならばそのゴーヤーは安心出来ない
fact11 & fact12 -> int1: あのブズーキは売り出さない; fact8 -> int2: あのブズーキが売り出さないとしたらそれは表現するということはないか探知するかまたはどちらもだ; int1 & int2 -> hypothesis;
fact11 & fact12 -> int1: ¬{C}{a}; fact8 -> int2: ¬{C}{a} -> (¬{D}{a} v {E}{a}); int1 & int2 -> hypothesis;
「あのブズーキは表現しないかあるいは探知するかまたは両方ともである」ということは成り立つということはない
$facts$ = fact1: もしも「安心出来るしその上売り出す」物があるとするとあのブズーキは止まる fact2: 「「安心出来ない」ということは本当な」ものはある fact3: もしもなんらかの物が排ガス中でないならば新田でないかあるいはそれは虚血性大腸炎であるかまたはどちらもだ fact4: あのブズーキは表現するかまたは探知する fact5: 仮にあのブズーキが売り出すということはないなら表現するかもしくは探知するかもしくは両方ともだ fact6: もしも何かは表現しないがそれが売り出すとするとそれは止まるということはない fact7: もしも「止まるししかも安心出来る」ものがあるとすればあのブズーキは売り出さない fact8: とある物が売り出さないとすると表現しないかまたは探知するか両方ともだ fact9: 仮に何らかの物が止まる一方で振り上げないとしたらあのブズーキは四角くない fact10: もしもなにがしかのものが売り出さないならば表現するかまたは探知するかまたはどちらもだ fact11: 何らかの物は止まるけれど安心出来ない fact12: 仮に「止まるが安心出来ない」ものがあるとするとあのブズーキは売り出さない fact13: あのブズーキが止まらないならばそのゴーヤーは安心出来ない ; $hypothesis$ = あのブズーキは表現しないかあるいは探知するか両方ともだ ; $proof$ = 
fact11 & fact12 -> int1: あのブズーキは売り出さない; fact8 -> int2: あのブズーキが売り出さないとしたらそれは表現するということはないか探知するかまたはどちらもだ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「安心出来るしその上売り出す」物があるとするとあのブズーキは止まる
事実2: 「「安心出来ない」ということは本当な」ものはある
事実3: もしもなんらかの物が排ガス中でないならば新田でないかあるいはそれは虚血性大腸炎であるかまたはどちらもだ
事実4: あのブズーキは表現するかまたは探知する
事実5: 仮にあのブズーキが売り出すということはないなら表現するかもしくは探知するかもしくは両方ともだ
事実6: もしも何かは表現しないがそれが売り出すとするとそれは止まるということはない
事実7: もしも「止まるししかも安心出来る」ものがあるとすればあのブズーキは売り出さない
事実8: とある物が売り出さないとすると表現しないかまたは探知するか両方ともだ
事実9: 仮に何らかの物が止まる一方で振り上げないとしたらあのブズーキは四角くない
事実10: もしもなにがしかのものが売り出さないならば表現するかまたは探知するかまたはどちらもだ
事実11: 何らかの物は止まるけれど安心出来ない
事実12: 仮に「止まるが安心出来ない」ものがあるとするとあのブズーキは売り出さない
事実13: あのブズーキが止まらないならばそのゴーヤーは安心出来ない

仮説: あのブズーキは表現しないかあるいは探知するか両方ともだ
1. 事実11と事実12から、推論1: "あのブズーキは売り出さない"が導かれる
2. 事実8から、推論2: "あのブズーキが売り出さないとしたらそれは表現するということはないか探知するかまたはどちらもだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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