そのぴねぴなLv.4は起き難いが騒々しくない
fact1: 仮にそのもちょものLv.25が薙ぐということはないならあのまにまやLv.88は折り重ならないしその上持て成さない fact2: もしもそのもちょものLv.25が折り重ならないしさらに薙ぐということはないとすればそのぴねぴなLv.4は気難しくない fact3: 仮にそのぴねぴなLv.4は気難しくないとすれば「そのぴねぴなLv.4は起き難いがしかしそれは騒々しくない」ということは間違っている fact4: あのまにまやLv.88は持て成さない fact5: 仮にあのまにまやLv.88が持て成さないとすればそのもちょものLv.25が折り重ならないし更に薙はない fact6: もしなにがしかのモンスターが持て成すとすると太り易くない
fact5 & fact4 -> int1: そのもちょものLv.25が折り重なるということはないし薙はない; int1 & fact2 -> int2: そのぴねぴなLv.4は気難しいということはない; int2 & fact3 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact2 -> int2: ¬{B}{c}; int2 & fact3 -> hypothesis;
そのぷいぷちゃLv.14は太り易くなくて気難しくない
fact7 -> int3: そのぷいぷちゃLv.14が持て成すならそのぷいぷちゃLv.14は太り易くない;
$facts$ = fact1: 仮にそのもちょものLv.25が薙ぐということはないならあのまにまやLv.88は折り重ならないしその上持て成さない fact2: もしもそのもちょものLv.25が折り重ならないしさらに薙ぐということはないとすればそのぴねぴなLv.4は気難しくない fact3: 仮にそのぴねぴなLv.4は気難しくないとすれば「そのぴねぴなLv.4は起き難いがしかしそれは騒々しくない」ということは間違っている fact4: あのまにまやLv.88は持て成さない fact5: 仮にあのまにまやLv.88が持て成さないとすればそのもちょものLv.25が折り重ならないし更に薙はない fact6: もしなにがしかのモンスターが持て成すとすると太り易くない ; $hypothesis$ = そのぴねぴなLv.4は起き難いが騒々しくない ; $proof$ = 
fact5 & fact4 -> int1: そのもちょものLv.25が折り重なるということはないし薙はない; int1 & fact2 -> int2: そのぴねぴなLv.4は気難しいということはない; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact2 -> int2: ¬{B}{c}; int2 & fact3 -> hypothesis; __DISPROVED__