もし仮にこのぴえぴちょLv.95は粉っぽいなら「そのぷえぷねLv.23は沸き続ける」ということは正しい
fact1: 「そのぷえぷねLv.23が再発し易いならこのぷわぷやLv.69は沸き続ける」ということは確かである fact2: もしこのぴえぴちょLv.95が粉っぽいとするとこのぷわぷやLv.69は再発し易い fact3: もしもこのぷわぷやLv.69が再発し易いとしたらそのぷえぷねLv.23は沸き続ける
void -> assump1: 以下のように仮定する。このぴえぴちょLv.95は粉っぽい; fact2 & assump1 -> int1: このぷわぷやLv.69は再発し易い; int1 & fact3 -> int2: そのぷえぷねLv.23は沸き続ける; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「そのぷえぷねLv.23が再発し易いならこのぷわぷやLv.69は沸き続ける」ということは確かである fact2: もしこのぴえぴちょLv.95が粉っぽいとするとこのぷわぷやLv.69は再発し易い fact3: もしもこのぷわぷやLv.69が再発し易いとしたらそのぷえぷねLv.23は沸き続ける ; $hypothesis$ = もし仮にこのぴえぴちょLv.95は粉っぽいなら「そのぷえぷねLv.23は沸き続ける」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴえぴちょLv.95は粉っぽい; fact2 & assump1 -> int1: このぷわぷやLv.69は再発し易い; int1 & fact3 -> int2: そのぷえぷねLv.23は沸き続ける; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __PROVED__