あのぴえぴえLv.56は未練がましくない
fact1: 何らかのモンスターが歩み入るとするとそれは行われ易い fact2: 全てのモンスターは未練がましい fact3: もしあのぷえぷちゃLv.98が行われ易いならばあのぴえぴえLv.56は底堅い fact4: 何らかのモンスターは引き分けるし違いとすれば「未練がましくない」ということは正しい fact5: もし仮になんらかのモンスターが底堅いとするとそれは引き分ける
fact2 -> int1: 全てのモンスターは未練がましい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのぴえぴえLv.56は未練がましくない
fact7 -> int2: もしあのぴえぴえLv.56は引き分けるしそれに違いならそれは未練がましくない; fact9 -> int3: あのぴえぴえLv.56が底堅いなら引き分ける; fact8 -> int4: もし仮にあのぷえぷちゃLv.98が歩み入るとすればあのぷえぷちゃLv.98は行われ易い;
$facts$ = fact1: 何らかのモンスターが歩み入るとするとそれは行われ易い fact2: 全てのモンスターは未練がましい fact3: もしあのぷえぷちゃLv.98が行われ易いならばあのぴえぴえLv.56は底堅い fact4: 何らかのモンスターは引き分けるし違いとすれば「未練がましくない」ということは正しい fact5: もし仮になんらかのモンスターが底堅いとするとそれは引き分ける ; $hypothesis$ = あのぴえぴえLv.56は未練がましくない ; $proof$ = 
fact2 -> int1: 全てのモンスターは未練がましい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__