そのぷちゃぷなLv.17は支障無くないしそれは薄暗くない
fact1: このぴよぴにょLv.83は見境無い fact2: もしあのもちゅもにLv.44は発砲するとすれば「そのぷちゃぷなLv.17は支障無くないしさらに薄暗いということはない」ということは確かでない fact3: そのぷちゃぷなLv.17は見境無い fact4: もし仮に「何らかのモンスターは埃っぽくないしまた融解するということはない」ということは誤っていれば一任しない fact5: 「そのぷちゃぷなLv.17は惜しみ無くないしそれにそれは苦笑しない」ということは偽であるならそれは不味いということはない fact6: 「なにがしかのモンスターは支障無くなくて薄暗くない」ということは誤りだとしたら見境無くない
fact6 -> int1: もしも「そのぷちゃぷなLv.17は支障無いということはないしさらにそれは薄暗いということはない」ということは成り立たないとすると「見境無くない」ということは正しい; void -> assump1: 以下のように仮定する。「そのぷちゃぷなLv.17は支障無くなくてしかも薄暗くない」ということは嘘である; int1 & assump1 -> int2: そのぷちゃぷなLv.17は見境無くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのぷちゃぷなLv.17は支障無くなくてしかも薄暗くない」ということは嘘である
$facts$ = fact1: このぴよぴにょLv.83は見境無い fact2: もしあのもちゅもにLv.44は発砲するとすれば「そのぷちゃぷなLv.17は支障無くないしさらに薄暗いということはない」ということは確かでない fact3: そのぷちゃぷなLv.17は見境無い fact4: もし仮に「何らかのモンスターは埃っぽくないしまた融解するということはない」ということは誤っていれば一任しない fact5: 「そのぷちゃぷなLv.17は惜しみ無くないしそれにそれは苦笑しない」ということは偽であるならそれは不味いということはない fact6: 「なにがしかのモンスターは支障無くなくて薄暗くない」ということは誤りだとしたら見境無くない ; $hypothesis$ = そのぷちゃぷなLv.17は支障無くないしそれは薄暗くない ; $proof$ = 
fact6 -> int1: もしも「そのぷちゃぷなLv.17は支障無いということはないしさらにそれは薄暗いということはない」ということは成り立たないとすると「見境無くない」ということは正しい; void -> assump1: 以下のように仮定する。「そのぷちゃぷなLv.17は支障無くなくてしかも薄暗くない」ということは嘘である; int1 & assump1 -> int2: そのぷちゃぷなLv.17は見境無くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact6 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__