そのぽのぽわLv.42は寄り付かない
fact1: もしそのぴゆぴにゃLv.7が寒しないけれどそれが掛かり易いならそのぷやぷわLv.49は物珍しくない fact2: あのぴにゃぴやLv.71は掛かり易くない fact3: もしそのぽのぽわLv.42が寄り付くとすればそのぴゆぴにゃLv.7は寒しないけれど掛かり易い fact4: そのぷやぷわLv.49は物珍しい fact5: そのぽのぽわLv.42は掛かり易くない fact6: そのぷやぷわLv.49が寒しとしたらそのぴゆぴにゃLv.7は掛かり易くないけれど物珍しい
void -> assump1: 以下のように仮定する。そのぽのぽわLv.42は寄り付く; fact3 & assump1 -> int1: そのぴゆぴにゃLv.7は寒しないがそれは掛かり易い; int1 & fact1 -> int2: そのぷやぷわLv.49は物珍しくない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact1 -> int2: ¬{B}{c}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしそのぴゆぴにゃLv.7が寒しないけれどそれが掛かり易いならそのぷやぷわLv.49は物珍しくない fact2: あのぴにゃぴやLv.71は掛かり易くない fact3: もしそのぽのぽわLv.42が寄り付くとすればそのぴゆぴにゃLv.7は寒しないけれど掛かり易い fact4: そのぷやぷわLv.49は物珍しい fact5: そのぽのぽわLv.42は掛かり易くない fact6: そのぷやぷわLv.49が寒しとしたらそのぴゆぴにゃLv.7は掛かり易くないけれど物珍しい ; $hypothesis$ = そのぽのぽわLv.42は寄り付かない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽのぽわLv.42は寄り付く; fact3 & assump1 -> int1: そのぴゆぴにゃLv.7は寒しないがそれは掛かり易い; int1 & fact1 -> int2: そのぷやぷわLv.49は物珍しくない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact1 -> int2: ¬{B}{c}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__