「そのぽにぽいLv.55は晴々しいということはない」ということは成り立つ
fact1: 消化吸収され易いモンスターは晴々しい fact2: そのぽにぽいLv.55は誘発し易い fact3: もし仮にあのぷくぷにょLv.98が晴々しいとするとそのぽにぽいLv.55は消化吸収され易い fact4: あのぷくぷにょLv.98は消化吸収され易くない fact5: もしもそのぽにぽいLv.55が晴々しいならばあのぷくぷにょLv.98は消化吸収され易い fact6: そのぽにぽいLv.55は現われ難い
void -> assump1: 以下のように仮定する。そのぽにぽいLv.55は晴々しい; fact5 & assump1 -> int1: あのぷくぷにょLv.98は消化吸収され易い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。そのぽにぽいLv.55は晴々しい
fact7 -> int3: 「そのぽにぽいLv.55は消化吸収され易い」ということは真実であるとすれば「そのぽにぽいLv.55は晴々しい」ということは成り立つ;
$facts$ = fact1: 消化吸収され易いモンスターは晴々しい fact2: そのぽにぽいLv.55は誘発し易い fact3: もし仮にあのぷくぷにょLv.98が晴々しいとするとそのぽにぽいLv.55は消化吸収され易い fact4: あのぷくぷにょLv.98は消化吸収され易くない fact5: もしもそのぽにぽいLv.55が晴々しいならばあのぷくぷにょLv.98は消化吸収され易い fact6: そのぽにぽいLv.55は現われ難い ; $hypothesis$ = 「そのぽにぽいLv.55は晴々しいということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽにぽいLv.55は晴々しい; fact5 & assump1 -> int1: あのぷくぷにょLv.98は消化吸収され易い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__