「そのもちゅもにょLv.9は可愛いしそれに呪わしい」ということは成り立たない
fact1: もしなにがしかのモンスターは労労じということはないとすれば「それは可愛いししかも呪わしい」ということは誤りである fact2: もし仮にこのみのみちゃLv.24が労労じとしたらあのぽなぽちゅLv.23はシミュレート出来る fact3: そのもちゅもにょLv.9は呪わしい fact4: 仮に「なんらかのモンスターはシミュレート出来ないけど労労じ」ということは成り立たないとすればそれは労労じない fact5: もしこのみのみちゃLv.24が作成・変更するとすれば労労じ fact6: もしもあのぽなぽちゅLv.23がシミュレート出来るならそのもちゅもにょLv.9は可愛い fact7: このみのみちゃLv.24は作成・変更する
fact7 & fact5 -> int1: このみのみちゃLv.24は労労じ; fact2 & int1 -> int2: あのぽなぽちゅLv.23はシミュレート出来る; int2 & fact6 -> int3: そのもちゅもにょLv.9は可愛い; int3 & fact3 -> hypothesis;
fact7 & fact5 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact6 -> int3: {C}{c}; int3 & fact3 -> hypothesis;
「そのもちゅもにょLv.9は可愛いしそれに呪わしい」ということは成り立たない
fact9 -> int4: 仮にそのもちゅもにょLv.9は労労じないならば「可愛くて更に呪わしい」ということは誤りである; fact8 -> int5: 仮に「そのもちゅもにょLv.9はシミュレート出来ないけれど労労じ」ということは間違っていればそのもちゅもにょLv.9は労労じない;
$facts$ = fact1: もしなにがしかのモンスターは労労じということはないとすれば「それは可愛いししかも呪わしい」ということは誤りである fact2: もし仮にこのみのみちゃLv.24が労労じとしたらあのぽなぽちゅLv.23はシミュレート出来る fact3: そのもちゅもにょLv.9は呪わしい fact4: 仮に「なんらかのモンスターはシミュレート出来ないけど労労じ」ということは成り立たないとすればそれは労労じない fact5: もしこのみのみちゃLv.24が作成・変更するとすれば労労じ fact6: もしもあのぽなぽちゅLv.23がシミュレート出来るならそのもちゅもにょLv.9は可愛い fact7: このみのみちゃLv.24は作成・変更する ; $hypothesis$ = 「そのもちゅもにょLv.9は可愛いしそれに呪わしい」ということは成り立たない ; $proof$ = 
fact7 & fact5 -> int1: このみのみちゃLv.24は労労じ; fact2 & int1 -> int2: あのぽなぽちゅLv.23はシミュレート出来る; int2 & fact6 -> int3: そのもちゅもにょLv.9は可愛い; int3 & fact3 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact6 -> int3: {C}{c}; int3 & fact3 -> hypothesis; __DISPROVED__