そのドイツ自動車工業はドゥーＣディレクトリでない
fact1: 「そのドイツ自動車工業は赤切符でないけどＥγである」ということは誤っている fact2: もしも「そのドイツ自動車工業は赤切符でないけれどＥγだ」ということは成り立つということはないとするとドゥーＣディレクトリである
$facts$ = fact1: 「そのドイツ自動車工業は赤切符でないけどＥγである」ということは誤っている fact2: もしも「そのドイツ自動車工業は赤切符でないけれどＥγだ」ということは成り立つということはないとするとドゥーＣディレクトリである ; $hypothesis$ = そのドイツ自動車工業はドゥーＣディレクトリでない ; $proof$ = 
事実1: 「そのドイツ自動車工業は赤切符でないけどＥγである」ということは誤っている
事実2: もしも「そのドイツ自動車工業は赤切符でないけれどＥγだ」ということは成り立つということはないとするとドゥーＣディレクトリである

仮説: そのドイツ自動車工業はドゥーＣディレクトリでない