このぷなぷのLv.36は余所余所しかない
fact1: もしそのぷにょぷやLv.11が悶え狂うかまたは持ち直すかもしくは両方だとするとあのまにょまえLv.39は利用され易くない fact2: このぷなぷのLv.36が生白いとするとそれは余所余所しい fact3: そのぷにょぷやLv.11は悶え狂うか持ち直すかまたはどちらもである fact4: 仮にあのまにょまえLv.39が利用され易くないとしたらあのもよもゆLv.41は蓄積され易い一方で育むということはない fact5: 仮に蓄積され易いモンスターが育まないとすればこのぷなぷのLv.36は生白い
fact1 & fact3 -> int1: あのまにょまえLv.39は利用され易いということはない; int1 & fact4 -> int2: あのもよもゆLv.41は蓄積され易いが育まない; int2 -> int3: 蓄積され易いモンスターであってまた育まないモンスターはいる; int3 & fact5 -> int4: 「このぷなぷのLv.36は生白い」ということは事実である; int4 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ({C}{c} & ¬{A}{c}); int2 -> int3: (Ex): ({C}x & ¬{A}x); int3 & fact5 -> int4: {D}{d}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もしそのぷにょぷやLv.11が悶え狂うかまたは持ち直すかもしくは両方だとするとあのまにょまえLv.39は利用され易くない fact2: このぷなぷのLv.36が生白いとするとそれは余所余所しい fact3: そのぷにょぷやLv.11は悶え狂うか持ち直すかまたはどちらもである fact4: 仮にあのまにょまえLv.39が利用され易くないとしたらあのもよもゆLv.41は蓄積され易い一方で育むということはない fact5: 仮に蓄積され易いモンスターが育まないとすればこのぷなぷのLv.36は生白い ; $hypothesis$ = このぷなぷのLv.36は余所余所しかない ; $proof$ = 
fact1 & fact3 -> int1: あのまにょまえLv.39は利用され易いということはない; int1 & fact4 -> int2: あのもよもゆLv.41は蓄積され易いが育まない; int2 -> int3: 蓄積され易いモンスターであってまた育まないモンスターはいる; int3 & fact5 -> int4: 「このぷなぷのLv.36は生白い」ということは事実である; int4 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ({C}{c} & ¬{A}{c}); int2 -> int3: (Ex): ({C}x & ¬{A}x); int3 & fact5 -> int4: {D}{d}; int4 & fact2 -> hypothesis; __DISPROVED__