「「このアンドは名残惜しくないけど御辛い」ということは事実だ」ということは偽である
fact1: もし仮にこの型指定子は明るまないとしたら「その非才は夏だけどシコク稗でない」ということは成り立たない fact2: もしも「その非才はシコク稗である」ということは本当ならばこの型指定子は夏でない fact3: 仮に何らかの物はシコク稗であるということはないとすると「それは名残惜しくないし御辛い」ということは嘘だ fact4: 仮に「なにかはシコク稗でなくて夏でない」ということは誤っているとしたらシコク稗である fact5: もしもこの型指定子が夏でないならばこのアンドは名残惜しくないけれどそれは御辛い fact6: なんらかの物はシコク稗であるならそれは懐かしということはないが晴々しい fact7: その非才はシコク稗だ fact8: 御優しくないものは明るまない
fact2 & fact7 -> int1: この型指定子は夏でない; int1 & fact5 -> hypothesis;
「このアンドは名残惜しくないけれど御辛い」ということは成り立たない
fact10 -> int2: 「このアンドはシコク稗でない」ということは成り立つとすると「名残惜しいということはなくてまたそれは御辛い」ということは成り立たない; fact11 -> int3: もしこの型指定子が御優しくないなら明るまない;
$facts$ = fact1: もし仮にこの型指定子は明るまないとしたら「その非才は夏だけどシコク稗でない」ということは成り立たない fact2: もしも「その非才はシコク稗である」ということは本当ならばこの型指定子は夏でない fact3: 仮に何らかの物はシコク稗であるということはないとすると「それは名残惜しくないし御辛い」ということは嘘だ fact4: 仮に「なにかはシコク稗でなくて夏でない」ということは誤っているとしたらシコク稗である fact5: もしもこの型指定子が夏でないならばこのアンドは名残惜しくないけれどそれは御辛い fact6: なんらかの物はシコク稗であるならそれは懐かしということはないが晴々しい fact7: その非才はシコク稗だ fact8: 御優しくないものは明るまない ; $hypothesis$ = 「「このアンドは名残惜しくないけど御辛い」ということは事実だ」ということは偽である ; $proof$ = 
fact2 & fact7 -> int1: この型指定子は夏でない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にこの型指定子は明るまないとしたら「その非才は夏だけどシコク稗でない」ということは成り立たない
事実2: もしも「その非才はシコク稗である」ということは本当ならばこの型指定子は夏でない
事実3: 仮に何らかの物はシコク稗であるということはないとすると「それは名残惜しくないし御辛い」ということは嘘だ
事実4: 仮に「なにかはシコク稗でなくて夏でない」ということは誤っているとしたらシコク稗である
事実5: もしもこの型指定子が夏でないならばこのアンドは名残惜しくないけれどそれは御辛い
事実6: なんらかの物はシコク稗であるならそれは懐かしということはないが晴々しい
事実7: その非才はシコク稗だ
事実8: 御優しくないものは明るまない

仮説: 「「このアンドは名残惜しくないけど御辛い」ということは事実だ」ということは偽である
1. 事実2と事実7から、推論1: "この型指定子は夏でない"が導かれる
2. 推論1と事実5から、仮説が否定される

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