あのみちゅみのLv.24は他愛無くない
fact1: もしそのぴなぴちゃLv.23が人懐っこいとすればあのみちゅみのLv.24は他愛無い fact2: もし育ち難くないしその上貧しくないモンスターがいるならあのみちゅみのLv.24は他愛無くない fact3: 「育ち難いということはない」モンスターはいる fact4: 「あるモンスターは人懐っこいということはない」ということは本当である fact5: 「「伝え易くない」ということは事実と異ならない」モンスターはいる fact6: もし仮にそのもやもいLv.7が貧しいということはないとするとそのぴなぴちゃLv.23は育ち難いしそれに人懐っこい fact7: 仮に「人懐っこくない」モンスターがいるとしたらそのぴなぴちゃLv.23は育ち難くないしまたそれは貧しくない fact8: 「他愛無くない」モンスターはいる
fact4 & fact7 -> int1: そのぴなぴちゃLv.23は育ち難くないし貧しくない; int1 -> int2: 育ち難くないし貧しくないモンスターはいる; int2 & fact2 -> hypothesis;
fact4 & fact7 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> int2: (Ex): (¬{B}x & ¬{C}x); int2 & fact2 -> hypothesis;
あのみちゅみのLv.24は他愛無い
$facts$ = fact1: もしそのぴなぴちゃLv.23が人懐っこいとすればあのみちゅみのLv.24は他愛無い fact2: もし育ち難くないしその上貧しくないモンスターがいるならあのみちゅみのLv.24は他愛無くない fact3: 「育ち難いということはない」モンスターはいる fact4: 「あるモンスターは人懐っこいということはない」ということは本当である fact5: 「「伝え易くない」ということは事実と異ならない」モンスターはいる fact6: もし仮にそのもやもいLv.7が貧しいということはないとするとそのぴなぴちゃLv.23は育ち難いしそれに人懐っこい fact7: 仮に「人懐っこくない」モンスターがいるとしたらそのぴなぴちゃLv.23は育ち難くないしまたそれは貧しくない fact8: 「他愛無くない」モンスターはいる ; $hypothesis$ = あのみちゅみのLv.24は他愛無くない ; $proof$ = 
fact4 & fact7 -> int1: そのぴなぴちゃLv.23は育ち難くないし貧しくない; int1 -> int2: 育ち難くないし貧しくないモンスターはいる; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact7 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> int2: (Ex): (¬{B}x & ¬{C}x); int2 & fact2 -> hypothesis; __PROVED__