そのぷちょぷゆLv.18は尊重出来る
fact1: そのぷちょぷゆLv.18は惨めったらしい fact2: ばあかしいモンスターは吸収し易い fact3: 惨めったらしいモンスターは口煩い fact4: もしも「何らかのモンスターは口煩くてかつ惨めったらしい」ということは誤りだとすると尊重出来ない fact5: そのぷちょぷゆLv.18が口煩いとするとそのぷちょぷゆLv.18は尊重出来る fact6: 「このぴちゃぴちゃLv.7は尊重出来る」ということは事実である
fact3 -> int1: 仮にそのぷちょぷゆLv.18は惨めったらしいとすると「そのぷちょぷゆLv.18は口煩い」ということは真実だ; int1 & fact1 -> int2: そのぷちょぷゆLv.18は口煩い; int2 & fact5 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact5 -> hypothesis;
そのぷちょぷゆLv.18は尊重出来ない
fact7 -> int3: 「「そのぷちょぷゆLv.18は口煩いししかも惨めったらしい」ということは本当である」ということは偽であるとしたらそれは尊重出来ない;
$facts$ = fact1: そのぷちょぷゆLv.18は惨めったらしい fact2: ばあかしいモンスターは吸収し易い fact3: 惨めったらしいモンスターは口煩い fact4: もしも「何らかのモンスターは口煩くてかつ惨めったらしい」ということは誤りだとすると尊重出来ない fact5: そのぷちょぷゆLv.18が口煩いとするとそのぷちょぷゆLv.18は尊重出来る fact6: 「このぴちゃぴちゃLv.7は尊重出来る」ということは事実である ; $hypothesis$ = そのぷちょぷゆLv.18は尊重出来る ; $proof$ = 
fact3 -> int1: 仮にそのぷちょぷゆLv.18は惨めったらしいとすると「そのぷちょぷゆLv.18は口煩い」ということは真実だ; int1 & fact1 -> int2: そのぷちょぷゆLv.18は口煩い; int2 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact5 -> hypothesis; __PROVED__