あのまちゃまなLv.18は手緩くてかつ受理する
fact1: そのぷちょぷちょLv.29は物々しくない fact2: そのぷちょぷちょLv.29はいとおしくない fact3: もし仮にそのぷちょぷちょLv.29が味気なくなくていとおしくないとしたらあのまちゃまなLv.18は踏み止まれる fact4: あのまちゃまなLv.18は受理する fact5: もしもあのもちゃもゆLv.74が意味深くないならあのもちゃもゆLv.74はいとおしくない fact6: 仮に何らかのモンスターは物々しくないなら「それは手緩くて受理する」ということは誤りだ fact7: もし仮にあのまちゃまなLv.18は踏み止まれるとすれば「手緩い」ということは成り立つ fact8: 物々しくないモンスターは味気なくなくてその上いとおしくない fact9: あのまちゃまなLv.18は名状し難い fact10: 物々しくないモンスターは踏み止まれないし更に受理しない
fact8 -> int1: 仮にそのぷちょぷちょLv.29が物々しくないならそれは味気なくなくてその上いとおしくない; int1 & fact1 -> int2: そのぷちょぷちょLv.29は味気ないということはなくておまけにそれはいとおしくない; int2 & fact3 -> int3: あのまちゃまなLv.18は踏み止まれる; int3 & fact7 -> int4: あのまちゃまなLv.18は手緩い; int4 & fact4 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: {B}{a}; int3 & fact7 -> int4: {C}{a}; int4 & fact4 -> hypothesis;
「あのまちゃまなLv.18は手緩いし受理する」ということは成り立たない
fact11 -> int5: あのまちゃまなLv.18は物々しくないとすれば「それは手緩くて受理する」ということは成り立つということはない;
$facts$ = fact1: そのぷちょぷちょLv.29は物々しくない fact2: そのぷちょぷちょLv.29はいとおしくない fact3: もし仮にそのぷちょぷちょLv.29が味気なくなくていとおしくないとしたらあのまちゃまなLv.18は踏み止まれる fact4: あのまちゃまなLv.18は受理する fact5: もしもあのもちゃもゆLv.74が意味深くないならあのもちゃもゆLv.74はいとおしくない fact6: 仮に何らかのモンスターは物々しくないなら「それは手緩くて受理する」ということは誤りだ fact7: もし仮にあのまちゃまなLv.18は踏み止まれるとすれば「手緩い」ということは成り立つ fact8: 物々しくないモンスターは味気なくなくてその上いとおしくない fact9: あのまちゃまなLv.18は名状し難い fact10: 物々しくないモンスターは踏み止まれないし更に受理しない ; $hypothesis$ = あのまちゃまなLv.18は手緩くてかつ受理する ; $proof$ = 
fact8 -> int1: 仮にそのぷちょぷちょLv.29が物々しくないならそれは味気なくなくてその上いとおしくない; int1 & fact1 -> int2: そのぷちょぷちょLv.29は味気ないということはなくておまけにそれはいとおしくない; int2 & fact3 -> int3: あのまちゃまなLv.18は踏み止まれる; int3 & fact7 -> int4: あのまちゃまなLv.18は手緩い; int4 & fact4 -> hypothesis; __PROVED__
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: {B}{a}; int3 & fact7 -> int4: {C}{a}; int4 & fact4 -> hypothesis; __PROVED__