「その錦鯉は選択眼でないしまた涼しかない」ということは間違いである
fact1: この予科練は処分出来ない fact2: 「あるものは処分出来ない一方で後ろ暗い」ということは正しくないならそれは後ろ暗いということはない fact3: 「「その錦鯉は選択眼でないがしかしそれは涼しい」ということは正しい」ということは確かであるということはない fact4: 「その錦鯉は後ろ暗くない」ということは成り立つ fact5: ある物は御出で成さない fact6: もしあのＶＨが後ろ暗くないならばその錦鯉は後ろ暗くない fact7: 「「その錦鯉は選択眼だがしかし涼しかない」ということは間違いだ」ということは正しい fact8: なにがしかの物は愛玩しないとしたら「それは処分出来なくてそれは後ろ暗い」ということは偽である fact9: もしこの予科練が処分出来ないなら後ろ暗いかもしくは愛玩しない fact10: もしあの集会が涼しかないとすればシータ波でない fact11: 後ろ暗いということはないものはクリック時であるかまたは涼しかないか両方ともだ fact12: もしも「そのリは御寂しくないけれど読誦する」ということは成り立たないとすればあのＶＨはちょろい fact13: もしもちょろい物は闘争委員会であるとしたら愛玩するということはない fact14: 何らかの物は愛玩しないとしたら「選択眼でない」ということは成り立つ fact15: もし仮に「「その錦鯉は愛玩するしさらに選択眼である」ということは本当である」ということは偽だとすれば「この免停は後ろ暗くない」ということは事実だ fact16: もし仮にこの予科練は選択眼だということはないとしたら「その錦鯉は選択眼でないしそれに涼しかない」ということは成り立つということはない fact17: 後ろ暗い物は選択眼でない fact18: 仮に「御出で成さない」ものはあれば「そのリは御寂しくないけれど読誦する」ということは誤っている fact19: もしもこの予科練が後ろ暗いとすればそれは選択眼だ
fact14 -> int1: もしもこの予科練が愛玩しないなら選択眼でない; fact1 & fact9 -> int2: この予科練は後ろ暗いかまたは愛玩しない; fact17 -> int3: もし「この予科練は後ろ暗い」ということは成り立つとすると選択眼でない; int1 & int2 & int3 -> int4: この予科練は選択眼だということはない; int4 & fact16 -> hypothesis;
fact14 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact1 & fact9 -> int2: ({A}{aa} v ¬{B}{aa}); fact17 -> int3: {A}{aa} -> ¬{C}{aa}; int1 & int2 & int3 -> int4: ¬{C}{aa}; int4 & fact16 -> hypothesis;
この免停はクリック時であるかあるいは涼しかないかまたは両方ともだ
fact20 -> int5: もし仮にこの免停が後ろ暗くないならクリック時であるかあるいはそれは涼しかない;
$facts$ = fact1: この予科練は処分出来ない fact2: 「あるものは処分出来ない一方で後ろ暗い」ということは正しくないならそれは後ろ暗いということはない fact3: 「「その錦鯉は選択眼でないがしかしそれは涼しい」ということは正しい」ということは確かであるということはない fact4: 「その錦鯉は後ろ暗くない」ということは成り立つ fact5: ある物は御出で成さない fact6: もしあのＶＨが後ろ暗くないならばその錦鯉は後ろ暗くない fact7: 「「その錦鯉は選択眼だがしかし涼しかない」ということは間違いだ」ということは正しい fact8: なにがしかの物は愛玩しないとしたら「それは処分出来なくてそれは後ろ暗い」ということは偽である fact9: もしこの予科練が処分出来ないなら後ろ暗いかもしくは愛玩しない fact10: もしあの集会が涼しかないとすればシータ波でない fact11: 後ろ暗いということはないものはクリック時であるかまたは涼しかないか両方ともだ fact12: もしも「そのリは御寂しくないけれど読誦する」ということは成り立たないとすればあのＶＨはちょろい fact13: もしもちょろい物は闘争委員会であるとしたら愛玩するということはない fact14: 何らかの物は愛玩しないとしたら「選択眼でない」ということは成り立つ fact15: もし仮に「「その錦鯉は愛玩するしさらに選択眼である」ということは本当である」ということは偽だとすれば「この免停は後ろ暗くない」ということは事実だ fact16: もし仮にこの予科練は選択眼だということはないとしたら「その錦鯉は選択眼でないしそれに涼しかない」ということは成り立つということはない fact17: 後ろ暗い物は選択眼でない fact18: 仮に「御出で成さない」ものはあれば「そのリは御寂しくないけれど読誦する」ということは誤っている fact19: もしもこの予科練が後ろ暗いとすればそれは選択眼だ ; $hypothesis$ = 「その錦鯉は選択眼でないしまた涼しかない」ということは間違いである ; $proof$ = 
fact14 -> int1: もしもこの予科練が愛玩しないなら選択眼でない; fact1 & fact9 -> int2: この予科練は後ろ暗いかまたは愛玩しない; fact17 -> int3: もし「この予科練は後ろ暗い」ということは成り立つとすると選択眼でない; int1 & int2 & int3 -> int4: この予科練は選択眼だということはない; int4 & fact16 -> hypothesis; __PROVED__
事実1: この予科練は処分出来ない
事実2: 「あるものは処分出来ない一方で後ろ暗い」ということは正しくないならそれは後ろ暗いということはない
事実3: 「「その錦鯉は選択眼でないがしかしそれは涼しい」ということは正しい」ということは確かであるということはない
事実4: 「その錦鯉は後ろ暗くない」ということは成り立つ
事実5: ある物は御出で成さない
事実6: もしあのＶＨが後ろ暗くないならばその錦鯉は後ろ暗くない
事実7: 「「その錦鯉は選択眼だがしかし涼しかない」ということは間違いだ」ということは正しい
事実8: なにがしかの物は愛玩しないとしたら「それは処分出来なくてそれは後ろ暗い」ということは偽である
事実9: もしこの予科練が処分出来ないなら後ろ暗いかもしくは愛玩しない
事実10: もしあの集会が涼しかないとすればシータ波でない
事実11: 後ろ暗いということはないものはクリック時であるかまたは涼しかないか両方ともだ
事実12: もしも「そのリは御寂しくないけれど読誦する」ということは成り立たないとすればあのＶＨはちょろい
事実13: もしもちょろい物は闘争委員会であるとしたら愛玩するということはない
事実14: 何らかの物は愛玩しないとしたら「選択眼でない」ということは成り立つ
事実15: もし仮に「「その錦鯉は愛玩するしさらに選択眼である」ということは本当である」ということは偽だとすれば「この免停は後ろ暗くない」ということは事実だ
事実16: もし仮にこの予科練は選択眼だということはないとしたら「その錦鯉は選択眼でないしそれに涼しかない」ということは成り立つということはない
事実17: 後ろ暗い物は選択眼でない
事実18: 仮に「御出で成さない」ものはあれば「そのリは御寂しくないけれど読誦する」ということは誤っている
事実19: もしもこの予科練が後ろ暗いとすればそれは選択眼だ

仮説: 「その錦鯉は選択眼でないしまた涼しかない」ということは間違いである
1. 事実14から、推論1: "もしもこの予科練が愛玩しないなら選択眼でない"が導かれる
2. 事実1と事実9から、推論2: "この予科練は後ろ暗いかまたは愛玩しない"が導かれる
3. 事実17から、推論3: "もし「この予科練は後ろ暗い」ということは成り立つとすると選択眼でない"が導かれる
4. 推論1と推論2と推論3から、推論4: "この予科練は選択眼だということはない"が導かれる
5. 推論4と事実16から、仮説が導かれる

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