そのみやみよLv.3は支わない
fact1: もしあのみゆみなLv.23が楽しいとすればそのみやみよLv.3は支う fact2: もしもあのみゆみなLv.23が取得し易いとすると楽しい fact3: あのみゆみなLv.23は取得し易くて更に立て難い
fact3 -> int1: あのみゆみなLv.23は取得し易い; int1 & fact2 -> int2: あのみゆみなLv.23は楽しい; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみゆみなLv.23が楽しいとすればそのみやみよLv.3は支う fact2: もしもあのみゆみなLv.23が取得し易いとすると楽しい fact3: あのみゆみなLv.23は取得し易くて更に立て難い ; $hypothesis$ = そのみやみよLv.3は支わない ; $proof$ = 
fact3 -> int1: あのみゆみなLv.23は取得し易い; int1 & fact2 -> int2: あのみゆみなLv.23は楽しい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__