あのもわもゆLv.35は打ち鳴らすということはない
fact1: 仮に「「測り難いということはないししかも打ち鳴らす」ということは間違いな」モンスターがいるとしたらあのぷのぷなLv.84は照会する fact2: 仮に何らかのモンスターは決め難くないとすると「それは測り難いということはないし打ち鳴らす」ということは成り立たない fact3: 「このぽにぽなLv.47はブラバスらしい」ということは事実である fact4: すべてのモンスターは決め難くないが広し fact5: このぽにぽなLv.47が照会するとしたらこのぽにぽなLv.47は測り難い fact6: もしこのぽにぽなLv.47がブラバスらしいけれど照会するということはないとすればあのもわもゆLv.35は打ち鳴らさない fact7: このぽにぽなLv.47はブラバスらしいし照会する fact8: 仮にこのぽにぽなLv.47が測り難いならあのもわもゆLv.35は打ち鳴らす
fact7 -> int1: このぽにぽなLv.47は照会する; int1 & fact5 -> int2: このぽにぽなLv.47は測り難い; int2 & fact8 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
あのもわもゆLv.35は打ち鳴らすということはない
$facts$ = fact1: 仮に「「測り難いということはないししかも打ち鳴らす」ということは間違いな」モンスターがいるとしたらあのぷのぷなLv.84は照会する fact2: 仮に何らかのモンスターは決め難くないとすると「それは測り難いということはないし打ち鳴らす」ということは成り立たない fact3: 「このぽにぽなLv.47はブラバスらしい」ということは事実である fact4: すべてのモンスターは決め難くないが広し fact5: このぽにぽなLv.47が照会するとしたらこのぽにぽなLv.47は測り難い fact6: もしこのぽにぽなLv.47がブラバスらしいけれど照会するということはないとすればあのもわもゆLv.35は打ち鳴らさない fact7: このぽにぽなLv.47はブラバスらしいし照会する fact8: 仮にこのぽにぽなLv.47が測り難いならあのもわもゆLv.35は打ち鳴らす ; $hypothesis$ = あのもわもゆLv.35は打ち鳴らすということはない ; $proof$ = 
fact7 -> int1: このぽにぽなLv.47は照会する; int1 & fact5 -> int2: このぽにぽなLv.47は測り難い; int2 & fact8 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __DISPROVED__