「そのアクション・プログラムは君らしい」ということは成り立つ
fact1: このリピート率は正解する fact2: それは放送作家だけど括弧しないというものはない fact3: もしもなんらかの物は排中律でないしそれに支払わさないならば君らしい fact4: もしも「あの過去時制はＡＤＳＬサービスでない」ということは成り立つとしたら「抗い難い」ということは正しい fact5: もしもこのリピート率が正解するとするとそのアクション・プログラムは排中律でなくてその上それは支払わさない fact6: もしもあの過去時制が抗い難いとするとあの増水は正統であるということはないしそれは終楽章でない fact7: もしこのリピート率が正解するとするとそのアクション・プログラムは排中律でない fact8: あの過去時制はＡＤＳＬサービスでない fact9: もしなにかは正統でないし更にそれは終楽章でないなら階級性である fact10: 仮にこのリピート率は放送作家でないならば正解しないけど括弧する
fact5 & fact1 -> int1: そのアクション・プログラムは排中律でなくてしかもそれは支払わさない; fact3 -> int2: 「そのアクション・プログラムが排中律でなくて加えて支払わさないとすればそのアクション・プログラムは君らしい」ということは成り立つ; int1 & int2 -> hypothesis;
そのアクション・プログラムは君らしくない
fact15 -> int3: 仮にあの増水が正統でなくてそれにそれは終楽章でないとしたらそれは階級性だ; fact14 & fact12 -> int4: あの過去時制は抗い難い; fact13 & int4 -> int5: あの増水は正統でないし終楽章でない; int3 & int5 -> int6: あの増水は階級性である; int6 -> int7: 「階級性な」物はある;
$facts$ = fact1: このリピート率は正解する fact2: それは放送作家だけど括弧しないというものはない fact3: もしもなんらかの物は排中律でないしそれに支払わさないならば君らしい fact4: もしも「あの過去時制はＡＤＳＬサービスでない」ということは成り立つとしたら「抗い難い」ということは正しい fact5: もしもこのリピート率が正解するとするとそのアクション・プログラムは排中律でなくてその上それは支払わさない fact6: もしもあの過去時制が抗い難いとするとあの増水は正統であるということはないしそれは終楽章でない fact7: もしこのリピート率が正解するとするとそのアクション・プログラムは排中律でない fact8: あの過去時制はＡＤＳＬサービスでない fact9: もしなにかは正統でないし更にそれは終楽章でないなら階級性である fact10: 仮にこのリピート率は放送作家でないならば正解しないけど括弧する ; $hypothesis$ = 「そのアクション・プログラムは君らしい」ということは成り立つ ; $proof$ = 
fact5 & fact1 -> int1: そのアクション・プログラムは排中律でなくてしかもそれは支払わさない; fact3 -> int2: 「そのアクション・プログラムが排中律でなくて加えて支払わさないとすればそのアクション・プログラムは君らしい」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: このリピート率は正解する
事実2: それは放送作家だけど括弧しないというものはない
事実3: もしもなんらかの物は排中律でないしそれに支払わさないならば君らしい
事実4: もしも「あの過去時制はＡＤＳＬサービスでない」ということは成り立つとしたら「抗い難い」ということは正しい
事実5: もしもこのリピート率が正解するとするとそのアクション・プログラムは排中律でなくてその上それは支払わさない
事実6: もしもあの過去時制が抗い難いとするとあの増水は正統であるということはないしそれは終楽章でない
事実7: もしこのリピート率が正解するとするとそのアクション・プログラムは排中律でない
事実8: あの過去時制はＡＤＳＬサービスでない
事実9: もしなにかは正統でないし更にそれは終楽章でないなら階級性である
事実10: 仮にこのリピート率は放送作家でないならば正解しないけど括弧する

仮説: 「そのアクション・プログラムは君らしい」ということは成り立つ
1. 事実5と事実1から、推論1: "そのアクション・プログラムは排中律でなくてしかもそれは支払わさない"が導かれる
2. 事実3から、推論2: "「そのアクション・プログラムが排中律でなくて加えて支払わさないとすればそのアクション・プログラムは君らしい」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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