このホスト・コンピュータは御見捨てに成る
fact1: そのパーソナルマーキングは脱出口であるならばそれは整復しない fact2: 「この芽吹きは振動音であるかまたは整復しない」ということは嘘だとするとこのホスト・コンピュータは御見捨てに成る fact3: 仮に「そのパーソナルマーキングは整復しない」ということは偽だということはないならば「この芽吹きは振動音であるかあるいは整復しないかあるいはどちらもだ」ということは成り立たない fact4: そのパーソナルマーキングは脱出口である
fact1 & fact4 -> int1: そのパーソナルマーキングは整復しない; int1 & fact3 -> int2: 「この芽吹きは振動音であるかもしくは整復しないかどちらもだ」ということは偽だ; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのパーソナルマーキングは脱出口であるならばそれは整復しない fact2: 「この芽吹きは振動音であるかまたは整復しない」ということは嘘だとするとこのホスト・コンピュータは御見捨てに成る fact3: 仮に「そのパーソナルマーキングは整復しない」ということは偽だということはないならば「この芽吹きは振動音であるかあるいは整復しないかあるいはどちらもだ」ということは成り立たない fact4: そのパーソナルマーキングは脱出口である ; $hypothesis$ = このホスト・コンピュータは御見捨てに成る ; $proof$ = 
fact1 & fact4 -> int1: そのパーソナルマーキングは整復しない; int1 & fact3 -> int2: 「この芽吹きは振動音であるかもしくは整復しないかどちらもだ」ということは偽だ; int2 & fact2 -> hypothesis; __PROVED__
事実1: そのパーソナルマーキングは脱出口であるならばそれは整復しない
事実2: 「この芽吹きは振動音であるかまたは整復しない」ということは嘘だとするとこのホスト・コンピュータは御見捨てに成る
事実3: 仮に「そのパーソナルマーキングは整復しない」ということは偽だということはないならば「この芽吹きは振動音であるかあるいは整復しないかあるいはどちらもだ」ということは成り立たない
事実4: そのパーソナルマーキングは脱出口である

仮説: このホスト・コンピュータは御見捨てに成る
1. 事実1と事実4から、推論1: "そのパーソナルマーキングは整復しない"が導かれる
2. 推論1と事実3から、推論2: "「この芽吹きは振動音であるかもしくは整復しないかどちらもだ」ということは偽だ"が導かれる
3. 推論2と事実2から、仮説が導かれる

よって、仮説が証明されました。