あの凍土は樅でない
fact1: その二十項目は送致しないかまたはテレビジョンだということはないかあるいは両方である fact2: なにがしかのものがテレビジョンでないならばそれは樅であるしその上送致する fact3: もし仮になにがしかのものが送致しないかあるいはテレビジョンでないかもしくは両方ともであるならあの凍土は樅だということはない fact4: その二十項目は送致するかあるいはテレビジョンでないか両方だ
fact1 -> int1: 「送致しないかあるいはテレビジョンでないかまたは両方な」物はある; int1 & fact3 -> hypothesis;
fact1 -> int1: (Ex): (¬{A}x v ¬{B}x); int1 & fact3 -> hypothesis;
あの凍土は樅である
fact5 -> int2: もしもあの凍土がテレビジョンでないなら樅でそれは送致する;
$facts$ = fact1: その二十項目は送致しないかまたはテレビジョンだということはないかあるいは両方である fact2: なにがしかのものがテレビジョンでないならばそれは樅であるしその上送致する fact3: もし仮になにがしかのものが送致しないかあるいはテレビジョンでないかもしくは両方ともであるならあの凍土は樅だということはない fact4: その二十項目は送致するかあるいはテレビジョンでないか両方だ ; $hypothesis$ = あの凍土は樅でない ; $proof$ = 
fact1 -> int1: 「送致しないかあるいはテレビジョンでないかまたは両方な」物はある; int1 & fact3 -> hypothesis; __PROVED__
事実1: その二十項目は送致しないかまたはテレビジョンだということはないかあるいは両方である
事実2: なにがしかのものがテレビジョンでないならばそれは樅であるしその上送致する
事実3: もし仮になにがしかのものが送致しないかあるいはテレビジョンでないかもしくは両方ともであるならあの凍土は樅だということはない
事実4: その二十項目は送致するかあるいはテレビジョンでないか両方だ

仮説: あの凍土は樅でない
1. 事実1から、推論1: "「送致しないかあるいはテレビジョンでないかまたは両方な」物はある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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