あのもにゅもねLv.72は心服する
fact1: もしもそのもなもねLv.95は拉ぐしさらに離れ難いとすれば左右され易くない fact2: そのもなもねLv.95は離れ難い fact3: そのもなもねLv.95は拉ぐ fact4: 仮にそのもなもねLv.95が左右され易いということはないとすればあのもにゅもねLv.72は心服しない fact5: あのまわまなLv.88が離れ難くないしおまけに心服するということはないとすればそのもなもねLv.95は心服する
fact3 & fact2 -> int1: そのもなもねLv.95は拉ぐしおまけに離れ難い; int1 & fact1 -> int2: そのもなもねLv.95は左右され易くない; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis;
あのもにゅもねLv.72は心服する
$facts$ = fact1: もしもそのもなもねLv.95は拉ぐしさらに離れ難いとすれば左右され易くない fact2: そのもなもねLv.95は離れ難い fact3: そのもなもねLv.95は拉ぐ fact4: 仮にそのもなもねLv.95が左右され易いということはないとすればあのもにゅもねLv.72は心服しない fact5: あのまわまなLv.88が離れ難くないしおまけに心服するということはないとすればそのもなもねLv.95は心服する ; $hypothesis$ = あのもにゅもねLv.72は心服する ; $proof$ = 
fact3 & fact2 -> int1: そのもなもねLv.95は拉ぐしおまけに離れ難い; int1 & fact1 -> int2: そのもなもねLv.95は左右され易くない; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__