このぽゆぽにLv.10は右クリックしない
fact1: あのもゆもいLv.19は還住するし更に如此し fact2: あのもゆもいLv.19は如此し fact3: もしもこのぽゆぽにLv.10が広宣流布するとするとそれは右クリックする fact4: 仮に「あのもゆもいLv.19は還住する」ということは成り立つとするとこのぽゆぽにLv.10は広宣流布する
fact1 -> int1: あのもゆもいLv.19は還住する; int1 & fact4 -> int2: このぽゆぽにLv.10は広宣流布する; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのもゆもいLv.19は還住するし更に如此し fact2: あのもゆもいLv.19は如此し fact3: もしもこのぽゆぽにLv.10が広宣流布するとするとそれは右クリックする fact4: 仮に「あのもゆもいLv.19は還住する」ということは成り立つとするとこのぽゆぽにLv.10は広宣流布する ; $hypothesis$ = このぽゆぽにLv.10は右クリックしない ; $proof$ = 
fact1 -> int1: あのもゆもいLv.19は還住する; int1 & fact4 -> int2: このぽゆぽにLv.10は広宣流布する; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__