この挿入ダイアログは用心深くない
fact1: この挿入ダイアログは手強い fact2: この挿入ダイアログが手強いならばそれは用心深い
$facts$ = fact1: この挿入ダイアログは手強い fact2: この挿入ダイアログが手強いならばそれは用心深い ; $hypothesis$ = この挿入ダイアログは用心深くない ; $proof$ = 
事実1: この挿入ダイアログは手強い
事実2: この挿入ダイアログが手強いならばそれは用心深い

仮説: この挿入ダイアログは用心深くない