「そのＭＥＭＳはわりなくないけれど嫁ぐ」ということは間違っている
fact1: 仮にそのＭＥＭＳはアルタイルであるならば「それはわりなくなくて嫁ぐ」ということは誤りである fact2: そのＭＥＭＳはアルタイルだ
$facts$ = fact1: 仮にそのＭＥＭＳはアルタイルであるならば「それはわりなくなくて嫁ぐ」ということは誤りである fact2: そのＭＥＭＳはアルタイルだ ; $hypothesis$ = 「そのＭＥＭＳはわりなくないけれど嫁ぐ」ということは間違っている ; $proof$ = 
事実1: 仮にそのＭＥＭＳはアルタイルであるならば「それはわりなくなくて嫁ぐ」ということは誤りである
事実2: そのＭＥＭＳはアルタイルだ

仮説: 「そのＭＥＭＳはわりなくないけれど嫁ぐ」ということは間違っている