「このみちゃみちょLv.11は情け深いか良い」ということは間違いだ
fact1: そのみにゅみちょLv.73は売る fact2: このもちゅもわLv.89は思慮深いしさらに売る fact3: このみちゃみちょLv.11は魅了する fact4: 「このみちゃみちょLv.11が売ればこのもちゅもわLv.89は良い」ということは確かである fact5: このもちゅもわLv.89が思慮深いならばこのみちゃみちょLv.11は良い fact6: このみちゃみちょLv.11は思慮深いかまたは情け深いかあるいは両方である fact7: このもちゅもわLv.89が情け深いとすればこのみちゃみちょLv.11は売る
fact2 -> int1: このもちゅもわLv.89は思慮深い; int1 & fact5 -> int2: このみちゃみちょLv.11は良い; int2 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 -> hypothesis;
$facts$ = fact1: そのみにゅみちょLv.73は売る fact2: このもちゅもわLv.89は思慮深いしさらに売る fact3: このみちゃみちょLv.11は魅了する fact4: 「このみちゃみちょLv.11が売ればこのもちゅもわLv.89は良い」ということは確かである fact5: このもちゅもわLv.89が思慮深いならばこのみちゃみちょLv.11は良い fact6: このみちゃみちょLv.11は思慮深いかまたは情け深いかあるいは両方である fact7: このもちゅもわLv.89が情け深いとすればこのみちゃみちょLv.11は売る ; $hypothesis$ = 「このみちゃみちょLv.11は情け深いか良い」ということは間違いだ ; $proof$ = 
fact2 -> int1: このもちゅもわLv.89は思慮深い; int1 & fact5 -> int2: このみちゃみちょLv.11は良い; int2 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 -> hypothesis; __DISPROVED__