そのまなまえLv.46は奥深い一方で汗臭くない
fact1: もしもなにがしかのモンスターは子供っぽくないとすれば「それは急ぎ過ぎるししかも汗臭いということはない」ということは嘘だ fact2: このまのまちょLv.12は子供っぽくない fact3: もし仮にとあるモンスターは子供っぽいとすれば「それは奥深い一方で汗臭くない」ということは偽だ fact4: 「「奥深くて汗臭くない」ということは間違いな」モンスターがいるとすればこのまのまちょLv.12は子供っぽい
void -> assump1: 以下のように仮定する。「そのまなまえLv.46は奥深いがしかしそれは汗臭くない」ということは事実と異なる; assump1 -> int1: 「「奥深い一方で汗臭くない」ということは成り立たない」モンスターはいる; int1 & fact4 -> int2: このまのまちょLv.12は子供っぽい; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); assump1 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact4 -> int2: {A}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「このぷよぷのLv.32は急ぎ過ぎるけどそれは汗臭くない」ということは成り立たない
fact5 -> int4: もし仮に「このぷよぷのLv.32は子供っぽくない」ということは成り立つとしたら「急ぎ過ぎるしさらにそれは汗臭くない」ということは嘘である;
$facts$ = fact1: もしもなにがしかのモンスターは子供っぽくないとすれば「それは急ぎ過ぎるししかも汗臭いということはない」ということは嘘だ fact2: このまのまちょLv.12は子供っぽくない fact3: もし仮にとあるモンスターは子供っぽいとすれば「それは奥深い一方で汗臭くない」ということは偽だ fact4: 「「奥深くて汗臭くない」ということは間違いな」モンスターがいるとすればこのまのまちょLv.12は子供っぽい ; $hypothesis$ = そのまなまえLv.46は奥深い一方で汗臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのまなまえLv.46は奥深いがしかしそれは汗臭くない」ということは事実と異なる; assump1 -> int1: 「「奥深い一方で汗臭くない」ということは成り立たない」モンスターはいる; int1 & fact4 -> int2: このまのまちょLv.12は子供っぽい; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); assump1 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact4 -> int2: {A}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__