このまにまわLv.77は先制しない
fact1: もし仮にそのもくもにょLv.97が不貞るかもしくはそれが敵うかまたはどちらもであるとすればこのまにまわLv.77は先制しない fact2: 抜き難いモンスターは先制する fact3: もし仮にこのまにまわLv.77が不貞るとすればそのもくもにょLv.97は先制する fact4: 「そのぽいぽのLv.33は抜き難い」ということは誤っていない fact5: もし何らかのモンスターが不貞るないとすると先制するししかも抜き難い fact6: もし仮にこのまにまわLv.77が抜き難いならばそのぽいぽのLv.33は先制するということはない fact7: もしそのもくもにょLv.97が敵うとしたらこのまにまわLv.77は先制するということはない fact8: もしそのぽいぽのLv.33が抜き難いならそのもくもにょLv.97は不貞る
fact8 & fact4 -> int1: そのもくもにょLv.97は不貞る; int1 -> int2: そのもくもにょLv.97は不貞るかまたは敵う; int2 & fact1 -> hypothesis;
fact8 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact1 -> hypothesis;
「このまにまわLv.77は先制する」ということは確かだ
fact9 -> int3: そのぽいぽのLv.33が不貞るないとするとそのぽいぽのLv.33は先制するし抜き難い;
$facts$ = fact1: もし仮にそのもくもにょLv.97が不貞るかもしくはそれが敵うかまたはどちらもであるとすればこのまにまわLv.77は先制しない fact2: 抜き難いモンスターは先制する fact3: もし仮にこのまにまわLv.77が不貞るとすればそのもくもにょLv.97は先制する fact4: 「そのぽいぽのLv.33は抜き難い」ということは誤っていない fact5: もし何らかのモンスターが不貞るないとすると先制するししかも抜き難い fact6: もし仮にこのまにまわLv.77が抜き難いならばそのぽいぽのLv.33は先制するということはない fact7: もしそのもくもにょLv.97が敵うとしたらこのまにまわLv.77は先制するということはない fact8: もしそのぽいぽのLv.33が抜き難いならそのもくもにょLv.97は不貞る ; $hypothesis$ = このまにまわLv.77は先制しない ; $proof$ = 
fact8 & fact4 -> int1: そのもくもにょLv.97は不貞る; int1 -> int2: そのもくもにょLv.97は不貞るかまたは敵う; int2 & fact1 -> hypothesis; __PROVED__
fact8 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact1 -> hypothesis; __PROVED__