「「そのシバ像は見本値であるし細長い」ということは事実と異なる」ということは誤りでない
fact1: 「そのシバ像は見本値である」ということは事実だ fact2: そのシバ像は細長い
$facts$ = fact1: 「そのシバ像は見本値である」ということは事実だ fact2: そのシバ像は細長い ; $hypothesis$ = 「「そのシバ像は見本値であるし細長い」ということは事実と異なる」ということは誤りでない ; $proof$ = 
事実1: 「そのシバ像は見本値である」ということは事実だ
事実2: そのシバ像は細長い

仮説: 「「そのシバ像は見本値であるし細長い」ということは事実と異なる」ということは誤りでない