このぽちゅぽいLv.91は意見しない
fact1: それは満載しないか人恋しいかもしくは両方だというモンスターはない fact2: もし仮に「そのまねまえLv.5は意見する」ということは正しいとするとあのぴよぴちゃLv.14は満載する fact3: もし仮に「このぽちゅぽいLv.91は満載しないかまたは人恋しいかもしくは両方である」ということは誤っているならこのぽちゅぽいLv.91は意見する fact4: 「なにがしかのモンスターは香ばしくないが猛々しい」ということは事実である fact5: 「このぽちゅぽいLv.91は滑り易くないかあるいは根気強いかあるいはどちらもである」ということは事実と異なる fact6: あらゆるモンスターは改変する
fact1 -> int1: 「このぽちゅぽいLv.91は満載するということはないかもしくは人恋しいかまたは両方である」ということは偽である; int1 & fact3 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact3 -> hypothesis;
あのぴよぴちゃLv.14は満載する
$facts$ = fact1: それは満載しないか人恋しいかもしくは両方だというモンスターはない fact2: もし仮に「そのまねまえLv.5は意見する」ということは正しいとするとあのぴよぴちゃLv.14は満載する fact3: もし仮に「このぽちゅぽいLv.91は満載しないかまたは人恋しいかもしくは両方である」ということは誤っているならこのぽちゅぽいLv.91は意見する fact4: 「なにがしかのモンスターは香ばしくないが猛々しい」ということは事実である fact5: 「このぽちゅぽいLv.91は滑り易くないかあるいは根気強いかあるいはどちらもである」ということは事実と異なる fact6: あらゆるモンスターは改変する ; $hypothesis$ = このぽちゅぽいLv.91は意見しない ; $proof$ = 
fact1 -> int1: 「このぽちゅぽいLv.91は満載するということはないかもしくは人恋しいかまたは両方である」ということは偽である; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact3 -> hypothesis; __DISPROVED__