その自由分は放免しないかもしくは大きくないかまたはどちらもである
fact1: 「ペンＴＡミートンな」物はある fact2: もし「ペンＴＡミートンである」ものがあればその自由分は放免するということはないかあるいは大きくないかもしくは両方ともだ
$facts$ = fact1: 「ペンＴＡミートンな」物はある fact2: もし「ペンＴＡミートンである」ものがあればその自由分は放免するということはないかあるいは大きくないかもしくは両方ともだ ; $hypothesis$ = その自由分は放免しないかもしくは大きくないかまたはどちらもである ; $proof$ = 
事実1: 「ペンＴＡミートンな」物はある
事実2: もし「ペンＴＡミートンである」ものがあればその自由分は放免するということはないかあるいは大きくないかもしくは両方ともだ

仮説: その自由分は放免しないかもしくは大きくないかまたはどちらもである