「「もし仮に物憂いとするとみっとも可愛くないかもしくは召し上げる」モンスターはいる」ということは誤っている
fact1: 物憂いモンスターはみっとも可愛いということはないかもしくは召し上げるかあるいは両方だ fact2: あのぷねぷにょLv.89が物憂いとするとあのぷねぷにょLv.89はみっとも可愛いかそれは召し上げる fact3: 「もし物憂いならばみっとも可愛いかまたは召し上げる」モンスターはいる fact4: 呼び易いモンスターは大人気無くないかまたはこそばゆいかもしくは両方だ fact5: 「あのぷねぷにょLv.89は小狡い」ということは成り立てばそれはしおらしくないかもしくは回せるかもしくは両方ともである
fact1 -> int1: もしもあのぷねぷにょLv.89が物憂いとしたらそれはみっとも可愛くないかそれは召し上げる; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 物憂いモンスターはみっとも可愛いということはないかもしくは召し上げるかあるいは両方だ fact2: あのぷねぷにょLv.89が物憂いとするとあのぷねぷにょLv.89はみっとも可愛いかそれは召し上げる fact3: 「もし物憂いならばみっとも可愛いかまたは召し上げる」モンスターはいる fact4: 呼び易いモンスターは大人気無くないかまたはこそばゆいかもしくは両方だ fact5: 「あのぷねぷにょLv.89は小狡い」ということは成り立てばそれはしおらしくないかもしくは回せるかもしくは両方ともである ; $hypothesis$ = 「「もし仮に物憂いとするとみっとも可愛くないかもしくは召し上げる」モンスターはいる」ということは誤っている ; $proof$ = 
fact1 -> int1: もしもあのぷねぷにょLv.89が物憂いとしたらそれはみっとも可愛くないかそれは召し上げる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis; __DISPROVED__