「もしも入り辛いならば生まれ難い」モンスターはいる
fact1: 仮にあのぴちゃぴくLv.67が入り辛いとすればあのぴちゃぴくLv.67は真白い fact2: あのぴちゃぴくLv.67が真白いとすればそれは生まれ難い
void -> assump1: 以下のように仮定する。あのぴちゃぴくLv.67は入り辛い; fact1 & assump1 -> int1: あのぴちゃぴくLv.67は真白い; int1 & fact2 -> int2: あのぴちゃぴくLv.67は生まれ難い; [assump1] & int2 -> int3: 仮に「あのぴちゃぴくLv.67は入り辛い」ということは事実であるとしたらあのぴちゃぴくLv.67は生まれ難い; int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
$facts$ = fact1: 仮にあのぴちゃぴくLv.67が入り辛いとすればあのぴちゃぴくLv.67は真白い fact2: あのぴちゃぴくLv.67が真白いとすればそれは生まれ難い ; $hypothesis$ = 「もしも入り辛いならば生まれ難い」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴちゃぴくLv.67は入り辛い; fact1 & assump1 -> int1: あのぴちゃぴくLv.67は真白い; int1 & fact2 -> int2: あのぴちゃぴくLv.67は生まれ難い; [assump1] & int2 -> int3: 仮に「あのぴちゃぴくLv.67は入り辛い」ということは事実であるとしたらあのぴちゃぴくLv.67は生まれ難い; int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __PROVED__