「とあるモンスターは壊れ易いかまたはそれは拡充するかまたは両方だ」ということは偽だ
fact1: あのみよみなLv.7は理屈っぽい fact2: 「そのもえもねLv.1は引き出し易くて惨殺する」ということは正しい fact3: あのもにもにゃLv.61は理屈っぽい fact4: あのもにもにゃLv.61が消化吸収され易いとするとそのもえもねLv.1は判別し易い fact5: 仮にそのもえもねLv.1が判別し易いならあのぽなぽちょLv.50は壊れ易い fact6: あのもにもにゃLv.61は理屈っぽいしまた消化吸収され易い
fact6 -> int1: あのもにもにゃLv.61は消化吸収され易い; int1 & fact4 -> int2: そのもえもねLv.1は判別し易い; int2 & fact5 -> int3: あのぽなぽちょLv.50は壊れ易い; int3 -> int4: あのぽなぽちょLv.50は壊れ易いかもしくは拡充するかまたは両方だ; int4 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 -> hypothesis;
$facts$ = fact1: あのみよみなLv.7は理屈っぽい fact2: 「そのもえもねLv.1は引き出し易くて惨殺する」ということは正しい fact3: あのもにもにゃLv.61は理屈っぽい fact4: あのもにもにゃLv.61が消化吸収され易いとするとそのもえもねLv.1は判別し易い fact5: 仮にそのもえもねLv.1が判別し易いならあのぽなぽちょLv.50は壊れ易い fact6: あのもにもにゃLv.61は理屈っぽいしまた消化吸収され易い ; $hypothesis$ = 「とあるモンスターは壊れ易いかまたはそれは拡充するかまたは両方だ」ということは偽だ ; $proof$ = 
fact6 -> int1: あのもにもにゃLv.61は消化吸収され易い; int1 & fact4 -> int2: そのもえもねLv.1は判別し易い; int2 & fact5 -> int3: あのぽなぽちょLv.50は壊れ易い; int3 -> int4: あのぽなぽちょLv.50は壊れ易いかもしくは拡充するかまたは両方だ; int4 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 -> hypothesis; __DISPROVED__