「「もしも寒ーくないとすればちっちゃくない」ものはある」ということは嘘である
fact1: 「寒ーいとすればちっちゃくない」物はある fact2: もしもその職務強要罪がちっちゃいとすればそれは逆指名しない fact3: もしあのフィロゾーフは寒ーいなら「それは交配しない」ということは確かである fact4: その職務強要罪が寒ーくないならばそれはちっちゃくない
fact4 -> hypothesis;
$facts$ = fact1: 「寒ーいとすればちっちゃくない」物はある fact2: もしもその職務強要罪がちっちゃいとすればそれは逆指名しない fact3: もしあのフィロゾーフは寒ーいなら「それは交配しない」ということは確かである fact4: その職務強要罪が寒ーくないならばそれはちっちゃくない ; $hypothesis$ = 「「もしも寒ーくないとすればちっちゃくない」ものはある」ということは嘘である ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「寒ーいとすればちっちゃくない」物はある
事実2: もしもその職務強要罪がちっちゃいとすればそれは逆指名しない
事実3: もしあのフィロゾーフは寒ーいなら「それは交配しない」ということは確かである
事実4: その職務強要罪が寒ーくないならばそれはちっちゃくない

仮説: 「「もしも寒ーくないとすればちっちゃくない」ものはある」ということは嘘である
1. 事実4から、仮説が否定される

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