「そのみよみやLv.91は誤信する」ということは成り立つ
fact1: 「あのまちゃまちょLv.53は相提携しない」ということは成り立つなら「そのみよみやLv.91は向かい掛けるし現金化出来る」ということは嘘だ fact2: 仮に「何らかのモンスターは向かい掛けるしまた現金化出来る」ということは確かでないとしたら誤信しない fact3: あのまちゃまちょLv.53は向かい掛けるしかつ現金化出来る fact4: もし仮にあのまちゃまちょLv.53が向かい掛けるとすればそのみよみやLv.91は誤信する
fact3 -> int1: あのまちゃまちょLv.53は向かい掛ける; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
そのみよみやLv.91は誤信しない
fact5 -> int2: 仮に「そのみよみやLv.91は向かい掛けるし現金化出来る」ということは誤っているとしたらそのみよみやLv.91は誤信するということはない;
$facts$ = fact1: 「あのまちゃまちょLv.53は相提携しない」ということは成り立つなら「そのみよみやLv.91は向かい掛けるし現金化出来る」ということは嘘だ fact2: 仮に「何らかのモンスターは向かい掛けるしまた現金化出来る」ということは確かでないとしたら誤信しない fact3: あのまちゃまちょLv.53は向かい掛けるしかつ現金化出来る fact4: もし仮にあのまちゃまちょLv.53が向かい掛けるとすればそのみよみやLv.91は誤信する ; $hypothesis$ = 「そのみよみやLv.91は誤信する」ということは成り立つ ; $proof$ = 
fact3 -> int1: あのまちゃまちょLv.53は向かい掛ける; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__