「もし弱しし加えて発揮し易くないとしたら「手厳しくない」ということは間違っている」モンスターはいる
fact1: 仮に弱しモンスターは発揮し易くないとするとそれは手厳しい fact2: 犯し易いモンスターが汚いならば興奮し易い fact3: もしも伸ばし易いモンスターが他愛無いということはないならば忘れっぽい fact4: もし嘆かわしいモンスターが汚れ難くないとするとそれはぶつけ合う
fact1 -> int1: もしもあのぷいぷにゅLv.66が弱しがしかしそれが発揮し易いということはないとするとあのぷいぷにゅLv.66は手厳しい; int1 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に弱しモンスターは発揮し易くないとするとそれは手厳しい fact2: 犯し易いモンスターが汚いならば興奮し易い fact3: もしも伸ばし易いモンスターが他愛無いということはないならば忘れっぽい fact4: もし嘆かわしいモンスターが汚れ難くないとするとそれはぶつけ合う ; $hypothesis$ = 「もし弱しし加えて発揮し易くないとしたら「手厳しくない」ということは間違っている」モンスターはいる ; $proof$ = 
fact1 -> int1: もしもあのぷいぷにゅLv.66が弱しがしかしそれが発揮し易いということはないとするとあのぷいぷにゅLv.66は手厳しい; int1 -> hypothesis; __PROVED__
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __PROVED__