「あのぽねぽのLv.50は拭い難くて更に当て付けがましい」ということは間違っている
fact1: あのぽねぽのLv.50は当て付けがましい fact2: もしもそのぷにゅぷよLv.42がちょろいならあのぽねぽのLv.50はちょろくない fact3: 「あのぽねぽのLv.50はちょろくないが熱い」ということは誤っていない fact4: あのぽねぽのLv.50はちょろくない fact5: もし仮にあのぽねぽのLv.50が熱いならあのぽねぽのLv.50は拭い難い
fact3 -> int1: あのぽねぽのLv.50は熱い; int1 & fact5 -> int2: あのぽねぽのLv.50は拭い難い; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
「あのぽねぽのLv.50は拭い難くて更に当て付けがましい」ということは間違っている
$facts$ = fact1: あのぽねぽのLv.50は当て付けがましい fact2: もしもそのぷにゅぷよLv.42がちょろいならあのぽねぽのLv.50はちょろくない fact3: 「あのぽねぽのLv.50はちょろくないが熱い」ということは誤っていない fact4: あのぽねぽのLv.50はちょろくない fact5: もし仮にあのぽねぽのLv.50が熱いならあのぽねぽのLv.50は拭い難い ; $hypothesis$ = 「あのぽねぽのLv.50は拭い難くて更に当て付けがましい」ということは間違っている ; $proof$ = 
fact3 -> int1: あのぽねぽのLv.50は熱い; int1 & fact5 -> int2: あのぽねぽのLv.50は拭い難い; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__