仮にその多寡は波長域でないとすると「そのＣＵＩは徴税でない」ということは事実だ
fact1: 「その多寡は徴税であるということはないけれど見過ぎる」ということは誤りならばあのＣＵＩは備う fact2: もしそのＣＵＩは徴税でないならば「それは見過ぎるししかも波長域である」ということは嘘だ fact3: 「その多寡は備うないがそれは見過ぎる」ということは事実と異なるならそのＣＵＩは徴税であるということはない fact4: もし仮にその多寡が備うないとしたらそのＣＵＩは見過ぎない fact5: そのＣＵＩは徴税である fact6: 仮にそのＣＵＩは備うないとすれば「それは波長域であるしさらに徴税である」ということは間違いである fact7: もしもそのＣＵＩは備うないとしたら「その多寡は徴税でない」ということは真実だ fact8: もし仮に「その多寡は徴税でない一方で備う」ということは間違っているとするとそのＣＵＩは波長域でない fact9: もし何かは波長域でないとすれば「個人別だということはないがしかし覚え難い」ということは成り立たない fact10: もし仮に「その多寡は波長域でない」ということは真実であるなら「備うないけど見過ぎる」ということは成り立たない
void -> assump1: 以下のように仮定する。その多寡は波長域でない; fact10 & assump1 -> int1: 「その多寡は備うない一方で見過ぎる」ということは成り立たない; int1 & fact3 -> int2: そのＣＵＩは徴税でない; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact10 & assump1 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact3 -> int2: ¬{B}{b}; [assump1] & int2 -> hypothesis;
「この咳嗽は個人別だということはないが覚え難い」ということは間違っている
fact11 -> int3: もし仮にこの咳嗽は波長域だということはないとすると「それは個人別でなくてそれにそれは覚え難い」ということは偽だ;
$facts$ = fact1: 「その多寡は徴税であるということはないけれど見過ぎる」ということは誤りならばあのＣＵＩは備う fact2: もしそのＣＵＩは徴税でないならば「それは見過ぎるししかも波長域である」ということは嘘だ fact3: 「その多寡は備うないがそれは見過ぎる」ということは事実と異なるならそのＣＵＩは徴税であるということはない fact4: もし仮にその多寡が備うないとしたらそのＣＵＩは見過ぎない fact5: そのＣＵＩは徴税である fact6: 仮にそのＣＵＩは備うないとすれば「それは波長域であるしさらに徴税である」ということは間違いである fact7: もしもそのＣＵＩは備うないとしたら「その多寡は徴税でない」ということは真実だ fact8: もし仮に「その多寡は徴税でない一方で備う」ということは間違っているとするとそのＣＵＩは波長域でない fact9: もし何かは波長域でないとすれば「個人別だということはないがしかし覚え難い」ということは成り立たない fact10: もし仮に「その多寡は波長域でない」ということは真実であるなら「備うないけど見過ぎる」ということは成り立たない ; $hypothesis$ = 仮にその多寡は波長域でないとすると「そのＣＵＩは徴税でない」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その多寡は波長域でない; fact10 & assump1 -> int1: 「その多寡は備うない一方で見過ぎる」ということは成り立たない; int1 & fact3 -> int2: そのＣＵＩは徴税でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「その多寡は徴税であるということはないけれど見過ぎる」ということは誤りならばあのＣＵＩは備う
事実2: もしそのＣＵＩは徴税でないならば「それは見過ぎるししかも波長域である」ということは嘘だ
事実3: 「その多寡は備うないがそれは見過ぎる」ということは事実と異なるならそのＣＵＩは徴税であるということはない
事実4: もし仮にその多寡が備うないとしたらそのＣＵＩは見過ぎない
事実5: そのＣＵＩは徴税である
事実6: 仮にそのＣＵＩは備うないとすれば「それは波長域であるしさらに徴税である」ということは間違いである
事実7: もしもそのＣＵＩは備うないとしたら「その多寡は徴税でない」ということは真実だ
事実8: もし仮に「その多寡は徴税でない一方で備う」ということは間違っているとするとそのＣＵＩは波長域でない
事実9: もし何かは波長域でないとすれば「個人別だということはないがしかし覚え難い」ということは成り立たない
事実10: もし仮に「その多寡は波長域でない」ということは真実であるなら「備うないけど見過ぎる」ということは成り立たない

仮説: 仮にその多寡は波長域でないとすると「そのＣＵＩは徴税でない」ということは事実だ
1. 仮定1: 以下のように仮定する。その多寡は波長域でない
2. 事実10と仮定1から、推論1: "「その多寡は備うない一方で見過ぎる」ということは成り立たない"が導かれる
3. 推論1と事実3から、推論2: "そのＣＵＩは徴税でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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