そのぽちょぽえLv.17は見難い
fact1: 「「そのぽちょぽえLv.17は煩くない一方でそれは出血する」ということは嘘であるとしたらそのぽちょぽえLv.17は出血しない」ということは成り立つ fact2: もしそのぽちょぽえLv.17が出血しないとしたらそれは書き難くてそれにそれは見難い fact3: このもにゅもねLv.12は書き難いしその上出血する fact4: もしこのもにゅもねLv.12が黄色っぽいかまたは書き難いならばそのぽちょぽえLv.17は見難くない fact5: もしこのもにゅもねLv.12が黄色っぽいとしたらそのぽちょぽえLv.17は見難いということはない fact6: このもにゅもねLv.12は出血する
fact3 -> int1: このもにゅもねLv.12は書き難い; int1 -> int2: このもにゅもねLv.12は黄色っぽいかそれは書き難いかもしくはどちらもである; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact4 -> hypothesis;
そのぽちょぽえLv.17は見難い
$facts$ = fact1: 「「そのぽちょぽえLv.17は煩くない一方でそれは出血する」ということは嘘であるとしたらそのぽちょぽえLv.17は出血しない」ということは成り立つ fact2: もしそのぽちょぽえLv.17が出血しないとしたらそれは書き難くてそれにそれは見難い fact3: このもにゅもねLv.12は書き難いしその上出血する fact4: もしこのもにゅもねLv.12が黄色っぽいかまたは書き難いならばそのぽちょぽえLv.17は見難くない fact5: もしこのもにゅもねLv.12が黄色っぽいとしたらそのぽちょぽえLv.17は見難いということはない fact6: このもにゅもねLv.12は出血する ; $hypothesis$ = そのぽちょぽえLv.17は見難い ; $proof$ = 
fact3 -> int1: このもにゅもねLv.12は書き難い; int1 -> int2: このもにゅもねLv.12は黄色っぽいかそれは書き難いかもしくはどちらもである; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact4 -> hypothesis; __DISPROVED__