そのまちゅまにLv.75は高くない
fact1: もしもこのぴえぴちょLv.68が崩壊し始めるとすればあのみゆみわLv.47は恐れ多い fact2: 仮にあのみゆみわLv.47が恐れ多いとしたら養生する fact3: このぴえぴちょLv.68が比較し難いとすればあのみゆみわLv.47は恐れ多い fact4: このぴえぴちょLv.68は崩壊し始めるかまたは比較し難いかもしくは両方である fact5: あのみゆみわLv.47は崩壊し始めるなら「このぴえぴちょLv.68は恐れ多い」ということは偽でない fact6: 「このぴえぴちょLv.68は恐れ多い」ということは正しい fact7: 仮にあのみゆみわLv.47は養生するとすれば「そのまちゅまにLv.75は高い」ということは確かだ fact8: 仮になにがしかのモンスターが崩壊し始めるならそれは恐れ多い
fact4 & fact1 & fact3 -> int1: あのみゆみわLv.47は恐れ多い; int1 & fact2 -> int2: あのみゆみわLv.47は養生する; int2 & fact7 -> hypothesis;
fact4 & fact1 & fact3 -> int1: {C}{c}; int1 & fact2 -> int2: {D}{c}; int2 & fact7 -> hypothesis;
あのぽよぽちょLv.59は恐れ多い
fact9 -> int3: もし仮にあのぽよぽちょLv.59が崩壊し始めればあのぽよぽちょLv.59は恐れ多い;
$facts$ = fact1: もしもこのぴえぴちょLv.68が崩壊し始めるとすればあのみゆみわLv.47は恐れ多い fact2: 仮にあのみゆみわLv.47が恐れ多いとしたら養生する fact3: このぴえぴちょLv.68が比較し難いとすればあのみゆみわLv.47は恐れ多い fact4: このぴえぴちょLv.68は崩壊し始めるかまたは比較し難いかもしくは両方である fact5: あのみゆみわLv.47は崩壊し始めるなら「このぴえぴちょLv.68は恐れ多い」ということは偽でない fact6: 「このぴえぴちょLv.68は恐れ多い」ということは正しい fact7: 仮にあのみゆみわLv.47は養生するとすれば「そのまちゅまにLv.75は高い」ということは確かだ fact8: 仮になにがしかのモンスターが崩壊し始めるならそれは恐れ多い ; $hypothesis$ = そのまちゅまにLv.75は高くない ; $proof$ = 
fact4 & fact1 & fact3 -> int1: あのみゆみわLv.47は恐れ多い; int1 & fact2 -> int2: あのみゆみわLv.47は養生する; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact1 & fact3 -> int1: {C}{c}; int1 & fact2 -> int2: {D}{c}; int2 & fact7 -> hypothesis; __DISPROVED__