あのぷえぷにゃLv.50は厭わしいし意地悪い
fact1: すべてのモンスターは違いし加えて打ち払う fact2: すべてのモンスターが打ち払うしその上行き難い fact3: あのぷえぷにゃLv.50は厭わしい fact4: 「すべてのモンスターはけちけちするしきもい」ということは本当だ fact5: すべてのモンスターはアメリカらしい fact6: もしあのみいみいLv.64がけちけちすればあのぷえぷにゃLv.50は意地悪い fact7: もしとあるモンスターはけちけちしないなら「それは厭わしくてかつ意地悪い」ということは真実でない
fact4 -> int1: あのみいみいLv.64がけちけちするしその上それはきもい; int1 -> int2: あのみいみいLv.64はけちけちする; int2 & fact6 -> int3: あのぷえぷにゃLv.50は意地悪い; int3 & fact3 -> hypothesis;
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
「あのぷえぷにゃLv.50は厭わしくて更に意地悪い」ということは間違っている
fact9 -> int4: あのみいみいLv.64はけちけちしないなら「それは厭わしくてそれに意地悪い」ということは成り立たない; fact8 -> int5: あのみいみいLv.64はアメリカらしい;
$facts$ = fact1: すべてのモンスターは違いし加えて打ち払う fact2: すべてのモンスターが打ち払うしその上行き難い fact3: あのぷえぷにゃLv.50は厭わしい fact4: 「すべてのモンスターはけちけちするしきもい」ということは本当だ fact5: すべてのモンスターはアメリカらしい fact6: もしあのみいみいLv.64がけちけちすればあのぷえぷにゃLv.50は意地悪い fact7: もしとあるモンスターはけちけちしないなら「それは厭わしくてかつ意地悪い」ということは真実でない ; $hypothesis$ = あのぷえぷにゃLv.50は厭わしいし意地悪い ; $proof$ = 
fact4 -> int1: あのみいみいLv.64がけちけちするしその上それはきもい; int1 -> int2: あのみいみいLv.64はけちけちする; int2 & fact6 -> int3: あのぷえぷにゃLv.50は意地悪い; int3 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __PROVED__