そのもいもいLv.33は言い出し難くなくて更に仰々しくない
fact1: もしもそのもいもいLv.33が俗っぽいとすればそのもいもいLv.33は汚い fact2: 「そのもいもいLv.33は穿刺する」ということは正しい fact3: 切なくないモンスターでさらに打設しないモンスターは汚いということはない fact4: そのもいもいLv.33は俗っぽい fact5: もしもそのもいもいLv.33が汚いならそのもいもいLv.33は切ない fact6: もし仮にそのもいもいLv.33が仰々しいとすればそのもいもいLv.33は共鳴し易くない fact7: そのもいもいLv.33が切ないならそのもいもいLv.33は言い出し難くないしそれは仰々しくない
fact1 & fact4 -> int1: そのもいもいLv.33は汚い; int1 & fact5 -> int2: そのもいもいLv.33は切ない; int2 & fact7 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
「そのもいもいLv.33は言い出し難くないし仰々しくない」ということは成り立つということはない
fact8 -> int3: もしあのぽくぽちゅLv.85は切なくなくてかつ打設しないならそれは汚くない;
$facts$ = fact1: もしもそのもいもいLv.33が俗っぽいとすればそのもいもいLv.33は汚い fact2: 「そのもいもいLv.33は穿刺する」ということは正しい fact3: 切なくないモンスターでさらに打設しないモンスターは汚いということはない fact4: そのもいもいLv.33は俗っぽい fact5: もしもそのもいもいLv.33が汚いならそのもいもいLv.33は切ない fact6: もし仮にそのもいもいLv.33が仰々しいとすればそのもいもいLv.33は共鳴し易くない fact7: そのもいもいLv.33が切ないならそのもいもいLv.33は言い出し難くないしそれは仰々しくない ; $hypothesis$ = そのもいもいLv.33は言い出し難くなくて更に仰々しくない ; $proof$ = 
fact1 & fact4 -> int1: そのもいもいLv.33は汚い; int1 & fact5 -> int2: そのもいもいLv.33は切ない; int2 & fact7 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __PROVED__