そのぴにゃぴくLv.81は麗しくないけれどそれは順応し易い
fact1: そのもなもよLv.83は慈愛深い fact2: 否定し難くないモンスターは慈愛深くて加えて麗しい fact3: そのもなもよLv.83は順応し易い fact4: 仮にそのぴにゃぴくLv.81が慈愛深いとしたらそのもなもよLv.83は順応し易くない一方で麗しい fact5: もしそのもなもよLv.83が慈愛深いならそのぴにゃぴくLv.81は麗しくない一方で順応し易い
fact1 -> int1: そのもなもよLv.83は慈愛深い; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
そのもねもねLv.24は順応し易い
fact6 -> int2: 仮にそのもなもよLv.83が否定し難いということはないならそのもなもよLv.83は慈愛深くてまた麗しい;
$facts$ = fact1: そのもなもよLv.83は慈愛深い fact2: 否定し難くないモンスターは慈愛深くて加えて麗しい fact3: そのもなもよLv.83は順応し易い fact4: 仮にそのぴにゃぴくLv.81が慈愛深いとしたらそのもなもよLv.83は順応し易くない一方で麗しい fact5: もしそのもなもよLv.83が慈愛深いならそのぴにゃぴくLv.81は麗しくない一方で順応し易い ; $hypothesis$ = そのぴにゃぴくLv.81は麗しくないけれどそれは順応し易い ; $proof$ = 
fact1 -> int1: そのもなもよLv.83は慈愛深い; int1 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __PROVED__