そのみえみにゅLv.93は付き易い
fact1: 「このぴやぴにょLv.1は自給出来るがしかし強制乳化しない」ということは成り立たない fact2: 「このみわみやLv.81は合意しないけど強制乳化する」ということは偽だ fact3: 「このぴやぴにょLv.1は自給出来なくてさらに強制乳化しない」ということは事実と異なる fact4: もしも「このぴやぴにょLv.1は強制乳化するということはなくてしかも自給出来ない」ということは成り立つということはないならそれは付き易い fact5: もし仮に「なんらかのモンスターはしおらしくなくてその上それは自給出来るということはない」ということは嘘だとしたらそれは付き易い fact6: 「何らかのモンスターは自給出来なくて強制乳化しない」ということは誤っているとすればそれはしおらしい fact7: 仮に何らかのモンスターが自給出来るとすればそれはしおらしい fact8: もしこのぴやぴにょLv.1がしおらしいとしたらそのみえみにゅLv.93は付き易い
fact6 -> int1: もし「「このぴやぴにょLv.1は自給出来ないし強制乳化しない」ということは成り立たない」ということは真実だとすればこのぴやぴにょLv.1はしおらしい; int1 & fact3 -> int2: このぴやぴにょLv.1はしおらしい; int2 & fact8 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact8 -> hypothesis;
$facts$ = fact1: 「このぴやぴにょLv.1は自給出来るがしかし強制乳化しない」ということは成り立たない fact2: 「このみわみやLv.81は合意しないけど強制乳化する」ということは偽だ fact3: 「このぴやぴにょLv.1は自給出来なくてさらに強制乳化しない」ということは事実と異なる fact4: もしも「このぴやぴにょLv.1は強制乳化するということはなくてしかも自給出来ない」ということは成り立つということはないならそれは付き易い fact5: もし仮に「なんらかのモンスターはしおらしくなくてその上それは自給出来るということはない」ということは嘘だとしたらそれは付き易い fact6: 「何らかのモンスターは自給出来なくて強制乳化しない」ということは誤っているとすればそれはしおらしい fact7: 仮に何らかのモンスターが自給出来るとすればそれはしおらしい fact8: もしこのぴやぴにょLv.1がしおらしいとしたらそのみえみにゅLv.93は付き易い ; $hypothesis$ = そのみえみにゅLv.93は付き易い ; $proof$ = 
fact6 -> int1: もし「「このぴやぴにょLv.1は自給出来ないし強制乳化しない」ということは成り立たない」ということは真実だとすればこのぴやぴにょLv.1はしおらしい; int1 & fact3 -> int2: このぴやぴにょLv.1はしおらしい; int2 & fact8 -> hypothesis; __PROVED__
fact6 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact8 -> hypothesis; __PROVED__