このぴにゅぴえLv.11は吠え出すということはない
fact1: そのもにもちゃLv.78はハッキングするしおまけにそれは与え易い fact2: 仮にあのぷにぷにゅLv.95が判断し難いならあのぷにぷにゅLv.95はＰＲする fact3: 仮にとあるモンスターはハッキングするかあるいは与え易いかもしくは両方であるとすれば吠え出さない fact4: もしもあるモンスターは偏するとすると「それは痛々しくて更に取り辛くない」ということは間違っている fact5: もしも「あるモンスターは痛々しい一方で取り辛くない」ということは誤りであるとすればそれは与え易い fact6: そのもにもちゃLv.78はハッキングする fact7: もしそのもにもちゃLv.78が取り辛いならばこのぴにゅぴえLv.11は吠え出す fact8: もし仮にそのもにもちゃLv.78が与え易いとすると取り辛い
fact1 -> int1: そのもにもちゃLv.78は与え易い; int1 & fact8 -> int2: そのもにもちゃLv.78は取り辛い; int2 & fact7 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
このぴにゅぴえLv.11は吠え出すということはない
fact11 -> int3: このぴにゅぴえLv.11はハッキングするかもしくは与え易いとすると「このぴにゅぴえLv.11は吠え出さない」ということは成り立つ; fact9 -> int4: 仮に「このぴにゅぴえLv.11は痛々しいが取り辛くない」ということは事実と異なるとしたらこのぴにゅぴえLv.11は与え易い; fact10 -> int5: もしもこのぴにゅぴえLv.11は偏するとすると「それは痛々しいが取り辛くない」ということは成り立たない;
$facts$ = fact1: そのもにもちゃLv.78はハッキングするしおまけにそれは与え易い fact2: 仮にあのぷにぷにゅLv.95が判断し難いならあのぷにぷにゅLv.95はＰＲする fact3: 仮にとあるモンスターはハッキングするかあるいは与え易いかもしくは両方であるとすれば吠え出さない fact4: もしもあるモンスターは偏するとすると「それは痛々しくて更に取り辛くない」ということは間違っている fact5: もしも「あるモンスターは痛々しい一方で取り辛くない」ということは誤りであるとすればそれは与え易い fact6: そのもにもちゃLv.78はハッキングする fact7: もしそのもにもちゃLv.78が取り辛いならばこのぴにゅぴえLv.11は吠え出す fact8: もし仮にそのもにもちゃLv.78が与え易いとすると取り辛い ; $hypothesis$ = このぴにゅぴえLv.11は吠え出すということはない ; $proof$ = 
fact1 -> int1: そのもにもちゃLv.78は与え易い; int1 & fact8 -> int2: そのもにもちゃLv.78は取り辛い; int2 & fact7 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __DISPROVED__