「このもなもわLv.37は面白くないかもしくは同時進行しない」ということは成り立たない
fact1: もし仮になんらかのモンスターが薄れ行くということはないならそれは同時進行しないか重くないか両方である fact2: もしもとあるモンスターは薄れ行くとすれば「面白くないか同時進行しないかあるいはどちらもだ」ということは成り立たない fact3: もし仮にあのぴにゅぴにょLv.93が姦しくないならこのもなもわLv.37は出来易くて加えて薄れ行く fact4: もし「あのぴにゅぴにょLv.93は姦しい」ということは確かであるならば「それは出来易いけれど面白くない」ということは間違いだ fact5: あのぴにゅぴにょLv.93が薄れ行くとすればこのもなもわLv.37は面白くないかあるいは同時進行しない fact6: あのぴにゅぴにょLv.93は薄れ行く
fact6 -> int1: あのぴにゅぴにょLv.93は薄れ行く; int1 & fact5 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
このみちゅみにLv.57は同時進行するということはないかまたは重いということはない
fact8 -> int2: 「もしこのみちゅみにLv.57が薄れ行かないとするとこのみちゅみにLv.57は同時進行しないかあるいはそれは重くない」ということは真実である;
$facts$ = fact1: もし仮になんらかのモンスターが薄れ行くということはないならそれは同時進行しないか重くないか両方である fact2: もしもとあるモンスターは薄れ行くとすれば「面白くないか同時進行しないかあるいはどちらもだ」ということは成り立たない fact3: もし仮にあのぴにゅぴにょLv.93が姦しくないならこのもなもわLv.37は出来易くて加えて薄れ行く fact4: もし「あのぴにゅぴにょLv.93は姦しい」ということは確かであるならば「それは出来易いけれど面白くない」ということは間違いだ fact5: あのぴにゅぴにょLv.93が薄れ行くとすればこのもなもわLv.37は面白くないかあるいは同時進行しない fact6: あのぴにゅぴにょLv.93は薄れ行く ; $hypothesis$ = 「このもなもわLv.37は面白くないかもしくは同時進行しない」ということは成り立たない ; $proof$ = 
fact6 -> int1: あのぴにゅぴにょLv.93は薄れ行く; int1 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__