その繰り越し控除対象外国法人税額はこそばゆくない
fact1: 「あの次節は不潔でない一方で浅まし」ということは嘘だ fact2: 「「あの次節は不潔だということはない一方で浅まし」ということは偽だ」ということは本当だとすればその繰り越し控除対象外国法人税額はこそばゆいということはない
$facts$ = fact1: 「あの次節は不潔でない一方で浅まし」ということは嘘だ fact2: 「「あの次節は不潔だということはない一方で浅まし」ということは偽だ」ということは本当だとすればその繰り越し控除対象外国法人税額はこそばゆいということはない ; $hypothesis$ = その繰り越し控除対象外国法人税額はこそばゆくない ; $proof$ = 
事実1: 「あの次節は不潔でない一方で浅まし」ということは嘘だ
事実2: 「「あの次節は不潔だということはない一方で浅まし」ということは偽だ」ということは本当だとすればその繰り越し控除対象外国法人税額はこそばゆいということはない

仮説: その繰り越し控除対象外国法人税額はこそばゆくない