このみゆみにょLv.92は確からしいし加えて断定し難い
fact1: 仮に「そのぽわぽにょLv.47は安っぽくない」ということは成り立つとしたら「賦すしそれは立て易いということはない」ということは嘘である fact2: 「そのぽわぽにょLv.47は賦すないしそれは立て易いということはない」ということは確かでないとしたらこのみゆみにょLv.92は確からしい fact3: 仮にあるモンスターは安っぽいということはないとすれば「それは賦すないしそれは立て易くない」ということは成り立つということはない fact4: そのぽわぽにょLv.47は安っぽくない
fact3 -> int1: 仮にそのぽわぽにょLv.47は安っぽいということはないとすれば「そのぽわぽにょLv.47は賦すないしまた立て易くない」ということは成り立つということはない; int1 & fact4 -> int2: 「そのぽわぽにょLv.47は賦すないし立て易くない」ということは事実と異なる; int2 & fact2 -> int3: このみゆみにょLv.92は確からしい;
fact3 -> int1: ¬{A}{a} -> ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}); int2 & fact2 -> int3: {B}{b};
$facts$ = fact1: 仮に「そのぽわぽにょLv.47は安っぽくない」ということは成り立つとしたら「賦すしそれは立て易いということはない」ということは嘘である fact2: 「そのぽわぽにょLv.47は賦すないしそれは立て易いということはない」ということは確かでないとしたらこのみゆみにょLv.92は確からしい fact3: 仮にあるモンスターは安っぽいということはないとすれば「それは賦すないしそれは立て易くない」ということは成り立つということはない fact4: そのぽわぽにょLv.47は安っぽくない ; $hypothesis$ = このみゆみにょLv.92は確からしいし加えて断定し難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__