あのみゆみにょLv.37は捏ねる
fact1: 「そのまにゃまやLv.53は大差無くなくてそれは覗き込まない」ということは成り立たないとするとあのみゆみにょLv.37は切ない fact2: あのぴよぴやLv.63は手広い fact3: あのみゆみにょLv.37が切ないならばあのみゆみにょLv.37は捏ねる fact4: 仮にあのぴよぴやLv.63が捏ねないしおまけに切なくないとするとあのみゆみにょLv.37は捏ねるということはない fact5: もしもあのぴよぴやLv.63は手広いとすると「そのまにゃまやLv.53は大差無くないし覗き込まない」ということは間違いだ
fact5 & fact2 -> int1: 「そのまにゃまやLv.53は大差無くないしその上覗き込まない」ということは成り立たない; int1 & fact1 -> int2: あのみゆみにょLv.37は切ない; int2 & fact3 -> hypothesis;
fact5 & fact2 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: {B}{c}; int2 & fact3 -> hypothesis;
あのみゆみにょLv.37は捏ねない
$facts$ = fact1: 「そのまにゃまやLv.53は大差無くなくてそれは覗き込まない」ということは成り立たないとするとあのみゆみにょLv.37は切ない fact2: あのぴよぴやLv.63は手広い fact3: あのみゆみにょLv.37が切ないならばあのみゆみにょLv.37は捏ねる fact4: 仮にあのぴよぴやLv.63が捏ねないしおまけに切なくないとするとあのみゆみにょLv.37は捏ねるということはない fact5: もしもあのぴよぴやLv.63は手広いとすると「そのまにゃまやLv.53は大差無くないし覗き込まない」ということは間違いだ ; $hypothesis$ = あのみゆみにょLv.37は捏ねる ; $proof$ = 
fact5 & fact2 -> int1: 「そのまにゃまやLv.53は大差無くないしその上覗き込まない」ということは成り立たない; int1 & fact1 -> int2: あのみゆみにょLv.37は切ない; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: {B}{c}; int2 & fact3 -> hypothesis; __PROVED__