そのぴにょぴねLv.62は梃入れするし動かし難い
fact1: そのぴにょぴねLv.62は流せる fact2: もし「とあるモンスターは子供らしくないしおまけにそれはこそばゆくない」ということは成り立たないなら動かし難くない fact3: 「子供らしい」モンスターはいる fact4: もし仮に何らかのモンスターが子供らしいとするとそのみなみえLv.75は銘記しない fact5: そのみなみえLv.75が動かし難くないとするとそれが流せるしその上銘記する fact6: そのみなみえLv.75が銘記するということはないとするとそのぴにょぴねLv.62は流せる fact7: そのぴにょぴねLv.62は動かし難い fact8: そのみなみえLv.75は成され易い fact9: そのみなみえLv.75が銘記しないとするとそのぴにょぴねLv.62は梃入れするし更に流せる
fact3 & fact4 -> int1: そのみなみえLv.75は銘記しない; fact9 & int1 -> int2: そのぴにょぴねLv.62は梃入れするしそれにそれは流せる; int2 -> int3: そのぴにょぴねLv.62は梃入れする; int3 & fact7 -> hypothesis;
fact3 & fact4 -> int1: ¬{A}{a}; fact9 & int1 -> int2: ({AA}{b} & {AB}{b}); int2 -> int3: {AA}{b}; int3 & fact7 -> hypothesis;
そのみなみえLv.75は流せる
fact10 -> int4: もし「そのみなみえLv.75は子供らしくないしまたこそばゆくない」ということは間違っているとするとそのみなみえLv.75は動かし難くない;
$facts$ = fact1: そのぴにょぴねLv.62は流せる fact2: もし「とあるモンスターは子供らしくないしおまけにそれはこそばゆくない」ということは成り立たないなら動かし難くない fact3: 「子供らしい」モンスターはいる fact4: もし仮に何らかのモンスターが子供らしいとするとそのみなみえLv.75は銘記しない fact5: そのみなみえLv.75が動かし難くないとするとそれが流せるしその上銘記する fact6: そのみなみえLv.75が銘記するということはないとするとそのぴにょぴねLv.62は流せる fact7: そのぴにょぴねLv.62は動かし難い fact8: そのみなみえLv.75は成され易い fact9: そのみなみえLv.75が銘記しないとするとそのぴにょぴねLv.62は梃入れするし更に流せる ; $hypothesis$ = そのぴにょぴねLv.62は梃入れするし動かし難い ; $proof$ = 
fact3 & fact4 -> int1: そのみなみえLv.75は銘記しない; fact9 & int1 -> int2: そのぴにょぴねLv.62は梃入れするしそれにそれは流せる; int2 -> int3: そのぴにょぴねLv.62は梃入れする; int3 & fact7 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: ¬{A}{a}; fact9 & int1 -> int2: ({AA}{b} & {AB}{b}); int2 -> int3: {AA}{b}; int3 & fact7 -> hypothesis; __PROVED__