そのロリ男は未練がましかない
fact1: もし仮にこのＴＧＦ‐βがうら若しならばあのロリ男は未練がましい fact2: もしこのＴＧＦ‐βは御労しいとしたら「そのロリ男は未練がましい」ということは事実だ fact3: このＴＧＦ‐βはうら若しかもしくはそれは御労しいかあるいはどちらもである
$facts$ = fact1: もし仮にこのＴＧＦ‐βがうら若しならばあのロリ男は未練がましい fact2: もしこのＴＧＦ‐βは御労しいとしたら「そのロリ男は未練がましい」ということは事実だ fact3: このＴＧＦ‐βはうら若しかもしくはそれは御労しいかあるいはどちらもである ; $hypothesis$ = そのロリ男は未練がましかない ; $proof$ = 
事実1: もし仮にこのＴＧＦ‐βがうら若しならばあのロリ男は未練がましい
事実2: もしこのＴＧＦ‐βは御労しいとしたら「そのロリ男は未練がましい」ということは事実だ
事実3: このＴＧＦ‐βはうら若しかもしくはそれは御労しいかあるいはどちらもである

仮説: そのロリ男は未練がましかない