そのＣＪＫは引き起こし易いということはない
fact1: もしもそのＣＪＫがばら蒔くとすると紙面である fact2: もしも「なんらかの物は引き起こし易くないしドラックしない」ということは偽ならば紙面でない fact3: そのＣＪＫはばら蒔く fact4: それは紙面であるししかもそれは来し易いというものはない fact5: この本願はばら蒔く fact6: そのＣＪＫはドラックしない
fact2 -> int1: 「そのＣＪＫは引き起こし易くないしそれはドラックしない」ということは成り立たないとすれば紙面でない; void -> assump1: 以下のように仮定する。「そのＣＪＫは引き起こし易くないしドラックしない」ということは偽だ; int1 & assump1 -> int2: そのＣＪＫは紙面でない; fact3 & fact1 -> int3: そのＣＪＫは紙面である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのＣＪＫは引き起こし易くないしかつドラックするということはない; int5 -> hypothesis;
そのＣＪＫは引き起こし易い
fact7 -> int6: 「そのノイズ除去は紙面であるし来し易い」ということは成り立たない;
$facts$ = fact1: もしもそのＣＪＫがばら蒔くとすると紙面である fact2: もしも「なんらかの物は引き起こし易くないしドラックしない」ということは偽ならば紙面でない fact3: そのＣＪＫはばら蒔く fact4: それは紙面であるししかもそれは来し易いというものはない fact5: この本願はばら蒔く fact6: そのＣＪＫはドラックしない ; $hypothesis$ = そのＣＪＫは引き起こし易いということはない ; $proof$ = 
fact2 -> int1: 「そのＣＪＫは引き起こし易くないしそれはドラックしない」ということは成り立たないとすれば紙面でない; void -> assump1: 以下のように仮定する。「そのＣＪＫは引き起こし易くないしドラックしない」ということは偽だ; int1 & assump1 -> int2: そのＣＪＫは紙面でない; fact3 & fact1 -> int3: そのＣＪＫは紙面である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのＣＪＫは引き起こし易くないしかつドラックするということはない; int5 -> hypothesis; __PROVED__
事実1: もしもそのＣＪＫがばら蒔くとすると紙面である
事実2: もしも「なんらかの物は引き起こし易くないしドラックしない」ということは偽ならば紙面でない
事実3: そのＣＪＫはばら蒔く
事実4: それは紙面であるししかもそれは来し易いというものはない
事実5: この本願はばら蒔く
事実6: そのＣＪＫはドラックしない

仮説: そのＣＪＫは引き起こし易いということはない
1. 事実2から、推論1: "「そのＣＪＫは引き起こし易くないしそれはドラックしない」ということは成り立たないとすれば紙面でない"が導かれる
2. 仮定1: 以下のように仮定する。「そのＣＪＫは引き起こし易くないしドラックしない」ということは偽だ
3. 推論1と仮定1から、推論2: "そのＣＪＫは紙面でない"が導かれる
4. 事実3と事実1から、推論3: "そのＣＪＫは紙面である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのＣＪＫは引き起こし易くないしかつドラックするということはない"が導かれる
7. 推論5から、仮説が導かれる

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