「そのもにもくLv.25は分厚くないし御偉くない」ということは真実でない
fact1: あのぴにぴえLv.31が涙脆いとしたらそれは陥り易い fact2: あのぴにぴえLv.31は寒々しいということはないし加えて傷付き易くないならそれは涙脆い fact3: あのぴにぴえLv.31は燃やす fact4: あのぴにぴえLv.31は寒々しいということはないしさらにそれは傷付き易くない fact5: もし仮にそのもにもくLv.25が御偉いとするとそのもにもくLv.25は傷付き易い fact6: 仮にそのまよまちゃLv.12が分厚くないとしたらそのもにもくLv.25は分厚くなくて加えて御偉くない fact7: 「もしも「あのぴにぴえLv.31は寒々しくないけど傷付き易い」ということは本当であるならばあのぴにぴえLv.31は涙脆い」ということは確かである fact8: あのぴにぴえLv.31は傷付き易くない fact9: そのまよまちゃLv.12が分厚くないとすればそのもにもくLv.25は御偉いということはない
fact2 & fact4 -> int1: あのぴにぴえLv.31は涙脆い; int1 & fact1 -> int2: あのぴにぴえLv.31は陥り易い; int2 & fact3 -> int3: あのぴにぴえLv.31は燃やすしまた陥り易い;
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{a}; int2 & fact3 -> int3: ({C}{a} & {A}{a});
$facts$ = fact1: あのぴにぴえLv.31が涙脆いとしたらそれは陥り易い fact2: あのぴにぴえLv.31は寒々しいということはないし加えて傷付き易くないならそれは涙脆い fact3: あのぴにぴえLv.31は燃やす fact4: あのぴにぴえLv.31は寒々しいということはないしさらにそれは傷付き易くない fact5: もし仮にそのもにもくLv.25が御偉いとするとそのもにもくLv.25は傷付き易い fact6: 仮にそのまよまちゃLv.12が分厚くないとしたらそのもにもくLv.25は分厚くなくて加えて御偉くない fact7: 「もしも「あのぴにぴえLv.31は寒々しくないけど傷付き易い」ということは本当であるならばあのぴにぴえLv.31は涙脆い」ということは確かである fact8: あのぴにぴえLv.31は傷付き易くない fact9: そのまよまちゃLv.12が分厚くないとすればそのもにもくLv.25は御偉いということはない ; $hypothesis$ = 「そのもにもくLv.25は分厚くないし御偉くない」ということは真実でない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__