「近いし加工し易い」モンスターはいる
fact1: 「そのぴやぴよLv.68は加工し易い」ということは正しい fact2: このもにゃもわLv.1が近いしその上それは軽し fact3: このもにゃもわLv.1は長たらしい fact4: もし仮にこのもにゃもわLv.1が長たらしいとしたらそのぴやぴよLv.68は近い
fact4 & fact3 -> int1: そのぴやぴよLv.68は近い; int1 & fact1 -> int2: そのぴやぴよLv.68は近いしおまけにそれは加工し易い; int2 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis;
「軽しし波立つ」モンスターはいる
fact5 -> int3: このもにゃもわLv.1は軽し;
$facts$ = fact1: 「そのぴやぴよLv.68は加工し易い」ということは正しい fact2: このもにゃもわLv.1が近いしその上それは軽し fact3: このもにゃもわLv.1は長たらしい fact4: もし仮にこのもにゃもわLv.1が長たらしいとしたらそのぴやぴよLv.68は近い ; $hypothesis$ = 「近いし加工し易い」モンスターはいる ; $proof$ = 
fact4 & fact3 -> int1: そのぴやぴよLv.68は近い; int1 & fact1 -> int2: そのぴやぴよLv.68は近いしおまけにそれは加工し易い; int2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis; __PROVED__