「仮にあのぷにょぷくLv.65が分かり易くないならばあのぷにょぷくLv.65は御寂しいししかも居辛い」ということは成り立たない
fact1: もしも何らかのモンスターが両断するということはないとしたらそれは分かり易くて御寂しい fact2: あのぷにょぷくLv.65が分かり易くないとしたら御寂しい fact3: 恥ずかしいモンスターは両断するということはない fact4: もし仮にあのぷにょぷくLv.65が分かり易いならばあのぽねぽなLv.77は分かり易い fact5: 「あのぷにょぷくLv.65は居辛くない」ということは間違いだ fact6: 「分かり易いモンスターは居辛い」ということは本当である
void -> assump1: 以下のように仮定する。あのぷにょぷくLv.65は分かり易くない; fact2 & assump1 -> int1: あのぷにょぷくLv.65は御寂しい; int1 & fact5 -> int2: あのぷにょぷくLv.65は御寂しくてそれは居辛い; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); [assump1] & int2 -> hypothesis;
あのぽねぽなLv.77は居辛い
fact9 -> int3: もしもあのぽねぽなLv.77が分かり易いならばそれは居辛い; fact7 -> int4: もしもあのぷにょぷくLv.65が両断するということはないとするとそれが分かり易いしその上それは御寂しい; fact8 -> int5: もしもあのぷにょぷくLv.65が恥ずかしいならあのぷにょぷくLv.65は両断しない;
$facts$ = fact1: もしも何らかのモンスターが両断するということはないとしたらそれは分かり易くて御寂しい fact2: あのぷにょぷくLv.65が分かり易くないとしたら御寂しい fact3: 恥ずかしいモンスターは両断するということはない fact4: もし仮にあのぷにょぷくLv.65が分かり易いならばあのぽねぽなLv.77は分かり易い fact5: 「あのぷにょぷくLv.65は居辛くない」ということは間違いだ fact6: 「分かり易いモンスターは居辛い」ということは本当である ; $hypothesis$ = 「仮にあのぷにょぷくLv.65が分かり易くないならばあのぷにょぷくLv.65は御寂しいししかも居辛い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷにょぷくLv.65は分かり易くない; fact2 & assump1 -> int1: あのぷにょぷくLv.65は御寂しい; int1 & fact5 -> int2: あのぷにょぷくLv.65は御寂しくてそれは居辛い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); [assump1] & int2 -> hypothesis; __DISPROVED__