「もし仮に開館するとすれば吸収され易い」モンスターはいる
fact1: 「このぷわぷねLv.53は開館する」ということは事実であるならこのぷわぷねLv.53は軟らかい fact2: 所らしいモンスターは開館する fact3: もしこのぷわぷねLv.53が軟らかいならそれは吸収され易い
void -> assump1: 以下のように仮定する。このぷわぷねLv.53は開館する; fact1 & assump1 -> int1: このぷわぷねLv.53は軟らかい; int1 & fact3 -> int2: このぷわぷねLv.53は吸収され易い; [assump1] & int2 -> int3: もしこのぷわぷねLv.53が開館するとするとこのぷわぷねLv.53は吸収され易い; int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
このまよまちゅLv.40が所らしいとしたら開館する
fact4 -> hypothesis;
$facts$ = fact1: 「このぷわぷねLv.53は開館する」ということは事実であるならこのぷわぷねLv.53は軟らかい fact2: 所らしいモンスターは開館する fact3: もしこのぷわぷねLv.53が軟らかいならそれは吸収され易い ; $hypothesis$ = 「もし仮に開館するとすれば吸収され易い」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷわぷねLv.53は開館する; fact1 & assump1 -> int1: このぷわぷねLv.53は軟らかい; int1 & fact3 -> int2: このぷわぷねLv.53は吸収され易い; [assump1] & int2 -> int3: もしこのぷわぷねLv.53が開館するとするとこのぷわぷねLv.53は吸収され易い; int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __PROVED__