「そのバス会社は下刈りでない」ということは成り立つ
fact1: もしも「その通り名は出来難くないし拡大・縮小するということはない」ということは成り立たないならそのバス会社は下刈りでない fact2: 「その通り名は出来難くないし拡大・縮小しない」ということは間違っている
$facts$ = fact1: もしも「その通り名は出来難くないし拡大・縮小するということはない」ということは成り立たないならそのバス会社は下刈りでない fact2: 「その通り名は出来難くないし拡大・縮小しない」ということは間違っている ; $hypothesis$ = 「そのバス会社は下刈りでない」ということは成り立つ ; $proof$ = 
事実1: もしも「その通り名は出来難くないし拡大・縮小するということはない」ということは成り立たないならそのバス会社は下刈りでない
事実2: 「その通り名は出来難くないし拡大・縮小しない」ということは間違っている

仮説: 「そのバス会社は下刈りでない」ということは成り立つ