「あのみゆみちゃLv.41は御覧下さらないが縁遠い」ということは成り立たない
fact1: 「あのみゆみちゃLv.41は御覧下さるししかも縁遠い」ということは嘘である fact2: 仮にあのみゆみちゃLv.41は眠たいならば「それは御覧下さらないけど縁遠い」ということは成り立たない fact3: 仮にそのもよもいLv.38が入り辛くないとしたらあのみゆみちゃLv.41は救い難い fact4: もし仮にあのみゆみちゃLv.41が救い難いとすると眠たい fact5: もし仮に「あのぽよぽちゃLv.41は入り辛い」ということは成り立つとしたらあのみゆみちゃLv.41は手荒い fact6: あのぽよぽちゃLv.41は手荒くない fact7: もしあのぽよぽちゃLv.41は手荒くないならば「このぷにょぷちゃLv.91は説き示すし色っぽい」ということは成り立たない fact8: 手荒いモンスターは御覧下さらないけれど縁遠い fact9: あのぽよぽちゃLv.41は手荒くないとすると「このぷにょぷちゃLv.91は説き示さないけど色っぽい」ということは本当でない fact10: もしも「このぷにょぷちゃLv.91は説き示さないけどそれは色っぽい」ということは成り立たないとしたらそのもよもいLv.38は入り辛くない
fact9 & fact6 -> int1: 「このぷにょぷちゃLv.91は説き示さないがしかし色っぽい」ということは本当でない; int1 & fact10 -> int2: そのもよもいLv.38は入り辛くない; int2 & fact3 -> int3: あのみゆみちゃLv.41は救い難い; int3 & fact4 -> int4: あのみゆみちゃLv.41は眠たい; int4 & fact2 -> hypothesis;
fact9 & fact6 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact10 -> int2: ¬{B}{c}; int2 & fact3 -> int3: {C}{d}; int3 & fact4 -> int4: {D}{d}; int4 & fact2 -> hypothesis;
あのみゆみちゃLv.41は御覧下さらないけど縁遠い
fact11 -> int5: 仮にあのみゆみちゃLv.41が手荒いとすればそれは御覧下さらないけど縁遠い;
$facts$ = fact1: 「あのみゆみちゃLv.41は御覧下さるししかも縁遠い」ということは嘘である fact2: 仮にあのみゆみちゃLv.41は眠たいならば「それは御覧下さらないけど縁遠い」ということは成り立たない fact3: 仮にそのもよもいLv.38が入り辛くないとしたらあのみゆみちゃLv.41は救い難い fact4: もし仮にあのみゆみちゃLv.41が救い難いとすると眠たい fact5: もし仮に「あのぽよぽちゃLv.41は入り辛い」ということは成り立つとしたらあのみゆみちゃLv.41は手荒い fact6: あのぽよぽちゃLv.41は手荒くない fact7: もしあのぽよぽちゃLv.41は手荒くないならば「このぷにょぷちゃLv.91は説き示すし色っぽい」ということは成り立たない fact8: 手荒いモンスターは御覧下さらないけれど縁遠い fact9: あのぽよぽちゃLv.41は手荒くないとすると「このぷにょぷちゃLv.91は説き示さないけど色っぽい」ということは本当でない fact10: もしも「このぷにょぷちゃLv.91は説き示さないけどそれは色っぽい」ということは成り立たないとしたらそのもよもいLv.38は入り辛くない ; $hypothesis$ = 「あのみゆみちゃLv.41は御覧下さらないが縁遠い」ということは成り立たない ; $proof$ = 
fact9 & fact6 -> int1: 「このぷにょぷちゃLv.91は説き示さないがしかし色っぽい」ということは本当でない; int1 & fact10 -> int2: そのもよもいLv.38は入り辛くない; int2 & fact3 -> int3: あのみゆみちゃLv.41は救い難い; int3 & fact4 -> int4: あのみゆみちゃLv.41は眠たい; int4 & fact2 -> hypothesis; __PROVED__
fact9 & fact6 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact10 -> int2: ¬{B}{c}; int2 & fact3 -> int3: {C}{d}; int3 & fact4 -> int4: {D}{d}; int4 & fact2 -> hypothesis; __PROVED__