そのぽにぽのLv.26は掴み易い
fact1: そのまのまくLv.9は耐え難い fact2: もしそのまのまくLv.9が耐え難いとすればそのぽにぽのLv.26はだらし無くない fact3: もしそのぽにぽのLv.26がだらし無いということはないとすればそれは掴み易くない fact4: もしそのまのまくLv.9が出来難いとしたらあのみいみにょLv.91は耐え難くない一方でだらし無い fact5: もし仮にこのぷいぷくLv.13は耐え難いとすると「そのまのまくLv.9は掴み易くない一方でだらし無い」ということは間違いだ fact6: 耐え難くなくてだらし無いモンスターは掴み易くない fact7: そのまのまくLv.9はだらし無くない fact8: そのまのまくLv.9は伝え易くない
fact2 & fact1 -> int1: そのぽにぽのLv.26はだらし無くない; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{b}; int1 & fact3 -> hypothesis;
そのぽにぽのLv.26は掴み易い
$facts$ = fact1: そのまのまくLv.9は耐え難い fact2: もしそのまのまくLv.9が耐え難いとすればそのぽにぽのLv.26はだらし無くない fact3: もしそのぽにぽのLv.26がだらし無いということはないとすればそれは掴み易くない fact4: もしそのまのまくLv.9が出来難いとしたらあのみいみにょLv.91は耐え難くない一方でだらし無い fact5: もし仮にこのぷいぷくLv.13は耐え難いとすると「そのまのまくLv.9は掴み易くない一方でだらし無い」ということは間違いだ fact6: 耐え難くなくてだらし無いモンスターは掴み易くない fact7: そのまのまくLv.9はだらし無くない fact8: そのまのまくLv.9は伝え易くない ; $hypothesis$ = そのぽにぽのLv.26は掴み易い ; $proof$ = 
fact2 & fact1 -> int1: そのぽにぽのLv.26はだらし無くない; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ¬{B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__