そのパトカーは行革するけれど立て難くない
fact1: あの版は千九百年頃でないとしたら「「そのパトカーは行革するけれど立て難くない」ということは成り立つ」ということは成り立たない fact2: あの版は千九百年頃でない
$facts$ = fact1: あの版は千九百年頃でないとしたら「「そのパトカーは行革するけれど立て難くない」ということは成り立つ」ということは成り立たない fact2: あの版は千九百年頃でない ; $hypothesis$ = そのパトカーは行革するけれど立て難くない ; $proof$ = 
事実1: あの版は千九百年頃でないとしたら「「そのパトカーは行革するけれど立て難くない」ということは成り立つ」ということは成り立たない
事実2: あの版は千九百年頃でない

仮説: そのパトカーは行革するけれど立て難くない