「このみいみにLv.37は悪しないかあるいは確からしい」ということは嘘である
fact1: このみいみにLv.37は悪しということはないとすると「このぽちゃぽのLv.94は確からしくないかそれは悪し」ということは成り立たない fact2: 「このぽちゃぽのLv.94は喧しい」ということは成り立つ fact3: 喧しいモンスターは目覚ましくないしおまけに確からしくない fact4: あのみにみにLv.90は悪しない fact5: 仮にこのぽちゃぽのLv.94は確からしくないならば「「このみいみにLv.37は悪しないかもしくは確からしいかまたはどちらもだ」ということは事実だ」ということは事実と異なる
fact3 -> int1: このぽちゃぽのLv.94が喧しいとするとこのぽちゃぽのLv.94は目覚ましくなくて確からしくない; int1 & fact2 -> int2: このぽちゃぽのLv.94は目覚ましくなくて確からしくない; int2 -> int3: このぽちゃぽのLv.94は確からしくない; int3 & fact5 -> hypothesis;
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> int3: ¬{AB}{aa}; int3 & fact5 -> hypothesis;
$facts$ = fact1: このみいみにLv.37は悪しということはないとすると「このぽちゃぽのLv.94は確からしくないかそれは悪し」ということは成り立たない fact2: 「このぽちゃぽのLv.94は喧しい」ということは成り立つ fact3: 喧しいモンスターは目覚ましくないしおまけに確からしくない fact4: あのみにみにLv.90は悪しない fact5: 仮にこのぽちゃぽのLv.94は確からしくないならば「「このみいみにLv.37は悪しないかもしくは確からしいかまたはどちらもだ」ということは事実だ」ということは事実と異なる ; $hypothesis$ = 「このみいみにLv.37は悪しないかあるいは確からしい」ということは嘘である ; $proof$ = 
fact3 -> int1: このぽちゃぽのLv.94が喧しいとするとこのぽちゃぽのLv.94は目覚ましくなくて確からしくない; int1 & fact2 -> int2: このぽちゃぽのLv.94は目覚ましくなくて確からしくない; int2 -> int3: このぽちゃぽのLv.94は確からしくない; int3 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> int3: ¬{AB}{aa}; int3 & fact5 -> hypothesis; __PROVED__