あのまにまにゅLv.51は自然らしくない
fact1: 仮にこのもわもちょLv.47が得られ難いとしたらそれは増え難い fact2: もし仮にこのもわもちょLv.47が女らしいということはないけど危ないとすればこのもわもちょLv.47は得られ難い fact3: このもわもちょLv.47は女らしいということはない一方で危ない fact4: もし仮にこのもわもちょLv.47がつべたいならあのまにまにゅLv.51は自然らしくない fact5: そのみにみゆLv.21は得られ難くない一方で注意深い fact6: 「もしもこのもわもちょLv.47が増え難いかそれがつべたいかもしくは両方ともならあのまにまにゅLv.51は自然らしくない」ということは確かである fact7: このもわもちょLv.47は危ない
fact3 & fact2 -> int1: 「このもわもちょLv.47は得られ難い」ということは成り立つ; fact1 & int1 -> int2: このもわもちょLv.47は増え難い; int2 -> int3: このもわもちょLv.47は増え難いかつべたいかもしくは両方だ; int3 & fact6 -> hypothesis;
fact3 & fact2 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 & fact6 -> hypothesis;
$facts$ = fact1: 仮にこのもわもちょLv.47が得られ難いとしたらそれは増え難い fact2: もし仮にこのもわもちょLv.47が女らしいということはないけど危ないとすればこのもわもちょLv.47は得られ難い fact3: このもわもちょLv.47は女らしいということはない一方で危ない fact4: もし仮にこのもわもちょLv.47がつべたいならあのまにまにゅLv.51は自然らしくない fact5: そのみにみゆLv.21は得られ難くない一方で注意深い fact6: 「もしもこのもわもちょLv.47が増え難いかそれがつべたいかもしくは両方ともならあのまにまにゅLv.51は自然らしくない」ということは確かである fact7: このもわもちょLv.47は危ない ; $hypothesis$ = あのまにまにゅLv.51は自然らしくない ; $proof$ = 
fact3 & fact2 -> int1: 「このもわもちょLv.47は得られ難い」ということは成り立つ; fact1 & int1 -> int2: このもわもちょLv.47は増え難い; int2 -> int3: このもわもちょLv.47は増え難いかつべたいかもしくは両方だ; int3 & fact6 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 & fact6 -> hypothesis; __PROVED__