このまのまなLv.56は相提携しない
fact1: もしこのまのまなLv.56は細いししかも優しいとすればそれは勇ましくない fact2: このまのまなLv.56は打ち易い fact3: そのまちゅまちゅLv.72は細くて管理し易い fact4: もしもなにがしかのモンスターは愛しまないなら「細いということはないけど相提携する」ということは間違いである fact5: このまのまなLv.56は愛しむしまた細い fact6: もし仮にこのまのまなLv.56が打ち易いしまた愛しめばこのまのまなLv.56は相提携しない
fact5 -> int1: このまのまなLv.56は愛しむ; int1 & fact2 -> int2: このまのまなLv.56は打ち易いし加えて愛しむ; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & {A}{a}); int2 & fact6 -> hypothesis;
そのもちゅもえLv.47は相提携しない
fact7 -> int3: 仮にそのもちゅもえLv.47は愛しむということはないとすれば「「それは細くないしかつそれは相提携する」ということは事実と異ならない」ということは成り立つということはない;
$facts$ = fact1: もしこのまのまなLv.56は細いししかも優しいとすればそれは勇ましくない fact2: このまのまなLv.56は打ち易い fact3: そのまちゅまちゅLv.72は細くて管理し易い fact4: もしもなにがしかのモンスターは愛しまないなら「細いということはないけど相提携する」ということは間違いである fact5: このまのまなLv.56は愛しむしまた細い fact6: もし仮にこのまのまなLv.56が打ち易いしまた愛しめばこのまのまなLv.56は相提携しない ; $hypothesis$ = このまのまなLv.56は相提携しない ; $proof$ = 
fact5 -> int1: このまのまなLv.56は愛しむ; int1 & fact2 -> int2: このまのまなLv.56は打ち易いし加えて愛しむ; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & {A}{a}); int2 & fact6 -> hypothesis; __PROVED__