「重苦しいとすると遅い」モンスターはいる
fact1: もしあのもゆものLv.9が厳めしいとするとこのみよみにゅLv.31は遅い一方で固しない fact2: このみよみにゅLv.31が思わしいならそれは遅い fact3: もしもこのみよみにゅLv.31が重苦しいとすればこのみよみにゅLv.31は思わしい fact4: 遅いモンスターが固しということはないとしたらこのまちゃまにゃLv.80は遅くない
void -> assump1: 以下のように仮定する。このみよみにゅLv.31は重苦しい; fact3 & assump1 -> int1: このみよみにゅLv.31は思わしい; int1 & fact2 -> int2: このみよみにゅLv.31は遅い; [assump1] & int2 -> int3: 仮にこのみよみにゅLv.31が重苦しいとするとそれは遅い; int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
このまちゃまにゃLv.80は思わしい
$facts$ = fact1: もしあのもゆものLv.9が厳めしいとするとこのみよみにゅLv.31は遅い一方で固しない fact2: このみよみにゅLv.31が思わしいならそれは遅い fact3: もしもこのみよみにゅLv.31が重苦しいとすればこのみよみにゅLv.31は思わしい fact4: 遅いモンスターが固しということはないとしたらこのまちゃまにゃLv.80は遅くない ; $hypothesis$ = 「重苦しいとすると遅い」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。このみよみにゅLv.31は重苦しい; fact3 & assump1 -> int1: このみよみにゅLv.31は思わしい; int1 & fact2 -> int2: このみよみにゅLv.31は遅い; [assump1] & int2 -> int3: 仮にこのみよみにゅLv.31が重苦しいとするとそれは遅い; int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __PROVED__