そのまわまゆLv.6は薄ら寒くない
fact1: そのまよまにゃLv.92は得易い fact2: 「そのまよまにゃLv.92は君らしいしかつそれはちっちゃい」ということは誤っている fact3: もし仮に「そのまよまにゃLv.92は君らしいしそれはちっちゃい」ということは本当でないなら吸収され易くない fact4: もし仮に「薄ら寒い」モンスターがいればそのまわまゆLv.6は汚くない fact5: そのまよまにゃLv.92が得易いとすればそのまよまにゃLv.92はせせこましい fact6: もし仮に「そのまよまにゃLv.92は吸収され易くない」ということは真実であるならばそのまよまにゃLv.92は身軽くてさらに薄ら寒い fact7: そのまよまにゃLv.92がせせこましいかまたは汚いとしたらそのまわまゆLv.6は薄ら寒くない
fact5 & fact1 -> int1: そのまよまにゃLv.92はせせこましい; int1 -> int2: そのまよまにゃLv.92はせせこましいか汚いかもしくはどちらもである; int2 & fact7 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact7 -> hypothesis;
そのまわまゆLv.6はせせこましいかあるいは見極め難いかあるいはどちらもだ
fact9 & fact10 -> int3: そのまよまにゃLv.92は吸収され易くない; fact11 & int3 -> int4: そのまよまにゃLv.92は身軽いし薄ら寒い; int4 -> int5: そのまよまにゃLv.92は薄ら寒い; int5 -> int6: 「薄ら寒い」モンスターはいる; int6 & fact8 -> int7: そのまわまゆLv.6は汚くない;
$facts$ = fact1: そのまよまにゃLv.92は得易い fact2: 「そのまよまにゃLv.92は君らしいしかつそれはちっちゃい」ということは誤っている fact3: もし仮に「そのまよまにゃLv.92は君らしいしそれはちっちゃい」ということは本当でないなら吸収され易くない fact4: もし仮に「薄ら寒い」モンスターがいればそのまわまゆLv.6は汚くない fact5: そのまよまにゃLv.92が得易いとすればそのまよまにゃLv.92はせせこましい fact6: もし仮に「そのまよまにゃLv.92は吸収され易くない」ということは真実であるならばそのまよまにゃLv.92は身軽くてさらに薄ら寒い fact7: そのまよまにゃLv.92がせせこましいかまたは汚いとしたらそのまわまゆLv.6は薄ら寒くない ; $hypothesis$ = そのまわまゆLv.6は薄ら寒くない ; $proof$ = 
fact5 & fact1 -> int1: そのまよまにゃLv.92はせせこましい; int1 -> int2: そのまよまにゃLv.92はせせこましいか汚いかもしくはどちらもである; int2 & fact7 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact7 -> hypothesis; __PROVED__