このもねもねLv.18は御暇しない
fact1: このみねみわLv.64は記載・記録する fact2: 仮に「あのぷくぷなLv.48は御暇するし更に日本人らしい」ということは間違っているとすればこのもねもねLv.18は御暇しない fact3: もしそのぷなぷちゃLv.69が築き難いとしたらこのもねもねLv.18は御暇する fact4: そのぷなぷちゃLv.69が御暇するということはないとしたらあのぷくぷなLv.48は日本人らしいかもしくはそれは築き難いかあるいは両方ともだ fact5: もしあのぷくぷなLv.48が日本人らしいとしたらそのぷなぷちゃLv.69は築き難い fact6: もしもあのぷくぷなLv.48は記載・記録するなら「日本人らしくない」ということは偽である fact7: 仮に「そのぷゆぷちゅLv.78はめでたしない」ということは成り立たないとすれば「「そのぷなぷちゃLv.69は恭しくなくてさらに築き難くない」ということは正しい」ということは嘘だ fact8: あのぷくぷなLv.48は記載・記録する fact9: もしそのぷなぷちゃLv.69は記載・記録しないとすると「あのぷくぷなLv.48は御暇するしそれは日本人らしい」ということは成り立たない
fact6 & fact8 -> int1: あのぷくぷなLv.48は日本人らしい; int1 & fact5 -> int2: そのぷなぷちゃLv.69は築き難い; int2 & fact3 -> hypothesis;
fact6 & fact8 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
あのぽにょぽちょLv.90は記載・記録する
$facts$ = fact1: このみねみわLv.64は記載・記録する fact2: 仮に「あのぷくぷなLv.48は御暇するし更に日本人らしい」ということは間違っているとすればこのもねもねLv.18は御暇しない fact3: もしそのぷなぷちゃLv.69が築き難いとしたらこのもねもねLv.18は御暇する fact4: そのぷなぷちゃLv.69が御暇するということはないとしたらあのぷくぷなLv.48は日本人らしいかもしくはそれは築き難いかあるいは両方ともだ fact5: もしあのぷくぷなLv.48が日本人らしいとしたらそのぷなぷちゃLv.69は築き難い fact6: もしもあのぷくぷなLv.48は記載・記録するなら「日本人らしくない」ということは偽である fact7: 仮に「そのぷゆぷちゅLv.78はめでたしない」ということは成り立たないとすれば「「そのぷなぷちゃLv.69は恭しくなくてさらに築き難くない」ということは正しい」ということは嘘だ fact8: あのぷくぷなLv.48は記載・記録する fact9: もしそのぷなぷちゃLv.69は記載・記録しないとすると「あのぷくぷなLv.48は御暇するしそれは日本人らしい」ということは成り立たない ; $hypothesis$ = このもねもねLv.18は御暇しない ; $proof$ = 
fact6 & fact8 -> int1: あのぷくぷなLv.48は日本人らしい; int1 & fact5 -> int2: そのぷなぷちゃLv.69は築き難い; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact8 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__