そのまいまちょLv.76は想定し難い
fact1: もしも「そのまいまちょLv.76は照れ臭いかもしくはそれはか弱いかもしくは両方である」ということは正しいとするとそのまいまちょLv.76は着熟さない fact2: そのまいまちょLv.76が照れ臭いかまたはそれは御寂しいとすると「それは想定し難くない」ということは本当である fact3: そのまいまちょLv.76は照れ臭くてドレスアップする fact4: 仮にあのぴにぴにゃLv.70がドレスアップしないとするとそのまいまちょLv.76は照れ臭いしそれにそれは想定し難い fact5: 物欲しくないかもしくは想定し難いかまたは両方なモンスターは御寂しくない
fact3 -> int1: そのまいまちょLv.76は照れ臭い; int1 -> int2: そのまいまちょLv.76は照れ臭いか御寂しい; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> hypothesis;
このみえみえLv.88は照れ臭い
fact6 -> int3: もし仮にこのみえみえLv.88が物欲しくないかあるいは想定し難いかもしくはどちらもであるとすればこのみえみえLv.88は御寂しくない;
$facts$ = fact1: もしも「そのまいまちょLv.76は照れ臭いかもしくはそれはか弱いかもしくは両方である」ということは正しいとするとそのまいまちょLv.76は着熟さない fact2: そのまいまちょLv.76が照れ臭いかまたはそれは御寂しいとすると「それは想定し難くない」ということは本当である fact3: そのまいまちょLv.76は照れ臭くてドレスアップする fact4: 仮にあのぴにぴにゃLv.70がドレスアップしないとするとそのまいまちょLv.76は照れ臭いしそれにそれは想定し難い fact5: 物欲しくないかもしくは想定し難いかまたは両方なモンスターは御寂しくない ; $hypothesis$ = そのまいまちょLv.76は想定し難い ; $proof$ = 
fact3 -> int1: そのまいまちょLv.76は照れ臭い; int1 -> int2: そのまいまちょLv.76は照れ臭いか御寂しい; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> hypothesis; __DISPROVED__