このもくもくLv.77はされ易くない
fact1: もし仮に「このまいまいLv.60は得られ易いがしかし油っぽくない」ということは間違いならそのまえまゆLv.75は世知辛い fact2: 仮にそのまえまゆLv.75はきもいかあるいは懐かしとしたら「このもくもくLv.77はされ易いということはない」ということは確かだ fact3: 仮にそのまえまゆLv.75が世知辛いとしたらそれは懐かし fact4: 「このまいまいLv.60は得られ易いけど油っぽくない」ということは成り立たない
fact1 & fact4 -> int1: そのまえまゆLv.75は世知辛い; fact3 & int1 -> int2: そのまえまゆLv.75は懐かし; int2 -> int3: そのまえまゆLv.75はきもいかあるいは懐かしかもしくは両方である; int3 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {A}{a}; fact3 & int1 -> int2: {B}{a}; int2 -> int3: ({C}{a} v {B}{a}); int3 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に「このまいまいLv.60は得られ易いがしかし油っぽくない」ということは間違いならそのまえまゆLv.75は世知辛い fact2: 仮にそのまえまゆLv.75はきもいかあるいは懐かしとしたら「このもくもくLv.77はされ易いということはない」ということは確かだ fact3: 仮にそのまえまゆLv.75が世知辛いとしたらそれは懐かし fact4: 「このまいまいLv.60は得られ易いけど油っぽくない」ということは成り立たない ; $hypothesis$ = このもくもくLv.77はされ易くない ; $proof$ = 
fact1 & fact4 -> int1: そのまえまゆLv.75は世知辛い; fact3 & int1 -> int2: そのまえまゆLv.75は懐かし; int2 -> int3: そのまえまゆLv.75はきもいかあるいは懐かしかもしくは両方である; int3 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {A}{a}; fact3 & int1 -> int2: {B}{a}; int2 -> int3: ({C}{a} v {B}{a}); int3 & fact2 -> hypothesis; __PROVED__