そのまにまえLv.6が書き難くないとすればそのまにまえLv.6は書き難くないし移ろい易いということはない
fact1: もしあるモンスターが書き難くないかまたは賛成し難くないかまたは両方であるとするとあのまわまわLv.13は書き難くない fact2: あらゆるモンスターは賛成し難いけど晒され易くない fact3: もしなにがしかのモンスターが晒され易くないとするとそれは書き難いということはないかあるいは賛成し難いということはないかあるいはどちらもだ fact4: そのまにまえLv.6は晒され易くない fact5: もしもあのぴにゅぴゆLv.73が賛成し難いがそれが晒され易くないとしたらそのまにまえLv.6は移ろい易くない fact6: 全てのモンスターは使い分けない
fact2 -> int1: あのぴにゅぴゆLv.73は賛成し難いけど晒され易くない; int1 & fact5 -> int2: そのまにまえLv.6は移ろい易くない; void -> assump1: 以下のように仮定する。そのまにまえLv.6は書き難くない; int2 & assump1 -> int3: 「そのまにまえLv.6は書き難くないし移ろい易くない」ということは確かである; [assump1] & int3 -> hypothesis;
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact5 -> int2: ¬{C}{a}; void -> assump1: ¬{D}{a}; int2 & assump1 -> int3: (¬{D}{a} & ¬{C}{a}); [assump1] & int3 -> hypothesis;
あのまわまわLv.13は書き難いということはない
fact8 -> int4: このぽのぽくLv.15は使い分けない; fact9 -> int5: もし仮にこのぽのぽくLv.15が晒され易いということはないならばこのぽのぽくLv.15は書き難くないか賛成し難くないかもしくは両方だ;
$facts$ = fact1: もしあるモンスターが書き難くないかまたは賛成し難くないかまたは両方であるとするとあのまわまわLv.13は書き難くない fact2: あらゆるモンスターは賛成し難いけど晒され易くない fact3: もしなにがしかのモンスターが晒され易くないとするとそれは書き難いということはないかあるいは賛成し難いということはないかあるいはどちらもだ fact4: そのまにまえLv.6は晒され易くない fact5: もしもあのぴにゅぴゆLv.73が賛成し難いがそれが晒され易くないとしたらそのまにまえLv.6は移ろい易くない fact6: 全てのモンスターは使い分けない ; $hypothesis$ = そのまにまえLv.6が書き難くないとすればそのまにまえLv.6は書き難くないし移ろい易いということはない ; $proof$ = 
fact2 -> int1: あのぴにゅぴゆLv.73は賛成し難いけど晒され易くない; int1 & fact5 -> int2: そのまにまえLv.6は移ろい易くない; void -> assump1: 以下のように仮定する。そのまにまえLv.6は書き難くない; int2 & assump1 -> int3: 「そのまにまえLv.6は書き難くないし移ろい易くない」ということは確かである; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact5 -> int2: ¬{C}{a}; void -> assump1: ¬{D}{a}; int2 & assump1 -> int3: (¬{D}{a} & ¬{C}{a}); [assump1] & int3 -> hypothesis; __PROVED__