そのまねまにゃLv.97は揺るがす
fact1: もしもそのまねまにゃLv.97は長ーいし加えて御偉いならば「それは揺るがしない」ということは成り立つ fact2: もしあのぴにぴちゅLv.89が清々しくないがしかし憤激するとすればそのまねまにゃLv.97は長ーい fact3: 仮に歩き辛くないモンスターが黒字化するならそれは仄暗くない fact4: すべてのモンスターは使用し難くないし加えて壊れ難い fact5: 使用し難くないモンスターは歩き辛くないけれど黒字化する fact6: 仄暗いということはないモンスターは長ーいかまたは御偉いかまたはどちらもだ fact7: そのまねまにゃLv.97は御偉い fact8: あのぴにぴちゅLv.89は清々しくないけれど憤激する fact9: そのぽのぽにゃLv.68は揺るがすしまた生み難い
fact2 & fact8 -> int1: そのまねまにゃLv.97は長ーい; int1 & fact7 -> int2: そのまねまにゃLv.97は長ーいし御偉い; int2 & fact1 -> hypothesis;
fact2 & fact8 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{b} & {A}{b}); int2 & fact1 -> hypothesis;
そのまねまにゃLv.97は揺るがす
fact13 -> int3: 仮にあのぴにぴちゅLv.89が仄暗くないならばあのぴにぴちゅLv.89は長ーいか御偉い; fact11 -> int4: もしもあのぴにぴちゅLv.89が歩き辛くない一方で黒字化すれば仄暗いということはない; fact12 -> int5: もしも「あのぴにぴちゅLv.89は使用し難くない」ということは事実ならばそれは歩き辛くなくてしかもそれは黒字化する; fact10 -> int6: あのぴにぴちゅLv.89は使用し難くないけれど壊れ難い; int6 -> int7: あのぴにぴちゅLv.89は使用し難くない; int5 & int7 -> int8: 「あのぴにぴちゅLv.89は歩き辛くないけれど黒字化する」ということは事実である; int4 & int8 -> int9: あのぴにぴちゅLv.89は仄暗くない; int3 & int9 -> int10: あのぴにぴちゅLv.89は長ーいかあるいはそれは御偉いかまたはどちらもである;
$facts$ = fact1: もしもそのまねまにゃLv.97は長ーいし加えて御偉いならば「それは揺るがしない」ということは成り立つ fact2: もしあのぴにぴちゅLv.89が清々しくないがしかし憤激するとすればそのまねまにゃLv.97は長ーい fact3: 仮に歩き辛くないモンスターが黒字化するならそれは仄暗くない fact4: すべてのモンスターは使用し難くないし加えて壊れ難い fact5: 使用し難くないモンスターは歩き辛くないけれど黒字化する fact6: 仄暗いということはないモンスターは長ーいかまたは御偉いかまたはどちらもだ fact7: そのまねまにゃLv.97は御偉い fact8: あのぴにぴちゅLv.89は清々しくないけれど憤激する fact9: そのぽのぽにゃLv.68は揺るがすしまた生み難い ; $hypothesis$ = そのまねまにゃLv.97は揺るがす ; $proof$ = 
fact2 & fact8 -> int1: そのまねまにゃLv.97は長ーい; int1 & fact7 -> int2: そのまねまにゃLv.97は長ーいし御偉い; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact8 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{b} & {A}{b}); int2 & fact1 -> hypothesis; __DISPROVED__