このＥＢＨＰは昼間でない
fact1: もし仮に「その新社長が工業用だけど二十九日民集でない」ということは誤りだとすればこのＥＢＨＰは昼間でない fact2: 「「その新社長は工業用であるがしかし二十九日民集でない」ということは誤りでない」ということは間違っている
$facts$ = fact1: もし仮に「その新社長が工業用だけど二十九日民集でない」ということは誤りだとすればこのＥＢＨＰは昼間でない fact2: 「「その新社長は工業用であるがしかし二十九日民集でない」ということは誤りでない」ということは間違っている ; $hypothesis$ = このＥＢＨＰは昼間でない ; $proof$ = 
事実1: もし仮に「その新社長が工業用だけど二十九日民集でない」ということは誤りだとすればこのＥＢＨＰは昼間でない
事実2: 「「その新社長は工業用であるがしかし二十九日民集でない」ということは誤りでない」ということは間違っている

仮説: このＥＢＨＰは昼間でない