その電磁環境はＲＯＭでない
fact1: 「その電磁環境は対位法でない」ということは本当だ fact2: 「ＲＯＭな」物があるとするとその電磁環境は対位法でない fact3: 狭くないものは対位法である一方で泣き伏さない fact4: もしある物が泣き伏すとしたらその電磁環境はＲＯＭでなくて対位法でない fact5: 仮に何らかの物は泣き伏すとすれば「それは対位法でない」ということは事実である fact6: もし仮に「「泣き伏す」ということは真実な」ものがあるとするとその電磁環境は対位法でない fact7: その電磁環境は泣き伏さなくて煩わしさだということはない fact8: ある物は泣き伏す fact9: その虫パンが対位法でないならその電磁環境はＲＯＭだし加えてそれは泣き伏す
fact8 & fact4 -> int1: その電磁環境はＲＯＭでないしおまけにそれは対位法でない; int1 -> hypothesis;
fact8 & fact4 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> hypothesis;
その電磁環境はＲＯＭだ
fact10 -> int2: もし「その電磁環境は狭くない」ということは成り立つとすれば対位法だしまたそれは泣き伏さない;
$facts$ = fact1: 「その電磁環境は対位法でない」ということは本当だ fact2: 「ＲＯＭな」物があるとするとその電磁環境は対位法でない fact3: 狭くないものは対位法である一方で泣き伏さない fact4: もしある物が泣き伏すとしたらその電磁環境はＲＯＭでなくて対位法でない fact5: 仮に何らかの物は泣き伏すとすれば「それは対位法でない」ということは事実である fact6: もし仮に「「泣き伏す」ということは真実な」ものがあるとするとその電磁環境は対位法でない fact7: その電磁環境は泣き伏さなくて煩わしさだということはない fact8: ある物は泣き伏す fact9: その虫パンが対位法でないならその電磁環境はＲＯＭだし加えてそれは泣き伏す ; $hypothesis$ = その電磁環境はＲＯＭでない ; $proof$ = 
fact8 & fact4 -> int1: その電磁環境はＲＯＭでないしおまけにそれは対位法でない; int1 -> hypothesis; __PROVED__
事実1: 「その電磁環境は対位法でない」ということは本当だ
事実2: 「ＲＯＭな」物があるとするとその電磁環境は対位法でない
事実3: 狭くないものは対位法である一方で泣き伏さない
事実4: もしある物が泣き伏すとしたらその電磁環境はＲＯＭでなくて対位法でない
事実5: 仮に何らかの物は泣き伏すとすれば「それは対位法でない」ということは事実である
事実6: もし仮に「「泣き伏す」ということは真実な」ものがあるとするとその電磁環境は対位法でない
事実7: その電磁環境は泣き伏さなくて煩わしさだということはない
事実8: ある物は泣き伏す
事実9: その虫パンが対位法でないならその電磁環境はＲＯＭだし加えてそれは泣き伏す

仮説: その電磁環境はＲＯＭでない
1. 事実8と事実4から、推論1: "その電磁環境はＲＯＭでないしおまけにそれは対位法でない"が導かれる
2. 推論1から、仮説が導かれる

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