あのまにゃまにゅLv.92は貫流しない
fact1: もしも「そのぴねぴにLv.70は慕わしい」ということは正しいならあのまにゃまにゅLv.92は貫流しない fact2: しゃあ無くないモンスターは真っ暗くてそれに慕わしい fact3: 全てのモンスターは似付かわしい fact4: もし仮に「なにがしかのモンスターは慕わしいかそれは真っ暗くないかあるいは両方である」ということは事実と異なるならそれは貫流する fact5: 仮に「何らかのモンスターはしどけないがそれは起こし難いということはない」ということは誤りであるならばしゃあ無くない fact6: 全てのモンスターは貫流する
fact6 -> int1: 全てのモンスターは貫流する; int1 -> hypothesis;
fact6 -> int1: (x): {A}x; int1 -> hypothesis;
「このぷやぷわLv.29は貫流する」ということは嘘でない
fact7 -> int2: もし仮に「このぷやぷわLv.29は慕わしいかまたはそれは真っ暗くないかあるいは両方ともである」ということは偽だとしたら貫流する;
$facts$ = fact1: もしも「そのぴねぴにLv.70は慕わしい」ということは正しいならあのまにゃまにゅLv.92は貫流しない fact2: しゃあ無くないモンスターは真っ暗くてそれに慕わしい fact3: 全てのモンスターは似付かわしい fact4: もし仮に「なにがしかのモンスターは慕わしいかそれは真っ暗くないかあるいは両方である」ということは事実と異なるならそれは貫流する fact5: 仮に「何らかのモンスターはしどけないがそれは起こし難いということはない」ということは誤りであるならばしゃあ無くない fact6: 全てのモンスターは貫流する ; $hypothesis$ = あのまにゃまにゅLv.92は貫流しない ; $proof$ = 
fact6 -> int1: 全てのモンスターは貫流する; int1 -> hypothesis; __DISPROVED__
fact6 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__