そのもやもわLv.78は向けない
fact1: もし仮になにがしかのモンスターは向けなくて相応しいということはないとすればそれは薄ら寒くない fact2: そのもやもわLv.78は臭くない fact3: そのもやもわLv.78は臭いということはなくてまた賑々しくないとすればそれは向けない fact4: そのもやもわLv.78は臭くないしまた賑々しくない fact5: そのもやもわLv.78は臭いということはないし合わせ易くない fact6: そのぷのぷちゃLv.50は男の子らしくないし向けない
fact4 -> int1: そのもやもわLv.78は臭くないしまた賑々しくない; int1 & fact3 -> hypothesis;
fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis;
仮にそのもやもわLv.78が向けなくてそれに相応しくないとするとそのもやもわLv.78は薄ら寒くない
fact7 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのモンスターは向けなくて相応しいということはないとすればそれは薄ら寒くない fact2: そのもやもわLv.78は臭くない fact3: そのもやもわLv.78は臭いということはなくてまた賑々しくないとすればそれは向けない fact4: そのもやもわLv.78は臭くないしまた賑々しくない fact5: そのもやもわLv.78は臭いということはないし合わせ易くない fact6: そのぷのぷちゃLv.50は男の子らしくないし向けない ; $hypothesis$ = そのもやもわLv.78は向けない ; $proof$ = 
fact4 -> int1: そのもやもわLv.78は臭くないしまた賑々しくない; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis; __PROVED__