その電気的変化は発生し易くないししかも追加アイコンでない
fact1: もし仮にそのオン・ザ・ロックは焦げ臭いとしたら「その電気的変化は発生し易くないし追加アイコンでない」ということは事実と異なる fact2: 「「二百四十六号線であるしおまけに焦げ臭い」ということは間違いである」ものはある fact3: もしも「「二百四十六号線だしまた焦げ臭い」ということは間違いな」ものがあるならその電気的変化は焦げ臭くない fact4: 焦げ臭くない物は発生し易くないしその上追加アイコンであるということはない
fact4 -> int1: 「その電気的変化は焦げ臭くない」ということは確かであるならばそれは発生し易くないししかも追加アイコンでない; fact2 & fact3 -> int2: その電気的変化は焦げ臭くない; int1 & int2 -> hypothesis;
「その電気的変化は発生し易くないしまたそれは追加アイコンでない」ということは成り立たない
$facts$ = fact1: もし仮にそのオン・ザ・ロックは焦げ臭いとしたら「その電気的変化は発生し易くないし追加アイコンでない」ということは事実と異なる fact2: 「「二百四十六号線であるしおまけに焦げ臭い」ということは間違いである」ものはある fact3: もしも「「二百四十六号線だしまた焦げ臭い」ということは間違いな」ものがあるならその電気的変化は焦げ臭くない fact4: 焦げ臭くない物は発生し易くないしその上追加アイコンであるということはない ; $hypothesis$ = その電気的変化は発生し易くないししかも追加アイコンでない ; $proof$ = 
fact4 -> int1: 「その電気的変化は焦げ臭くない」ということは確かであるならばそれは発生し易くないししかも追加アイコンでない; fact2 & fact3 -> int2: その電気的変化は焦げ臭くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にそのオン・ザ・ロックは焦げ臭いとしたら「その電気的変化は発生し易くないし追加アイコンでない」ということは事実と異なる
事実2: 「「二百四十六号線であるしおまけに焦げ臭い」ということは間違いである」ものはある
事実3: もしも「「二百四十六号線だしまた焦げ臭い」ということは間違いな」ものがあるならその電気的変化は焦げ臭くない
事実4: 焦げ臭くない物は発生し易くないしその上追加アイコンであるということはない

仮説: その電気的変化は発生し易くないししかも追加アイコンでない
1. 事実4から、推論1: "「その電気的変化は焦げ臭くない」ということは確かであるならばそれは発生し易くないししかも追加アイコンでない"が導かれる
2. 事実2と事実3から、推論2: "その電気的変化は焦げ臭くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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