そのチェック・シートは特約しない一方で削除す
fact1: 「「スケッチ画な」ものはある」ということは成り立つ fact2: もしそのチェック・シートがスケッチ画ならば特約するということはないしそれは削除す fact3: もしもなにかはスケッチ画だとすると「そのチェック・シートは特約しないがしかし削除す」ということは間違いである fact4: もしも何らかの物はスケッチ画だとしたら「そのチェック・シートが特約するしその上それは削除す」ということは偽である fact5: 「削除す」ものはある fact6: 考え深い物はスケッチ画だ fact7: 「そのチェック・シートは特約するし加えてそれは削除す」ということは間違いだ
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
そのチェック・シートは特約しないけれど削除す
fact8 -> int1: もしそのチェック・シートが考え深いとしたらそれはスケッチ画である;
$facts$ = fact1: 「「スケッチ画な」ものはある」ということは成り立つ fact2: もしそのチェック・シートがスケッチ画ならば特約するということはないしそれは削除す fact3: もしもなにかはスケッチ画だとすると「そのチェック・シートは特約しないがしかし削除す」ということは間違いである fact4: もしも何らかの物はスケッチ画だとしたら「そのチェック・シートが特約するしその上それは削除す」ということは偽である fact5: 「削除す」ものはある fact6: 考え深い物はスケッチ画だ fact7: 「そのチェック・シートは特約するし加えてそれは削除す」ということは間違いだ ; $hypothesis$ = そのチェック・シートは特約しない一方で削除す ; $proof$ = 
fact1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「「スケッチ画な」ものはある」ということは成り立つ
事実2: もしそのチェック・シートがスケッチ画ならば特約するということはないしそれは削除す
事実3: もしもなにかはスケッチ画だとすると「そのチェック・シートは特約しないがしかし削除す」ということは間違いである
事実4: もしも何らかの物はスケッチ画だとしたら「そのチェック・シートが特約するしその上それは削除す」ということは偽である
事実5: 「削除す」ものはある
事実6: 考え深い物はスケッチ画だ
事実7: 「そのチェック・シートは特約するし加えてそれは削除す」ということは間違いだ

仮説: そのチェック・シートは特約しない一方で削除す
1. 事実1と事実3から、仮説が否定される

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