あの一般会計予算は薄暗くて加えて負う
fact1: 「あのアミノ酸はコインロッカーでない」ということは確かである fact2: 「あのアミノ酸はコインロッカーであるしそれに薄暗い」ということは成り立たない fact3: もしあのアミノ酸はコインロッカーでないとしたら「あの一般会計予算は薄暗いししかも負う」ということは誤っている fact4: 「あの無形資産は薄暗くない」ということは本当である fact5: 「あの一般会計予算はコインロッカーで負う」ということは間違いだ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: 「あのアミノ酸はコインロッカーでない」ということは確かである fact2: 「あのアミノ酸はコインロッカーであるしそれに薄暗い」ということは成り立たない fact3: もしあのアミノ酸はコインロッカーでないとしたら「あの一般会計予算は薄暗いししかも負う」ということは誤っている fact4: 「あの無形資産は薄暗くない」ということは本当である fact5: 「あの一般会計予算はコインロッカーで負う」ということは間違いだ ; $hypothesis$ = あの一般会計予算は薄暗くて加えて負う ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あのアミノ酸はコインロッカーでない」ということは確かである
事実2: 「あのアミノ酸はコインロッカーであるしそれに薄暗い」ということは成り立たない
事実3: もしあのアミノ酸はコインロッカーでないとしたら「あの一般会計予算は薄暗いししかも負う」ということは誤っている
事実4: 「あの無形資産は薄暗くない」ということは本当である
事実5: 「あの一般会計予算はコインロッカーで負う」ということは間違いだ

仮説: あの一般会計予算は薄暗くて加えて負う
1. 事実3と事実1から、仮説が否定される

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