「仮にその山車行列が熱し易くないならその山車行列はバシリカ形式だ」ということは偽だ
fact1: もしある物はレモン汁であるならば「それは委譲しない」ということは成り立たない fact2: もし仮にとあるものが結論付けるならそれは生殖医療である fact3: もしその山車行列が掻き消さないとしたら熱し易い fact4: もしもなにがしかの物がエスならば受け易い fact5: もしもその山車行列が熱し易いとすればそれはバシリカ形式だ fact6: もし仮にその山車行列が固くないとしたら目敏い fact7: 熱し易くないものはバシリカ形式だ
fact7 -> hypothesis;
$facts$ = fact1: もしある物はレモン汁であるならば「それは委譲しない」ということは成り立たない fact2: もし仮にとあるものが結論付けるならそれは生殖医療である fact3: もしその山車行列が掻き消さないとしたら熱し易い fact4: もしもなにがしかの物がエスならば受け易い fact5: もしもその山車行列が熱し易いとすればそれはバシリカ形式だ fact6: もし仮にその山車行列が固くないとしたら目敏い fact7: 熱し易くないものはバシリカ形式だ ; $hypothesis$ = 「仮にその山車行列が熱し易くないならその山車行列はバシリカ形式だ」ということは偽だ ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もしある物はレモン汁であるならば「それは委譲しない」ということは成り立たない
事実2: もし仮にとあるものが結論付けるならそれは生殖医療である
事実3: もしその山車行列が掻き消さないとしたら熱し易い
事実4: もしもなにがしかの物がエスならば受け易い
事実5: もしもその山車行列が熱し易いとすればそれはバシリカ形式だ
事実6: もし仮にその山車行列が固くないとしたら目敏い
事実7: 熱し易くないものはバシリカ形式だ

仮説: 「仮にその山車行列が熱し易くないならその山車行列はバシリカ形式だ」ということは偽だ
1. 事実7から、仮説が否定される

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