「そのもよもわLv.14はすばしっこいけどそれは御長けるということはない」ということは成り立たない
fact1: そのもよもわLv.14は信仰深い fact2: 仮にこのみゆみやLv.82が強いとするとそれは止む無いが辞職しない fact3: そのもよもわLv.14は照れ臭い fact4: 照れ臭いモンスターはすばしっこいが御長けない
fact4 -> int1: そのもよもわLv.14が照れ臭いならすばしっこい一方で御長けるということはない; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis;
$facts$ = fact1: そのもよもわLv.14は信仰深い fact2: 仮にこのみゆみやLv.82が強いとするとそれは止む無いが辞職しない fact3: そのもよもわLv.14は照れ臭い fact4: 照れ臭いモンスターはすばしっこいが御長けない ; $hypothesis$ = 「そのもよもわLv.14はすばしっこいけどそれは御長けるということはない」ということは成り立たない ; $proof$ = 
fact4 -> int1: そのもよもわLv.14が照れ臭いならすばしっこい一方で御長けるということはない; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> hypothesis; __DISPROVED__