その必要記載事項は堆くない
fact1: このエキスは成立し難くないけれど御存じ無い fact2: このエキスは堆くないがしかし御存じ無いとしたら「その必要記載事項は見返る」ということは誤りであるということはない fact3: このエキスが成立し難いということはないけど御存じ無いならば「その必要記載事項は見返る」ということは正しい fact4: もしもある物が見返るとしたらそれは堆い
fact3 & fact1 -> int1: その必要記載事項は見返る; fact4 -> int2: その必要記載事項が見返るとすればそれは堆い; int1 & int2 -> hypothesis;
$facts$ = fact1: このエキスは成立し難くないけれど御存じ無い fact2: このエキスは堆くないがしかし御存じ無いとしたら「その必要記載事項は見返る」ということは誤りであるということはない fact3: このエキスが成立し難いということはないけど御存じ無いならば「その必要記載事項は見返る」ということは正しい fact4: もしもある物が見返るとしたらそれは堆い ; $hypothesis$ = その必要記載事項は堆くない ; $proof$ = 
fact3 & fact1 -> int1: その必要記載事項は見返る; fact4 -> int2: その必要記載事項が見返るとすればそれは堆い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このエキスは成立し難くないけれど御存じ無い
事実2: このエキスは堆くないがしかし御存じ無いとしたら「その必要記載事項は見返る」ということは誤りであるということはない
事実3: このエキスが成立し難いということはないけど御存じ無いならば「その必要記載事項は見返る」ということは正しい
事実4: もしもある物が見返るとしたらそれは堆い

仮説: その必要記載事項は堆くない
1. 事実3と事実1から、推論1: "その必要記載事項は見返る"が導かれる
2. 事実4から、推論2: "その必要記載事項が見返るとすればそれは堆い"が導かれる
3. 推論1と推論2から、仮説が否定される

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