その販売費は拙い
fact1: もし仮に「「何らかの物は遅れ気味でないかまたは御了承下さるということはないかもしくは両方ともだ」ということは確かである」ということは成り立つということはないとすればそれは拙い fact2: 「その販売費は遅れ気味でないかまたは御了承下さるということはないかもしくはどちらもだ」ということは間違いである
fact1 -> int1: もしも「その販売費は遅れ気味でないか御了承下さるということはないかもしくはどちらもである」ということは確かでないとしたらそれは拙い; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に「「何らかの物は遅れ気味でないかまたは御了承下さるということはないかもしくは両方ともだ」ということは確かである」ということは成り立つということはないとすればそれは拙い fact2: 「その販売費は遅れ気味でないかまたは御了承下さるということはないかもしくはどちらもだ」ということは間違いである ; $hypothesis$ = その販売費は拙い ; $proof$ = 
fact1 -> int1: もしも「その販売費は遅れ気味でないか御了承下さるということはないかもしくはどちらもである」ということは確かでないとしたらそれは拙い; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「「何らかの物は遅れ気味でないかまたは御了承下さるということはないかもしくは両方ともだ」ということは確かである」ということは成り立つということはないとすればそれは拙い
事実2: 「その販売費は遅れ気味でないかまたは御了承下さるということはないかもしくはどちらもだ」ということは間違いである

仮説: その販売費は拙い
1. 事実1から、推論1: "もしも「その販売費は遅れ気味でないか御了承下さるということはないかもしくはどちらもである」ということは確かでないとしたらそれは拙い"が導かれる
2. 推論1と事実2から、仮説が導かれる

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