「もしも「目新しい」ということは成り立つとすれば航行しない」モンスターはいる
fact1: 「あのもよもえLv.99は忍耐強いかまたは目新しいかまたは両方であるならば「あのもよもえLv.99は航行しない」ということは確かだ」ということは偽でない
void -> assump1: 以下のように仮定する。あのもよもえLv.99は目新しい; assump1 -> int1: あのもよもえLv.99は忍耐強いかまたはそれは目新しいかまたはどちらもだ; int1 & fact1 -> int2: あのもよもえLv.99は航行しない; [assump1] & int2 -> int3: あのもよもえLv.99は目新しいとしたら「航行しない」ということは確かだ; int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis;
$facts$ = fact1: 「あのもよもえLv.99は忍耐強いかまたは目新しいかまたは両方であるならば「あのもよもえLv.99は航行しない」ということは確かだ」ということは偽でない ; $hypothesis$ = 「もしも「目新しい」ということは成り立つとすれば航行しない」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもよもえLv.99は目新しい; assump1 -> int1: あのもよもえLv.99は忍耐強いかまたはそれは目新しいかまたはどちらもだ; int1 & fact1 -> int2: あのもよもえLv.99は航行しない; [assump1] & int2 -> int3: あのもよもえLv.99は目新しいとしたら「航行しない」ということは確かだ; int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis; __PROVED__