「「機能しないししかも売り買いでない」ということは成り立たない」ものはある
fact1: もしもあの有はクラックすれば「あのＬモードは機能するということはないし加えて売り買いでない」ということは確かでない fact2: あの有はぼやくしクラックする
fact2 -> int1: あの有はクラックする; int1 & fact1 -> int2: 「あのＬモードは機能しなくて売り買いでない」ということは嘘である; int2 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ¬(¬{C}{b} & ¬{D}{b}); int2 -> hypothesis;
$facts$ = fact1: もしもあの有はクラックすれば「あのＬモードは機能するということはないし加えて売り買いでない」ということは確かでない fact2: あの有はぼやくしクラックする ; $hypothesis$ = 「「機能しないししかも売り買いでない」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> int1: あの有はクラックする; int1 & fact1 -> int2: 「あのＬモードは機能しなくて売り買いでない」ということは嘘である; int2 -> hypothesis; __PROVED__
事実1: もしもあの有はクラックすれば「あのＬモードは機能するということはないし加えて売り買いでない」ということは確かでない
事実2: あの有はぼやくしクラックする

仮説: 「「機能しないししかも売り買いでない」ということは成り立たない」ものはある
1. 事実2から、推論1: "あの有はクラックする"が導かれる
2. 推論1と事実1から、推論2: "「あのＬモードは機能しなくて売り買いでない」ということは嘘である"が導かれる
3. 推論2から、仮説が導かれる

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