この小論理学は煤ける
fact1: もし「この小論理学は返りらしくないかもしくは引き上げしないか両方ともだ」ということは真実ならば煤ける fact2: この小論理学は返りらしくないかもしくは引き上げしない
$facts$ = fact1: もし「この小論理学は返りらしくないかもしくは引き上げしないか両方ともだ」ということは真実ならば煤ける fact2: この小論理学は返りらしくないかもしくは引き上げしない ; $hypothesis$ = この小論理学は煤ける ; $proof$ = 
事実1: もし「この小論理学は返りらしくないかもしくは引き上げしないか両方ともだ」ということは真実ならば煤ける
事実2: この小論理学は返りらしくないかもしくは引き上げしない

仮説: この小論理学は煤ける