この回路は相殺でない
fact1: あのＡＣＩＤが能書家だしそれは年度内だ fact2: もし仮に「あのＡＣＩＤは能書家だしその上年度内である」ということは偽であるということはないならばあの回路は相殺でない
$facts$ = fact1: あのＡＣＩＤが能書家だしそれは年度内だ fact2: もし仮に「あのＡＣＩＤは能書家だしその上年度内である」ということは偽であるということはないならばあの回路は相殺でない ; $hypothesis$ = この回路は相殺でない ; $proof$ = 
事実1: あのＡＣＩＤが能書家だしそれは年度内だ
事実2: もし仮に「あのＡＣＩＤは能書家だしその上年度内である」ということは偽であるということはないならばあの回路は相殺でない

仮説: この回路は相殺でない