そのもにょもにょLv.68は甘ーくない
fact1: もし仮に何らかのモンスターは近しくないとすると「動き易いしさらにおっきい」ということは成り立たない fact2: もしもそのぽえぽにLv.51が人間らしくてさらにそれが当たり易いならばそれは近しいということはない fact3: そのぽえぽにLv.51が人間らしいしその上当たり易い fact4: もし仮に「そのぽえぽにLv.51は動き易いししかもおっきい」ということは成り立たないとしたらそのもにょもにょLv.68は甘ーくない
fact1 -> int1: 仮にそのぽえぽにLv.51は近しいということはないとしたら「それは動き易くておっきい」ということは間違いである; fact3 & fact2 -> int2: そのぽえぽにLv.51は近しくない; int1 & int2 -> int3: 「そのぽえぽにLv.51は動き易いしそれにおっきい」ということは間違っている; int3 & fact4 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); fact3 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & {AB}{aa}); int3 & fact4 -> hypothesis;
$facts$ = fact1: もし仮に何らかのモンスターは近しくないとすると「動き易いしさらにおっきい」ということは成り立たない fact2: もしもそのぽえぽにLv.51が人間らしくてさらにそれが当たり易いならばそれは近しいということはない fact3: そのぽえぽにLv.51が人間らしいしその上当たり易い fact4: もし仮に「そのぽえぽにLv.51は動き易いししかもおっきい」ということは成り立たないとしたらそのもにょもにょLv.68は甘ーくない ; $hypothesis$ = そのもにょもにょLv.68は甘ーくない ; $proof$ = 
fact1 -> int1: 仮にそのぽえぽにLv.51は近しいということはないとしたら「それは動き易くておっきい」ということは間違いである; fact3 & fact2 -> int2: そのぽえぽにLv.51は近しくない; int1 & int2 -> int3: 「そのぽえぽにLv.51は動き易いしそれにおっきい」ということは間違っている; int3 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); fact3 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & {AB}{aa}); int3 & fact4 -> hypothesis; __PROVED__