「「そのぷにぷわLv.82は御悪いかまたは説明し難い」ということは真実である」ということは成り立たない
fact1: そのぷにぷわLv.82は思い出深いしまた御悪い fact2: そのぷにぷわLv.82が思い出深いならあのぴちょぴのLv.19は説明し難い fact3: もしもあのもえもちゃLv.45が心安いならばこのもゆもちょLv.22は止み難い一方で懐っこくない fact4: 「そのぷにぷわLv.82は思い出深い」ということは成り立つ fact5: このまにゃまにょLv.16は等ししまた思い出深い fact6: 止み難くないモンスターは御悪いし更に思い出深い
fact1 -> int1: そのぷにぷわLv.82は御悪い; int1 -> hypothesis;
fact1 -> int1: {B}{a}; int1 -> hypothesis;
「あのぴちょぴのLv.19は説明し難い」ということは成り立つ
fact7 -> int2: もし仮に「そのぷにぷわLv.82は止み難くない」ということは成り立つならそれは御悪いしかつそれは思い出深い;
$facts$ = fact1: そのぷにぷわLv.82は思い出深いしまた御悪い fact2: そのぷにぷわLv.82が思い出深いならあのぴちょぴのLv.19は説明し難い fact3: もしもあのもえもちゃLv.45が心安いならばこのもゆもちょLv.22は止み難い一方で懐っこくない fact4: 「そのぷにぷわLv.82は思い出深い」ということは成り立つ fact5: このまにゃまにょLv.16は等ししまた思い出深い fact6: 止み難くないモンスターは御悪いし更に思い出深い ; $hypothesis$ = 「「そのぷにぷわLv.82は御悪いかまたは説明し難い」ということは真実である」ということは成り立たない ; $proof$ = 
fact1 -> int1: そのぷにぷわLv.82は御悪い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 -> hypothesis; __DISPROVED__