この不適合元素は洒落臭いか汚らわしい
fact1: もしなにがしかのものが新嘗祭りならばそれは汚らわしい fact2: もし仮にその眼力が増上でないとしたらこの不適合元素は新嘗祭りだ fact3: その眼力は増上でない
fact2 & fact3 -> int1: この不適合元素は新嘗祭りだ; fact1 -> int2: この不適合元素が新嘗祭りだとすれば汚らわしい; int1 & int2 -> int3: この不適合元素は汚らわしい; int3 -> hypothesis;
$facts$ = fact1: もしなにがしかのものが新嘗祭りならばそれは汚らわしい fact2: もし仮にその眼力が増上でないとしたらこの不適合元素は新嘗祭りだ fact3: その眼力は増上でない ; $hypothesis$ = この不適合元素は洒落臭いか汚らわしい ; $proof$ = 
fact2 & fact3 -> int1: この不適合元素は新嘗祭りだ; fact1 -> int2: この不適合元素が新嘗祭りだとすれば汚らわしい; int1 & int2 -> int3: この不適合元素は汚らわしい; int3 -> hypothesis; __PROVED__
事実1: もしなにがしかのものが新嘗祭りならばそれは汚らわしい
事実2: もし仮にその眼力が増上でないとしたらこの不適合元素は新嘗祭りだ
事実3: その眼力は増上でない

仮説: この不適合元素は洒落臭いか汚らわしい
1. 事実2と事実3から、推論1: "この不適合元素は新嘗祭りだ"が導かれる
2. 事実1から、推論2: "この不適合元素が新嘗祭りだとすれば汚らわしい"が導かれる
3. 推論1と推論2から、推論3: "この不適合元素は汚らわしい"が導かれる
4. 推論3から、仮説が導かれる

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