「もしも「その隷下はエクスチェンジタスクウィザードでない一方で初々しい」ということは成り立たないとしたらその隷下は増加率Ｇでない」ということは成り立たない
fact1: 「あるものはエクスチェンジタスクウィザードでないけれど初々しい」ということは間違っているとしたら増加率Ｇだということはない
$facts$ = fact1: 「あるものはエクスチェンジタスクウィザードでないけれど初々しい」ということは間違っているとしたら増加率Ｇだということはない ; $hypothesis$ = 「もしも「その隷下はエクスチェンジタスクウィザードでない一方で初々しい」ということは成り立たないとしたらその隷下は増加率Ｇでない」ということは成り立たない ; $proof$ = 
事実1: 「あるものはエクスチェンジタスクウィザードでないけれど初々しい」ということは間違っているとしたら増加率Ｇだということはない

仮説: 「もしも「その隷下はエクスチェンジタスクウィザードでない一方で初々しい」ということは成り立たないとしたらその隷下は増加率Ｇでない」ということは成り立たない