あの自棄っぱちはヨードであるということはない
fact1: あの自棄っぱちは悲し fact2: 仮にあの自棄っぱちが悲しとすると与え方である fact3: 仮にあの自棄っぱちが悲しとするとヨードだ fact4: あの自棄っぱちは小さいならば「それは怖い」ということは事実と異ならない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: あの自棄っぱちは悲し fact2: 仮にあの自棄っぱちが悲しとすると与え方である fact3: 仮にあの自棄っぱちが悲しとするとヨードだ fact4: あの自棄っぱちは小さいならば「それは怖い」ということは事実と異ならない ; $hypothesis$ = あの自棄っぱちはヨードであるということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: あの自棄っぱちは悲し
事実2: 仮にあの自棄っぱちが悲しとすると与え方である
事実3: 仮にあの自棄っぱちが悲しとするとヨードだ
事実4: あの自棄っぱちは小さいならば「それは怖い」ということは事実と異ならない

仮説: あの自棄っぱちはヨードであるということはない
1. 事実3と事実1から、仮説が否定される

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