あのまやまちょLv.59は小高い
fact1: このまちゃまゆLv.35は荒らし回らないとすれば「このまちゃまゆLv.35は駆け上がらないかもしくはそれは探り当てるかまたは両方だ」ということは成り立たない fact2: 取り組み易くないモンスターは選択され易くなくてふてぶてしくない fact3: 「白っぽい」モンスターはいる fact4: もし仮にそのぴにゅぴちょLv.49がふてぶてしいということはないとするとあのまやまちょLv.59が小高いしその上それは白っぽい fact5: 仮に何らかのモンスターが白っぽいならばあのまやまちょLv.59は小高いということはない
fact3 -> int1: 「白っぽい」モンスターはいる; int1 & fact5 -> hypothesis;
fact3 -> int1: (Ex): {A}x; int1 & fact5 -> hypothesis;
あのまやまちょLv.59は小高い
fact7 -> int2: 仮にそのぴにゅぴちょLv.49が取り組み易くないとするとそれは選択され易くなくてしかもふてぶてしくない;
$facts$ = fact1: このまちゃまゆLv.35は荒らし回らないとすれば「このまちゃまゆLv.35は駆け上がらないかもしくはそれは探り当てるかまたは両方だ」ということは成り立たない fact2: 取り組み易くないモンスターは選択され易くなくてふてぶてしくない fact3: 「白っぽい」モンスターはいる fact4: もし仮にそのぴにゅぴちょLv.49がふてぶてしいということはないとするとあのまやまちょLv.59が小高いしその上それは白っぽい fact5: 仮に何らかのモンスターが白っぽいならばあのまやまちょLv.59は小高いということはない ; $hypothesis$ = あのまやまちょLv.59は小高い ; $proof$ = 
fact3 -> int1: 「白っぽい」モンスターはいる; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: (Ex): {A}x; int1 & fact5 -> hypothesis; __DISPROVED__