「勃興するし伝え難い」モンスターはいる
fact1: 「「伝え難い」ということは成り立つ」モンスターはいる fact2: 慎み深いということはないモンスターは乗り難くなくて更に罷り通らない fact3: もしもあのみいみくLv.46が乗り難いならあのぴのぴちゃLv.39は勃興する fact4: あのみいみくLv.46は慎み深くて罷り通る fact5: あのぴのぴちゃLv.39は伝え難い fact6: 仮に「あのみいみくLv.46は罷り通る」ということは成り立つとしたらあのみいみくLv.46は乗り難い fact7: 仮に伝え難いモンスターが勃興するとすればそれは慎み深くない
fact4 -> int1: あのみいみくLv.46は罷り通る; int1 & fact6 -> int2: あのみいみくLv.46は乗り難い; int2 & fact3 -> int3: あのぴのぴちゃLv.39は勃興する; int3 & fact5 -> int4: あのぴのぴちゃLv.39は勃興するしかつ伝え難い; int4 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact5 -> int4: ({D}{b} & {E}{b}); int4 -> hypothesis;
そのまゆまにゃLv.33は罷り通る
fact8 -> int5: もしもあのみいみくLv.46が慎み深くないとすれば乗り難くないししかも罷り通らない; fact9 -> int6: 仮にあのみいみくLv.46が伝え難くてそれが勃興するとすると慎み深くない;
$facts$ = fact1: 「「伝え難い」ということは成り立つ」モンスターはいる fact2: 慎み深いということはないモンスターは乗り難くなくて更に罷り通らない fact3: もしもあのみいみくLv.46が乗り難いならあのぴのぴちゃLv.39は勃興する fact4: あのみいみくLv.46は慎み深くて罷り通る fact5: あのぴのぴちゃLv.39は伝え難い fact6: 仮に「あのみいみくLv.46は罷り通る」ということは成り立つとしたらあのみいみくLv.46は乗り難い fact7: 仮に伝え難いモンスターが勃興するとすればそれは慎み深くない ; $hypothesis$ = 「勃興するし伝え難い」モンスターはいる ; $proof$ = 
fact4 -> int1: あのみいみくLv.46は罷り通る; int1 & fact6 -> int2: あのみいみくLv.46は乗り難い; int2 & fact3 -> int3: あのぴのぴちゃLv.39は勃興する; int3 & fact5 -> int4: あのぴのぴちゃLv.39は勃興するしかつ伝え難い; int4 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact5 -> int4: ({D}{b} & {E}{b}); int4 -> hypothesis; __PROVED__