そのぽわぽにゅLv.54は追い剥ぎしない
fact1: もしそのぽわぽにょLv.61が見向くということはないしおまけにそれが狭くないとすれば著述しない fact2: 懐かしくないしかつ取り扱い易くないモンスターは動き回れない fact3: そのぽわぽにゅLv.54は薄明るくない fact4: 薄明るくないモンスターは狭いということはないしちょろくない fact5: もし狭いということはないモンスターがちょろくないならば追い剥ぎしない
fact4 -> int1: もしそのぽわぽにゅLv.54が薄明るくないならばそのぽわぽにゅLv.54は狭くなくてちょろくない; int1 & fact3 -> int2: そのぽわぽにゅLv.54は狭くないしその上ちょろくない; fact5 -> int3: 仮にそのぽわぽにゅLv.54が狭くないしそれがちょろくないとするとそのぽわぽにゅLv.54は追い剥ぎしない; int2 & int3 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); fact5 -> int3: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int2 & int3 -> hypothesis;
$facts$ = fact1: もしそのぽわぽにょLv.61が見向くということはないしおまけにそれが狭くないとすれば著述しない fact2: 懐かしくないしかつ取り扱い易くないモンスターは動き回れない fact3: そのぽわぽにゅLv.54は薄明るくない fact4: 薄明るくないモンスターは狭いということはないしちょろくない fact5: もし狭いということはないモンスターがちょろくないならば追い剥ぎしない ; $hypothesis$ = そのぽわぽにゅLv.54は追い剥ぎしない ; $proof$ = 
fact4 -> int1: もしそのぽわぽにゅLv.54が薄明るくないならばそのぽわぽにゅLv.54は狭くなくてちょろくない; int1 & fact3 -> int2: そのぽわぽにゅLv.54は狭くないしその上ちょろくない; fact5 -> int3: 仮にそのぽわぽにゅLv.54が狭くないしそれがちょろくないとするとそのぽわぽにゅLv.54は追い剥ぎしない; int2 & int3 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); fact5 -> int3: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int2 & int3 -> hypothesis; __PROVED__