「そのＡ四サイズは格闘術であるしまたチェックインする」ということは間違っている
fact1: 仮にそのＡ四サイズが南隣でないとするとそれは格闘術で更にチェックインする fact2: そのＡ四サイズは南隣でない
$facts$ = fact1: 仮にそのＡ四サイズが南隣でないとするとそれは格闘術で更にチェックインする fact2: そのＡ四サイズは南隣でない ; $hypothesis$ = 「そのＡ四サイズは格闘術であるしまたチェックインする」ということは間違っている ; $proof$ = 
事実1: 仮にそのＡ四サイズが南隣でないとするとそれは格闘術で更にチェックインする
事実2: そのＡ四サイズは南隣でない

仮説: 「そのＡ四サイズは格闘術であるしまたチェックインする」ということは間違っている