「その当該指定役務は引き攣れない」ということは成り立つ
fact1: 「「遊戯でなくてかつレコンキスタでない」ということは成り立たない」ものはある fact2: もし仮に「「遊戯でないしレコンキスタでない」ということは事実と異なる」物があるとするとその当該指定役務は引き攣れる
$facts$ = fact1: 「「遊戯でなくてかつレコンキスタでない」ということは成り立たない」ものはある fact2: もし仮に「「遊戯でないしレコンキスタでない」ということは事実と異なる」物があるとするとその当該指定役務は引き攣れる ; $hypothesis$ = 「その当該指定役務は引き攣れない」ということは成り立つ ; $proof$ = 
事実1: 「「遊戯でなくてかつレコンキスタでない」ということは成り立たない」ものはある
事実2: もし仮に「「遊戯でないしレコンキスタでない」ということは事実と異なる」物があるとするとその当該指定役務は引き攣れる

仮説: 「その当該指定役務は引き攣れない」ということは成り立つ