仮に「あのもゆもいLv.23は把握し易い」ということは本当ならばあのぷにょぷゆLv.62は赤っぽい
fact1: 仮にこのもにょもえLv.89が罹患し易いとするとあのぷにょぷゆLv.62は赤っぽい fact2: あのもゆもいLv.23は赤っぽい fact3: もし仮にあのもゆもいLv.23が把握し易いとするとこのもにょもえLv.89は罹患し易い fact4: あのもゆもいLv.23が罹患し易いとするとこのもにょもえLv.89は把握し易い fact5: 仮にあのぷにょぷゆLv.62が把握し易いとしたらあのもゆもいLv.23は赤っぽい fact6: もしこのもにょもえLv.89が把握し易いとしたらあのもゆもいLv.23は罹患し易い
void -> assump1: 以下のように仮定する。あのもゆもいLv.23は把握し易い; fact3 & assump1 -> int1: このもにょもえLv.89は罹患し易い; int1 & fact1 -> int2: 「あのぷにょぷゆLv.62は赤っぽい」ということは本当である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にこのもにょもえLv.89が罹患し易いとするとあのぷにょぷゆLv.62は赤っぽい fact2: あのもゆもいLv.23は赤っぽい fact3: もし仮にあのもゆもいLv.23が把握し易いとするとこのもにょもえLv.89は罹患し易い fact4: あのもゆもいLv.23が罹患し易いとするとこのもにょもえLv.89は把握し易い fact5: 仮にあのぷにょぷゆLv.62が把握し易いとしたらあのもゆもいLv.23は赤っぽい fact6: もしこのもにょもえLv.89が把握し易いとしたらあのもゆもいLv.23は罹患し易い ; $hypothesis$ = 仮に「あのもゆもいLv.23は把握し易い」ということは本当ならばあのぷにょぷゆLv.62は赤っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもゆもいLv.23は把握し易い; fact3 & assump1 -> int1: このもにょもえLv.89は罹患し易い; int1 & fact1 -> int2: 「あのぷにょぷゆLv.62は赤っぽい」ということは本当である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __PROVED__