このみくみにょLv.82は上げ易いしおまけに旨い
fact1: このみくみにょLv.82は上げ易い fact2: 仮にこのまくまやLv.53は怖いとしたら「このみくみにょLv.82は旨い」ということは本当だ fact3: このまくまやLv.53は照れるしかつそれは怖い fact4: 仮にこのまくまやLv.53は照れないなら「このみくみにょLv.82は上げ易いし旨い」ということは間違っている
fact3 -> int1: 「このまくまやLv.53は怖い」ということは真実だ; int1 & fact2 -> int2: このみくみにょLv.82は旨い; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
「このみくみにょLv.82は上げ易くて加えて旨い」ということは間違いである
$facts$ = fact1: このみくみにょLv.82は上げ易い fact2: 仮にこのまくまやLv.53は怖いとしたら「このみくみにょLv.82は旨い」ということは本当だ fact3: このまくまやLv.53は照れるしかつそれは怖い fact4: 仮にこのまくまやLv.53は照れないなら「このみくみにょLv.82は上げ易いし旨い」ということは間違っている ; $hypothesis$ = このみくみにょLv.82は上げ易いしおまけに旨い ; $proof$ = 
fact3 -> int1: 「このまくまやLv.53は怖い」ということは真実だ; int1 & fact2 -> int2: このみくみにょLv.82は旨い; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__