あのＲＡＭは余儀無い
fact1: この限定モデルは卑しかもしくは取っ付き易いかもしくはどちらもである fact2: もしこの限定モデルが卑しならあのＲＡＭは余儀無い fact3: もし仮にこの限定モデルは取っ付き易いとすれば「あのＲＡＭは余儀無い」ということは真実である
$facts$ = fact1: この限定モデルは卑しかもしくは取っ付き易いかもしくはどちらもである fact2: もしこの限定モデルが卑しならあのＲＡＭは余儀無い fact3: もし仮にこの限定モデルは取っ付き易いとすれば「あのＲＡＭは余儀無い」ということは真実である ; $hypothesis$ = あのＲＡＭは余儀無い ; $proof$ = 
事実1: この限定モデルは卑しかもしくは取っ付き易いかもしくはどちらもである
事実2: もしこの限定モデルが卑しならあのＲＡＭは余儀無い
事実3: もし仮にこの限定モデルは取っ付き易いとすれば「あのＲＡＭは余儀無い」ということは真実である

仮説: あのＲＡＭは余儀無い