あの匠守は二年用だけれどそれは爆ぜない
fact1: もしもあの匠守は煩くないなら「二年用であるしそれは爆ぜない」ということは嘘だ fact2: あの匠守は煩くない
$facts$ = fact1: もしもあの匠守は煩くないなら「二年用であるしそれは爆ぜない」ということは嘘だ fact2: あの匠守は煩くない ; $hypothesis$ = あの匠守は二年用だけれどそれは爆ぜない ; $proof$ = 
事実1: もしもあの匠守は煩くないなら「二年用であるしそれは爆ぜない」ということは嘘だ
事実2: あの匠守は煩くない

仮説: あの匠守は二年用だけれどそれは爆ぜない