このピロルリアは出し続けるかあるいは並び立たないかあるいは両方である
fact1: このピロルリアはホールインワンする fact2: もしもこのピロルリアがホールインワンするならそれは出し続けるかあるいは並び立たないか両方ともだ
$facts$ = fact1: このピロルリアはホールインワンする fact2: もしもこのピロルリアがホールインワンするならそれは出し続けるかあるいは並び立たないか両方ともだ ; $hypothesis$ = このピロルリアは出し続けるかあるいは並び立たないかあるいは両方である ; $proof$ = 
事実1: このピロルリアはホールインワンする
事実2: もしもこのピロルリアがホールインワンするならそれは出し続けるかあるいは並び立たないか両方ともだ

仮説: このピロルリアは出し続けるかあるいは並び立たないかあるいは両方である