「その尻臀はぼろいということはないが弁解がましい」ということは成り立たない
fact1: 「このマウス入力は滅する」ということは成り立つ fact2: もしも「なにかは蓼科であるが滅しない」ということは誤っているとすると弁解がましかない fact3: 「もしもこのマウス入力が弁解はましくらないとすると「その尻臀はぼろくないがそれは弁解がましい」ということは嘘である」ということは本当だ
void -> assump1: 以下のように仮定する。このマウス入力は蓼科だ一方で滅しない; assump1 -> int1: このマウス入力は滅しない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このマウス入力は蓼科であるけどそれは滅しない」ということは偽だ; fact2 -> int4: もしも「「このマウス入力は蓼科だけれどそれは滅しない」ということは真実でない」ということは事実であるとしたら弁解がましかない; int3 & int4 -> int5: このマウス入力は弁解がましかない; int5 & fact3 -> hypothesis;
$facts$ = fact1: 「このマウス入力は滅する」ということは成り立つ fact2: もしも「なにかは蓼科であるが滅しない」ということは誤っているとすると弁解がましかない fact3: 「もしもこのマウス入力が弁解はましくらないとすると「その尻臀はぼろくないがそれは弁解がましい」ということは嘘である」ということは本当だ ; $hypothesis$ = 「その尻臀はぼろいということはないが弁解がましい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このマウス入力は蓼科だ一方で滅しない; assump1 -> int1: このマウス入力は滅しない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このマウス入力は蓼科であるけどそれは滅しない」ということは偽だ; fact2 -> int4: もしも「「このマウス入力は蓼科だけれどそれは滅しない」ということは真実でない」ということは事実であるとしたら弁解がましかない; int3 & int4 -> int5: このマウス入力は弁解がましかない; int5 & fact3 -> hypothesis; __PROVED__
事実1: 「このマウス入力は滅する」ということは成り立つ
事実2: もしも「なにかは蓼科であるが滅しない」ということは誤っているとすると弁解がましかない
事実3: 「もしもこのマウス入力が弁解はましくらないとすると「その尻臀はぼろくないがそれは弁解がましい」ということは嘘である」ということは本当だ

仮説: 「その尻臀はぼろいということはないが弁解がましい」ということは成り立たない
1. 仮定1: 以下のように仮定する。このマウス入力は蓼科だ一方で滅しない
2. 仮定1から、推論1: "このマウス入力は滅しない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「このマウス入力は蓼科であるけどそれは滅しない」ということは偽だ"が導かれる
5. 事実2から、推論4: "もしも「「このマウス入力は蓼科だけれどそれは滅しない」ということは真実でない」ということは事実であるとしたら弁解がましかない"が導かれる
6. 推論3と推論4から、推論5: "このマウス入力は弁解がましかない"が導かれる
7. 推論5と事実3から、仮説が導かれる

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