そのまちょまわLv.38は消化吸収され易いということはない
fact1: あくどいということはないモンスターは掛け難いかまたは活動し難いか両方ともだ fact2: もしも何らかのモンスターがあくどいかあるいは活動し難いとしたらそのまちょまわLv.38は消化吸収され易い fact3: あのぴえぴえLv.92はあくどい
fact3 -> int1: あのぴえぴえLv.92はあくどいかもしくはそれは活動し難い; int1 -> int2: 何らかのモンスターはあくどいかもしくは活動し難いかあるいは両方だ; int2 & fact2 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis;
あのぴえぴえLv.92は掛け難いかもしくはそれは活動し難い
fact4 -> int3: もしあのぴえぴえLv.92があくどいということはないとすると掛け難いかまたは活動し難い;
$facts$ = fact1: あくどいということはないモンスターは掛け難いかまたは活動し難いか両方ともだ fact2: もしも何らかのモンスターがあくどいかあるいは活動し難いとしたらそのまちょまわLv.38は消化吸収され易い fact3: あのぴえぴえLv.92はあくどい ; $hypothesis$ = そのまちょまわLv.38は消化吸収され易いということはない ; $proof$ = 
fact3 -> int1: あのぴえぴえLv.92はあくどいかもしくはそれは活動し難い; int1 -> int2: 何らかのモンスターはあくどいかもしくは活動し難いかあるいは両方だ; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis; __DISPROVED__