なにがしかのモンスターは記載・記録するかまたはそれは好ましい
fact1: 「「易しということはなくてかつ焚き付けない」ということは成り立たない」モンスターはいる fact2: このぽちょぽちゅLv.92は注視・追視しなくて更にそれは好ましくない fact3: そのぷちょぷちょLv.79は焚き付けるかあるいは活動し難いかもしくは両方ともだ fact4: 「このぽちょぽちゅLv.92はくどい」ということは偽でない fact5: もし仮に「「易しないし焚き付けない」ということは嘘な」モンスターがいるならこのぽちょぽちゅLv.92は記載・記録する
fact1 & fact5 -> int1: このぽちょぽちゅLv.92は記載・記録する; int1 -> int2: このぽちょぽちゅLv.92は記載・記録するかまたは好ましい; int2 -> hypothesis;
fact1 & fact5 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 -> hypothesis;
何らかのモンスターは集団発生するかもしくはそれは放棄するかどちらもだ
fact6 -> int3: このぽちょぽちゅLv.92は好ましくない;
$facts$ = fact1: 「「易しということはなくてかつ焚き付けない」ということは成り立たない」モンスターはいる fact2: このぽちょぽちゅLv.92は注視・追視しなくて更にそれは好ましくない fact3: そのぷちょぷちょLv.79は焚き付けるかあるいは活動し難いかもしくは両方ともだ fact4: 「このぽちょぽちゅLv.92はくどい」ということは偽でない fact5: もし仮に「「易しないし焚き付けない」ということは嘘な」モンスターがいるならこのぽちょぽちゅLv.92は記載・記録する ; $hypothesis$ = なにがしかのモンスターは記載・記録するかまたはそれは好ましい ; $proof$ = 
fact1 & fact5 -> int1: このぽちょぽちゅLv.92は記載・記録する; int1 -> int2: このぽちょぽちゅLv.92は記載・記録するかまたは好ましい; int2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 -> hypothesis; __PROVED__