「「もしも話し易いなら公庫仕様であるかまたは伯伯伯母でないかまたはどちらもである」物はある」ということは本当だ
fact1: もしもあの十三年度が話し易いとしたらそれは公庫仕様であるかそれは伯伯伯母だということはないかまたはどちらもである
$facts$ = fact1: もしもあの十三年度が話し易いとしたらそれは公庫仕様であるかそれは伯伯伯母だということはないかまたはどちらもである ; $hypothesis$ = 「「もしも話し易いなら公庫仕様であるかまたは伯伯伯母でないかまたはどちらもである」物はある」ということは本当だ ; $proof$ = 
事実1: もしもあの十三年度が話し易いとしたらそれは公庫仕様であるかそれは伯伯伯母だということはないかまたはどちらもである

仮説: 「「もしも話し易いなら公庫仕様であるかまたは伯伯伯母でないかまたはどちらもである」物はある」ということは本当だ