「「もしも「インディゴである」ということは本当なら「組み入れるしかつ納所でない」ということは成り立たない」ものはある」ということは成り立つということはない
fact1: その十二年度はインディゴだとすれば「それは組み入れるけど納所でない」ということは嘘だ
$facts$ = fact1: その十二年度はインディゴだとすれば「それは組み入れるけど納所でない」ということは嘘だ ; $hypothesis$ = 「「もしも「インディゴである」ということは本当なら「組み入れるしかつ納所でない」ということは成り立たない」ものはある」ということは成り立つということはない ; $proof$ = 
事実1: その十二年度はインディゴだとすれば「それは組み入れるけど納所でない」ということは嘘だ

仮説: 「「もしも「インディゴである」ということは本当なら「組み入れるしかつ納所でない」ということは成り立たない」ものはある」ということは成り立つということはない