このまえまなLv.65は暮らし易い
fact1: 仮に「「恙無くないかまたは暮らし易くないかあるいは両方だ」ということは成り立たない」モンスターがいればあのぽいぽわLv.37は一週間する fact2: 「「恙無いかもしくは暮らし易くないかあるいは両方だ」ということは間違いである」モンスターがいればこのまえまなLv.65は一週間する fact3: 「「安っぽくないかもしくは一週間しないか両方ともだ」ということは成り立たない」モンスターがいるとするとあのぽいぽわLv.37は暮らし易い fact4: もし仮に「なんらかのモンスターは怖ーい」ということは成り立つとすると「それは乏しくないが一週間する」ということは成り立たない fact5: もしもあのぽいぽわLv.37は一週間しないとすると「あのぷねぷやLv.34は安っぽくないかそれは恙無くないかもしくは両方ともである」ということは間違いだ fact6: 「「安っぽいということはないかもしくは恙無いということはないかもしくは両方だ」ということは成り立たない」モンスターがいるとすればこのまえまなLv.65は暮らし易い fact7: あのぽいぽわLv.37は一週間するということはない
fact5 & fact7 -> int1: 「あのぷねぷやLv.34は安っぽくないかまたはそれは恙無くないかまたは両方ともだ」ということは間違っている; int1 -> int2: 「「安っぽくないかもしくは恙無くないかあるいは両方ともだ」ということは成り立たない」モンスターはいる; int2 & fact6 -> hypothesis;
fact5 & fact7 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 -> int2: (Ex): ¬(¬{AA}x v ¬{AB}x); int2 & fact6 -> hypothesis;
このまえまなLv.65は暮らし易いということはない
fact8 -> int3: もし仮に「あのぽいぽわLv.37は怖ーい」ということは成り立てば「あのぽいぽわLv.37は乏しくない一方で一週間する」ということは間違いである;
$facts$ = fact1: 仮に「「恙無くないかまたは暮らし易くないかあるいは両方だ」ということは成り立たない」モンスターがいればあのぽいぽわLv.37は一週間する fact2: 「「恙無いかもしくは暮らし易くないかあるいは両方だ」ということは間違いである」モンスターがいればこのまえまなLv.65は一週間する fact3: 「「安っぽくないかもしくは一週間しないか両方ともだ」ということは成り立たない」モンスターがいるとするとあのぽいぽわLv.37は暮らし易い fact4: もし仮に「なんらかのモンスターは怖ーい」ということは成り立つとすると「それは乏しくないが一週間する」ということは成り立たない fact5: もしもあのぽいぽわLv.37は一週間しないとすると「あのぷねぷやLv.34は安っぽくないかそれは恙無くないかもしくは両方ともである」ということは間違いだ fact6: 「「安っぽいということはないかもしくは恙無いということはないかもしくは両方だ」ということは成り立たない」モンスターがいるとすればこのまえまなLv.65は暮らし易い fact7: あのぽいぽわLv.37は一週間するということはない ; $hypothesis$ = このまえまなLv.65は暮らし易い ; $proof$ = 
fact5 & fact7 -> int1: 「あのぷねぷやLv.34は安っぽくないかまたはそれは恙無くないかまたは両方ともだ」ということは間違っている; int1 -> int2: 「「安っぽくないかもしくは恙無くないかあるいは両方ともだ」ということは成り立たない」モンスターはいる; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 -> int2: (Ex): ¬(¬{AA}x v ¬{AB}x); int2 & fact6 -> hypothesis; __PROVED__