もしそのぴなぴくLv.96は久しとすると「あのみなみねLv.88は様良し」ということは間違っていない
fact1: もし仮にそのぴなぴくLv.96が久しならそのぴなぴくLv.96は浮き易い fact2: そのぴなぴくLv.96が浮き易いならばあのみなみねLv.88は様良し fact3: そのぴなぴくLv.96は様良し fact4: そのぴなぴくLv.96が様良しならば久し
void -> assump1: 以下のように仮定する。「そのぴなぴくLv.96は久し」ということは本当である; fact1 & assump1 -> int1: そのぴなぴくLv.96は浮き易い; int1 & fact2 -> int2: 「あのみなみねLv.88は様良し」ということは成り立つ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にそのぴなぴくLv.96が久しならそのぴなぴくLv.96は浮き易い fact2: そのぴなぴくLv.96が浮き易いならばあのみなみねLv.88は様良し fact3: そのぴなぴくLv.96は様良し fact4: そのぴなぴくLv.96が様良しならば久し ; $hypothesis$ = もしそのぴなぴくLv.96は久しとすると「あのみなみねLv.88は様良し」ということは間違っていない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぴなぴくLv.96は久し」ということは本当である; fact1 & assump1 -> int1: そのぴなぴくLv.96は浮き易い; int1 & fact2 -> int2: 「あのみなみねLv.88は様良し」ということは成り立つ; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__