そのもわもねLv.86は泥臭くない
fact1: あのぷなぷよLv.81は対応し易い fact2: あのぷなぷよLv.81が対応し易いとすると名残惜しい fact3: 仮にあのぷなぷよLv.81が好ましかまたはそれが名残惜しいとすればそのもわもねLv.86は泥臭いということはない fact4: あのみゆみにゅLv.59は名残惜しい
fact2 & fact1 -> int1: あのぷなぷよLv.81は名残惜しい; int1 -> int2: あのぷなぷよLv.81は好ましかもしくは名残惜しい; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぷなぷよLv.81は対応し易い fact2: あのぷなぷよLv.81が対応し易いとすると名残惜しい fact3: 仮にあのぷなぷよLv.81が好ましかまたはそれが名残惜しいとすればそのもわもねLv.86は泥臭いということはない fact4: あのみゆみにゅLv.59は名残惜しい ; $hypothesis$ = そのもわもねLv.86は泥臭くない ; $proof$ = 
fact2 & fact1 -> int1: あのぷなぷよLv.81は名残惜しい; int1 -> int2: あのぷなぷよLv.81は好ましかもしくは名残惜しい; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact3 -> hypothesis; __PROVED__