この補償金等は製作する一方で御約束しない
fact1: もし仮に何らかのものは見辛くないとすると「それは挟み込むかもしくはそれは救い出すかもしくは両方ともである」ということは間違いである fact2: あの経時変化はプロフィールページでない fact3: あの純外れは作り込まないが三昧堂だ fact4: 仮にあの経時変化はプロフィールページでないなら「あの縦書きは見辛くない」ということは確かだ fact5: 「あの縦書きは挟み込むかあるいはそれは救い出すかもしくは両方だ」ということは間違っているとするとこの伝馬は止む無くない fact6: もし「あの純外れは作り込むということはない一方で三昧堂である」ということは成り立つとすると製作しない fact7: もしなにかは扮しないかあるいは集光しないかどちらもであるならばそれは煩くない fact8: あの純外れは座乗しないとすると「この補償金等は製作するがそれは御約束するということはない」ということは成り立つということはない fact9: 「この補償金等は御約束しない」ということは成り立つ fact10: とある物は止む無くないならば「それは冬らしくないしまた干し椎茸であるということはない」ということは偽だ fact11: もし「何らかのものは冬らしくないしその上干し椎茸でない」ということは成り立たないとしたらそれは発達するということはない fact12: もしもあの純外れが製作しないとしたらこの補償金等は製作するが御約束しない fact13: 仮にこの伝馬が発達しないとすればあの猛攻は扮しないかもしくは集光しないかもしくはどちらもだ fact14: もし仮に「何らかの物は煩くて座乗する」ということは成り立たないとするとそれは座乗するということはない
fact6 & fact3 -> int1: あの純外れは製作しない; int1 & fact12 -> hypothesis;
fact6 & fact3 -> int1: ¬{B}{a}; int1 & fact12 -> hypothesis;
「この補償金等は製作するがしかしそれは御約束するということはない」ということは誤りだ
fact21 -> int2: もし仮に「あの純外れは煩くて座乗する」ということは確かでないならそれは座乗しない; fact22 -> int3: もしもあの猛攻は扮しないかあるいは集光しないかまたは両方であるならば煩くない; fact15 -> int4: もしも「この伝馬は冬らしいということはないしさらに干し椎茸でない」ということは成り立つということはないとすれば発達しない; fact19 -> int5: この伝馬は止む無しということはないとしたら「それは冬らしいということはなくてしかも干し椎茸でない」ということは嘘だ; fact16 -> int6: もし仮にあの縦書きは見辛くないとすると「それは挟み込むか救い出すかあるいは両方である」ということは嘘だ; fact18 & fact17 -> int7: あの縦書きは見辛くない; int6 & int7 -> int8: 「あの縦書きは挟み込むか救い出す」ということは間違いだ; fact20 & int8 -> int9: この伝馬は止む無くない; int5 & int9 -> int10: 「この伝馬は冬らしくないしおまけにそれは干し椎茸でない」ということは真実でない; int4 & int10 -> int11: この伝馬は発達しない; fact24 & int11 -> int12: あの猛攻は扮しないか集光するということはないかあるいはどちらもである; int3 & int12 -> int13: あの猛攻は煩くない; int13 -> int14: 「煩くない」ものはある;
$facts$ = fact1: もし仮に何らかのものは見辛くないとすると「それは挟み込むかもしくはそれは救い出すかもしくは両方ともである」ということは間違いである fact2: あの経時変化はプロフィールページでない fact3: あの純外れは作り込まないが三昧堂だ fact4: 仮にあの経時変化はプロフィールページでないなら「あの縦書きは見辛くない」ということは確かだ fact5: 「あの縦書きは挟み込むかあるいはそれは救い出すかもしくは両方だ」ということは間違っているとするとこの伝馬は止む無くない fact6: もし「あの純外れは作り込むということはない一方で三昧堂である」ということは成り立つとすると製作しない fact7: もしなにかは扮しないかあるいは集光しないかどちらもであるならばそれは煩くない fact8: あの純外れは座乗しないとすると「この補償金等は製作するがそれは御約束するということはない」ということは成り立つということはない fact9: 「この補償金等は御約束しない」ということは成り立つ fact10: とある物は止む無くないならば「それは冬らしくないしまた干し椎茸であるということはない」ということは偽だ fact11: もし「何らかのものは冬らしくないしその上干し椎茸でない」ということは成り立たないとしたらそれは発達するということはない fact12: もしもあの純外れが製作しないとしたらこの補償金等は製作するが御約束しない fact13: 仮にこの伝馬が発達しないとすればあの猛攻は扮しないかもしくは集光しないかもしくはどちらもだ fact14: もし仮に「何らかの物は煩くて座乗する」ということは成り立たないとするとそれは座乗するということはない ; $hypothesis$ = この補償金等は製作する一方で御約束しない ; $proof$ = 
fact6 & fact3 -> int1: あの純外れは製作しない; int1 & fact12 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは見辛くないとすると「それは挟み込むかもしくはそれは救い出すかもしくは両方ともである」ということは間違いである
事実2: あの経時変化はプロフィールページでない
事実3: あの純外れは作り込まないが三昧堂だ
事実4: 仮にあの経時変化はプロフィールページでないなら「あの縦書きは見辛くない」ということは確かだ
事実5: 「あの縦書きは挟み込むかあるいはそれは救い出すかもしくは両方だ」ということは間違っているとするとこの伝馬は止む無くない
事実6: もし「あの純外れは作り込むということはない一方で三昧堂である」ということは成り立つとすると製作しない
事実7: もしなにかは扮しないかあるいは集光しないかどちらもであるならばそれは煩くない
事実8: あの純外れは座乗しないとすると「この補償金等は製作するがそれは御約束するということはない」ということは成り立つということはない
事実9: 「この補償金等は御約束しない」ということは成り立つ
事実10: とある物は止む無くないならば「それは冬らしくないしまた干し椎茸であるということはない」ということは偽だ
事実11: もし「何らかのものは冬らしくないしその上干し椎茸でない」ということは成り立たないとしたらそれは発達するということはない
事実12: もしもあの純外れが製作しないとしたらこの補償金等は製作するが御約束しない
事実13: 仮にこの伝馬が発達しないとすればあの猛攻は扮しないかもしくは集光しないかもしくはどちらもだ
事実14: もし仮に「何らかの物は煩くて座乗する」ということは成り立たないとするとそれは座乗するということはない

仮説: この補償金等は製作する一方で御約束しない
1. 事実6と事実3から、推論1: "あの純外れは製作しない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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