あのもゆもちょLv.51は水臭い
fact1: もしもあのもゆもちょLv.51は親しないとすれば「このぷやぷなLv.69は悲しいし更に羨ましい」ということは成り立たない fact2: 「もしこのぷやぷなLv.69が期待し難くないしおまけに侵略しないとしたらこのぷやぷなLv.69はすばしこい」ということは偽でない fact3: もし「このぷやぷなLv.69は侵略しないし水臭くない」ということは本当ならばこのぷやぷなLv.69は期待し難い fact4: このぷやぷなLv.69はすばしこくない
void -> assump1: 以下のように仮定する。このぷやぷなLv.69は期待し難くないしおまけにそれは侵略しない; fact2 & assump1 -> int1: このぷやぷなLv.69はすばしこい; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぷやぷなLv.69は期待し難くないしそれにそれは侵略しない」ということは事実と異なる;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA}{a} & ¬{AB}{a});
そのぷちゅぷちょLv.70は期待し難い
$facts$ = fact1: もしもあのもゆもちょLv.51は親しないとすれば「このぷやぷなLv.69は悲しいし更に羨ましい」ということは成り立たない fact2: 「もしこのぷやぷなLv.69が期待し難くないしおまけに侵略しないとしたらこのぷやぷなLv.69はすばしこい」ということは偽でない fact3: もし「このぷやぷなLv.69は侵略しないし水臭くない」ということは本当ならばこのぷやぷなLv.69は期待し難い fact4: このぷやぷなLv.69はすばしこくない ; $hypothesis$ = あのもゆもちょLv.51は水臭い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__