あのみわみよLv.14は痛撃する
fact1: もしもこのまよまのLv.99が息苦しいならばあのみわみよLv.14は愛くるしい fact2: このぷいぷにLv.8は愛くるしい fact3: もし仮にこのまよまのLv.99がでっかいとするとあのみわみよLv.14は愛くるしい fact4: あのみわみよLv.14は分かり辛い fact5: もし仮にあのみわみよLv.14が愛くるしいとするとそれは痛撃する fact6: もし仮にこのまよまのLv.99が痛撃するとすればあのみわみよLv.14はでっかい fact7: このまよまのLv.99は息苦しいかもしくはでっかいかあるいはどちらもだ fact8: 「記載・記録するし愛くるしくない」ということは真実であるというモンスターはない
fact7 & fact1 & fact3 -> int1: あのみわみよLv.14は愛くるしい; int1 & fact5 -> hypothesis;
fact7 & fact1 & fact3 -> int1: {C}{c}; int1 & fact5 -> hypothesis;
あのみわみよLv.14は痛撃しない
fact9 -> int2: 「このまよまのLv.99は記載・記録するけどそれは愛くるしくない」ということは確かでない;
$facts$ = fact1: もしもこのまよまのLv.99が息苦しいならばあのみわみよLv.14は愛くるしい fact2: このぷいぷにLv.8は愛くるしい fact3: もし仮にこのまよまのLv.99がでっかいとするとあのみわみよLv.14は愛くるしい fact4: あのみわみよLv.14は分かり辛い fact5: もし仮にあのみわみよLv.14が愛くるしいとするとそれは痛撃する fact6: もし仮にこのまよまのLv.99が痛撃するとすればあのみわみよLv.14はでっかい fact7: このまよまのLv.99は息苦しいかもしくはでっかいかあるいはどちらもだ fact8: 「記載・記録するし愛くるしくない」ということは真実であるというモンスターはない ; $hypothesis$ = あのみわみよLv.14は痛撃する ; $proof$ = 
fact7 & fact1 & fact3 -> int1: あのみわみよLv.14は愛くるしい; int1 & fact5 -> hypothesis; __PROVED__
fact7 & fact1 & fact3 -> int1: {C}{c}; int1 & fact5 -> hypothesis; __PROVED__