このまえまのLv.28は愛情深いかまたは広がり難い
fact1: なんらかのモンスターは冷たくないとしたら「愛情深いかまたは広がり難いかあるいは両方である」ということは誤っている fact2: もしもこのまえまのLv.28が冷たいとしたらこのまえまのLv.28は愛情深い fact3: 余儀無くないモンスターは行い易くないけれど輝かしい fact4: このぽねぽにゃLv.79は生温かくなくてかつ軽しということはない fact5: もしも生温かくないモンスターが軽しということはないとしたらそれは行い易くない fact6: もし仮にこのぽねぽにゃLv.79は生温かい一方で軽しということはないとすればそれは行い易くない fact7: もし仮に行い易くないモンスターが輝かしいならば冷たくない fact8: このぽねぽにゃLv.79は生温かくない
fact5 -> int1: このぽねぽにゃLv.79が生温かくなくてそれが軽しということはないとすればこのぽねぽにゃLv.79は行い易くない; int1 & fact4 -> int2: このぽねぽにゃLv.79は行い易くない;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa};
「このまえまのLv.28は愛情深いかあるいは広がり難いかまたはどちらもである」ということは成り立たない
fact10 -> int3: もしも「このまえまのLv.28は冷たいということはない」ということは本当だとすれば「このまえまのLv.28は愛情深いかまたは広がり難いかどちらもである」ということは成り立たない; fact9 -> int4: もしこのまえまのLv.28が行い易いということはないけど輝かしいとすればそれは冷たくない; fact11 -> int5: このまえまのLv.28は余儀無くないとすれば「このまえまのLv.28は行い易くないけど輝かしい」ということは事実である;
$facts$ = fact1: なんらかのモンスターは冷たくないとしたら「愛情深いかまたは広がり難いかあるいは両方である」ということは誤っている fact2: もしもこのまえまのLv.28が冷たいとしたらこのまえまのLv.28は愛情深い fact3: 余儀無くないモンスターは行い易くないけれど輝かしい fact4: このぽねぽにゃLv.79は生温かくなくてかつ軽しということはない fact5: もしも生温かくないモンスターが軽しということはないとしたらそれは行い易くない fact6: もし仮にこのぽねぽにゃLv.79は生温かい一方で軽しということはないとすればそれは行い易くない fact7: もし仮に行い易くないモンスターが輝かしいならば冷たくない fact8: このぽねぽにゃLv.79は生温かくない ; $hypothesis$ = このまえまのLv.28は愛情深いかまたは広がり難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__