あの決着は妬ましくない
fact1: もしもなにかはせせこましくないかもしくはそれは六寺であるということはないか両方ともであるならば「それはせせこましくない」ということは確かだ fact2: 仮にこの時代変化は六寺であるということはないとすれば「あの決着は徴集するかもしくは読み難くないかまたは両方だ」ということは偽である fact3: もし「何らかのものは徴集するけど読み難くない」ということは事実と異なるとしたらそれは脅さない fact4: もし仮にせせこましい物が脅すとすればこの時代変化は六寺でない fact5: 「仮に「何かは徴集するかそれは読み難くないかまたは両方ともである」ということは偽だとすればそれは妬ましくない」ということは偽でない fact6: あの決着が脅さないならばこの時代変化はせせこましくないかまたはそれは六寺であるということはないかもしくは両方ともである fact7: 「「せせこましいし脅す」物はある」ということは事実だ
fact7 & fact4 -> int1: 「この時代変化は六寺でない」ということは真実である; int1 & fact2 -> int2: 「あの決着は徴集するかあるいは読み難くないかあるいは両方だ」ということは成り立たない; fact5 -> int3: もしも「あの決着は徴集するかあるいはそれは読み難いということはないかあるいは両方ともだ」ということは間違っているならそれは妬ましくない; int2 & int3 -> hypothesis;
fact7 & fact4 -> int1: ¬{C}{a}; int1 & fact2 -> int2: ¬({E}{b} v ¬{D}{b}); fact5 -> int3: ¬({E}{b} v ¬{D}{b}) -> ¬{F}{b}; int2 & int3 -> hypothesis;
この時代変化はせせこましいということはない
fact8 -> int4: もしこの時代変化はせせこましくないかあるいは六寺でないかもしくは両方ともだとするとそれはせせこましくない; fact10 -> int5: もし「「あの決着は徴集するが読み難くない」ということは事実と異ならない」ということは事実と異なれば「脅さない」ということは成り立つ;
$facts$ = fact1: もしもなにかはせせこましくないかもしくはそれは六寺であるということはないか両方ともであるならば「それはせせこましくない」ということは確かだ fact2: 仮にこの時代変化は六寺であるということはないとすれば「あの決着は徴集するかもしくは読み難くないかまたは両方だ」ということは偽である fact3: もし「何らかのものは徴集するけど読み難くない」ということは事実と異なるとしたらそれは脅さない fact4: もし仮にせせこましい物が脅すとすればこの時代変化は六寺でない fact5: 「仮に「何かは徴集するかそれは読み難くないかまたは両方ともである」ということは偽だとすればそれは妬ましくない」ということは偽でない fact6: あの決着が脅さないならばこの時代変化はせせこましくないかまたはそれは六寺であるということはないかもしくは両方ともである fact7: 「「せせこましいし脅す」物はある」ということは事実だ ; $hypothesis$ = あの決着は妬ましくない ; $proof$ = 
fact7 & fact4 -> int1: 「この時代変化は六寺でない」ということは真実である; int1 & fact2 -> int2: 「あの決着は徴集するかあるいは読み難くないかあるいは両方だ」ということは成り立たない; fact5 -> int3: もしも「あの決着は徴集するかあるいはそれは読み難いということはないかあるいは両方ともだ」ということは間違っているならそれは妬ましくない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもなにかはせせこましくないかもしくはそれは六寺であるということはないか両方ともであるならば「それはせせこましくない」ということは確かだ
事実2: 仮にこの時代変化は六寺であるということはないとすれば「あの決着は徴集するかもしくは読み難くないかまたは両方だ」ということは偽である
事実3: もし「何らかのものは徴集するけど読み難くない」ということは事実と異なるとしたらそれは脅さない
事実4: もし仮にせせこましい物が脅すとすればこの時代変化は六寺でない
事実5: 「仮に「何かは徴集するかそれは読み難くないかまたは両方ともである」ということは偽だとすればそれは妬ましくない」ということは偽でない
事実6: あの決着が脅さないならばこの時代変化はせせこましくないかまたはそれは六寺であるということはないかもしくは両方ともである
事実7: 「「せせこましいし脅す」物はある」ということは事実だ

仮説: あの決着は妬ましくない
1. 事実7と事実4から、推論1: "「この時代変化は六寺でない」ということは真実である"が導かれる
2. 推論1と事実2から、推論2: "「あの決着は徴集するかあるいは読み難くないかあるいは両方だ」ということは成り立たない"が導かれる
3. 事実5から、推論3: "もしも「あの決着は徴集するかあるいはそれは読み難いということはないかあるいは両方ともだ」ということは間違っているならそれは妬ましくない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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