この御声は晴々しかない
fact1: もしあの退屈凌ぎが恐ろしいということはないならば愚かしい fact2: あの退屈凌ぎは恐ろしくない fact3: もしこの精嚢が百四十一参照であるとすればこの御声は晴々しい fact4: 「仰々しくない」物はある fact5: 仮にあの退屈凌ぎが愚かしいならばこの精嚢は百四十一参照である fact6: なにがしかのものは忌みであるとしたらそれは欠格である fact7: 欠格は愚かしくないかあるいは百四十一参照であるかまたは両方だ fact8: あの退屈凌ぎが愚かしくないかそれが百四十一参照であるかあるいは両方であるならばあの御声は愚かしくない
fact1 & fact2 -> int1: あの退屈凌ぎは愚かしい; int1 & fact5 -> int2: この精嚢は百四十一参照だ; int2 & fact3 -> hypothesis;
この御声は晴々しかない
fact10 -> int3: もしもあの退屈凌ぎが欠格だとすれば愚かしくないかもしくは百四十一参照であるかあるいは両方ともだ; fact12 -> int4: もしも「あの退屈凌ぎは忌みだ」ということは成り立つならそれは欠格である;
$facts$ = fact1: もしあの退屈凌ぎが恐ろしいということはないならば愚かしい fact2: あの退屈凌ぎは恐ろしくない fact3: もしこの精嚢が百四十一参照であるとすればこの御声は晴々しい fact4: 「仰々しくない」物はある fact5: 仮にあの退屈凌ぎが愚かしいならばこの精嚢は百四十一参照である fact6: なにがしかのものは忌みであるとしたらそれは欠格である fact7: 欠格は愚かしくないかあるいは百四十一参照であるかまたは両方だ fact8: あの退屈凌ぎが愚かしくないかそれが百四十一参照であるかあるいは両方であるならばあの御声は愚かしくない ; $hypothesis$ = この御声は晴々しかない ; $proof$ = 
fact1 & fact2 -> int1: あの退屈凌ぎは愚かしい; int1 & fact5 -> int2: この精嚢は百四十一参照だ; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしあの退屈凌ぎが恐ろしいということはないならば愚かしい
事実2: あの退屈凌ぎは恐ろしくない
事実3: もしこの精嚢が百四十一参照であるとすればこの御声は晴々しい
事実4: 「仰々しくない」物はある
事実5: 仮にあの退屈凌ぎが愚かしいならばこの精嚢は百四十一参照である
事実6: なにがしかのものは忌みであるとしたらそれは欠格である
事実7: 欠格は愚かしくないかあるいは百四十一参照であるかまたは両方だ
事実8: あの退屈凌ぎが愚かしくないかそれが百四十一参照であるかあるいは両方であるならばあの御声は愚かしくない

仮説: この御声は晴々しかない
1. 事実1と事実2から、推論1: "あの退屈凌ぎは愚かしい"が導かれる
2. 推論1と事実5から、推論2: "この精嚢は百四十一参照だ"が導かれる
3. 推論2と事実3から、仮説が否定される

よって、仮説が否定されました。