そのまゆまねLv.58は説き給う
fact1: そのぷにぷゆLv.90は混濁するしまた介す fact2: そのぷいぷわLv.64は欲しい fact3: もしそのぴわぴにゃLv.75が説き給うとするとそのまゆまねLv.58は説き給う fact4: もしもそのぷいぷわLv.64は欲しいし結び付き易いとしたら「そのまゆまねLv.58は説き給うということはない」ということは真実である fact5: 仮にそのぴわぴにゃLv.75が無理無いならあのもくもいLv.42は反撃出来る fact6: もし仮にそのぴわぴにゃLv.75が混濁するならあのもくもいLv.42は反撃出来る fact7: そのぴわぴにゃLv.75は混濁するかまたはそれは無理無いかまたはどちらもである fact8: あのもくもいLv.42が反撃出来るとすればそのぷいぷわLv.64は結び付き易い
fact7 & fact6 & fact5 -> int1: あのもくもいLv.42は反撃出来る; int1 & fact8 -> int2: そのぷいぷわLv.64は結び付き易い; int2 & fact2 -> int3: そのぷいぷわLv.64は欲しいしかつ結び付き易い; int3 & fact4 -> hypothesis;
fact7 & fact6 & fact5 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{b}; int2 & fact2 -> int3: ({E}{b} & {D}{b}); int3 & fact4 -> hypothesis;
そのまゆまねLv.58は説き給う
$facts$ = fact1: そのぷにぷゆLv.90は混濁するしまた介す fact2: そのぷいぷわLv.64は欲しい fact3: もしそのぴわぴにゃLv.75が説き給うとするとそのまゆまねLv.58は説き給う fact4: もしもそのぷいぷわLv.64は欲しいし結び付き易いとしたら「そのまゆまねLv.58は説き給うということはない」ということは真実である fact5: 仮にそのぴわぴにゃLv.75が無理無いならあのもくもいLv.42は反撃出来る fact6: もし仮にそのぴわぴにゃLv.75が混濁するならあのもくもいLv.42は反撃出来る fact7: そのぴわぴにゃLv.75は混濁するかまたはそれは無理無いかまたはどちらもである fact8: あのもくもいLv.42が反撃出来るとすればそのぷいぷわLv.64は結び付き易い ; $hypothesis$ = そのまゆまねLv.58は説き給う ; $proof$ = 
fact7 & fact6 & fact5 -> int1: あのもくもいLv.42は反撃出来る; int1 & fact8 -> int2: そのぷいぷわLv.64は結び付き易い; int2 & fact2 -> int3: そのぷいぷわLv.64は欲しいしかつ結び付き易い; int3 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact6 & fact5 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{b}; int2 & fact2 -> int3: ({E}{b} & {D}{b}); int3 & fact4 -> hypothesis; __DISPROVED__