このぽなぽにゃLv.83は例外無い
fact1: 「「そのぴいぴちょLv.7は勝ち易くなくてそれは動揺し易いということはない」ということは成り立つ」ということは偽である fact2: 「そのぴいぴちょLv.7は勝ち易いということはなくて動揺し易くない」ということは誤りであるならばそれは疾し fact3: もしそのぴいぴちょLv.7が疾しならばこのもわもゆLv.89は腹黒い fact4: もしも腹黒いモンスターが減り始めればこのぽなぽにゃLv.83は例外無くない fact5: 名残惜しいモンスターでそれに減り始めるモンスターは疾しない fact6: このもわもゆLv.89は減り始める fact7: そのぴいぴちょLv.7は減り始める
fact2 & fact1 -> int1: そのぴいぴちょLv.7は疾し; int1 & fact3 -> int2: このもわもゆLv.89は腹黒い; int2 & fact6 -> int3: このもわもゆLv.89が腹黒いしその上減り始める; int3 -> int4: 「何らかのモンスターは腹黒くて更に減り始める」ということは成り立つ; int4 & fact4 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{b}; int2 & fact6 -> int3: ({A}{b} & {C}{b}); int3 -> int4: (Ex): ({A}x & {C}x); int4 & fact4 -> hypothesis;
このぽなぽにゃLv.83は例外無い
fact8 -> int5: もし仮にこのぽなぽにゃLv.83が名残惜しいしさらにそれが減り始めるとすればこのぽなぽにゃLv.83は疾しない;
$facts$ = fact1: 「「そのぴいぴちょLv.7は勝ち易くなくてそれは動揺し易いということはない」ということは成り立つ」ということは偽である fact2: 「そのぴいぴちょLv.7は勝ち易いということはなくて動揺し易くない」ということは誤りであるならばそれは疾し fact3: もしそのぴいぴちょLv.7が疾しならばこのもわもゆLv.89は腹黒い fact4: もしも腹黒いモンスターが減り始めればこのぽなぽにゃLv.83は例外無くない fact5: 名残惜しいモンスターでそれに減り始めるモンスターは疾しない fact6: このもわもゆLv.89は減り始める fact7: そのぴいぴちょLv.7は減り始める ; $hypothesis$ = このぽなぽにゃLv.83は例外無い ; $proof$ = 
fact2 & fact1 -> int1: そのぴいぴちょLv.7は疾し; int1 & fact3 -> int2: このもわもゆLv.89は腹黒い; int2 & fact6 -> int3: このもわもゆLv.89が腹黒いしその上減り始める; int3 -> int4: 「何らかのモンスターは腹黒くて更に減り始める」ということは成り立つ; int4 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{b}; int2 & fact6 -> int3: ({A}{b} & {C}{b}); int3 -> int4: (Ex): ({A}x & {C}x); int4 & fact4 -> hypothesis; __DISPROVED__