「この推定体重は厳守しないがそれは可笑し」ということは成り立つということはない
fact1: 「この推定体重は厳守しないけれどそれは可笑し」ということは誤りだ
$facts$ = fact1: 「この推定体重は厳守しないけれどそれは可笑し」ということは誤りだ ; $hypothesis$ = 「この推定体重は厳守しないがそれは可笑し」ということは成り立つということはない ; $proof$ = 
事実1: 「この推定体重は厳守しないけれどそれは可笑し」ということは誤りだ

仮説: 「この推定体重は厳守しないがそれは可笑し」ということは成り立つということはない