「あのみにみくLv.11は利用し辛くない」ということは成り立つ
fact1: あのみにみくLv.11は儚いということはない fact2: もしもあのみにみくLv.11が多しけれどそれが賦課しないならばそれは利用し辛くない fact3: あのみにみくLv.11は脱ぎ捨てるということはなくてまたそれは多しない fact4: あのみにみくLv.11は多しない fact5: あのみにみくLv.11は多しないし賦課するということはない fact6: もし仮にあのみにみくLv.11が多しないしおまけに賦課しないならばそれは利用し辛くない
fact5 -> int1: あのみにみくLv.11は多しないし賦課するということはない; int1 & fact6 -> hypothesis;
fact5 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact6 -> hypothesis;
$facts$ = fact1: あのみにみくLv.11は儚いということはない fact2: もしもあのみにみくLv.11が多しけれどそれが賦課しないならばそれは利用し辛くない fact3: あのみにみくLv.11は脱ぎ捨てるということはなくてまたそれは多しない fact4: あのみにみくLv.11は多しない fact5: あのみにみくLv.11は多しないし賦課するということはない fact6: もし仮にあのみにみくLv.11が多しないしおまけに賦課しないならばそれは利用し辛くない ; $hypothesis$ = 「あのみにみくLv.11は利用し辛くない」ということは成り立つ ; $proof$ = 
fact5 -> int1: あのみにみくLv.11は多しないし賦課するということはない; int1 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact6 -> hypothesis; __PROVED__