あのぽにぽえLv.80は全否定する
fact1: もしもこのぴやぴよLv.28は遅れ易いなら「あのぽにぽえLv.80は明け暮れするがしかしそれは売れ始めない」ということは成り立たない fact2: もし仮に何らかのモンスターが全否定すればそれは売れ始める fact3: あのぽにぽえLv.80は管掌しない fact4: もし仮にあのぽにぽえLv.80が遅れ易いなら全否定する fact5: 仮にあのぽにぽえLv.80が管掌しないならあのぽにぽえLv.80は売れ始めるしかつそれは明け暮れする fact6: もし仮になんらかのモンスターは売れ始めるとすれば「明け暮れするということはないしかつそれは遅れ易くない」ということは間違っている fact7: もしも「あのぽにぽえLv.80は売れ始める」ということは成り立つとすればあのぽにぽえLv.80は遅れ易い fact8: もし仮に「とあるモンスターは明け暮れしなくて遅れ易くない」ということは成り立たないとしたら明け暮れする
fact5 & fact3 -> int1: あのぽにぽえLv.80は売れ始めるし明け暮れする; int1 -> int2: あのぽにぽえLv.80は売れ始める; int2 & fact7 -> int3: あのぽにぽえLv.80は遅れ易い; int3 & fact4 -> hypothesis;
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact7 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
あのぽにぽえLv.80は全否定しない
$facts$ = fact1: もしもこのぴやぴよLv.28は遅れ易いなら「あのぽにぽえLv.80は明け暮れするがしかしそれは売れ始めない」ということは成り立たない fact2: もし仮に何らかのモンスターが全否定すればそれは売れ始める fact3: あのぽにぽえLv.80は管掌しない fact4: もし仮にあのぽにぽえLv.80が遅れ易いなら全否定する fact5: 仮にあのぽにぽえLv.80が管掌しないならあのぽにぽえLv.80は売れ始めるしかつそれは明け暮れする fact6: もし仮になんらかのモンスターは売れ始めるとすれば「明け暮れするということはないしかつそれは遅れ易くない」ということは間違っている fact7: もしも「あのぽにぽえLv.80は売れ始める」ということは成り立つとすればあのぽにぽえLv.80は遅れ易い fact8: もし仮に「とあるモンスターは明け暮れしなくて遅れ易くない」ということは成り立たないとしたら明け暮れする ; $hypothesis$ = あのぽにぽえLv.80は全否定する ; $proof$ = 
fact5 & fact3 -> int1: あのぽにぽえLv.80は売れ始めるし明け暮れする; int1 -> int2: あのぽにぽえLv.80は売れ始める; int2 & fact7 -> int3: あのぽにぽえLv.80は遅れ易い; int3 & fact4 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact7 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __PROVED__