その不明は遊離するししかも汚らしい
fact1: この公定は遊離する fact2: 「その不明は小気味良いし不当利得返還請求である」ということは本当である fact3: 「この発信手順は遊離する」ということは本当である fact4: その不明は出動するしその上見窄らしい fact5: その不明は遊離する fact6: あの末尾は汚らしい fact7: その不明が不当利得返還請求だしそれは憚る fact8: とある物が御飯物でないしまたそれが言い辛くないとすれば遊離する fact9: その十センチメートル角はＹ先生であるしかつ治部卿局である fact10: 「言い辛い」物はあるなら「その不明が遊離するしその上汚らしい」ということは間違いだ fact11: その飛行機係は遊離する fact12: その不明は世間周知だ fact13: 全ては敗走しない fact14: その不明は汚らしい
fact5 & fact14 -> hypothesis;
fact5 & fact14 -> hypothesis;
「その不明は遊離するし加えて汚らしい」ということは成り立たない
$facts$ = fact1: この公定は遊離する fact2: 「その不明は小気味良いし不当利得返還請求である」ということは本当である fact3: 「この発信手順は遊離する」ということは本当である fact4: その不明は出動するしその上見窄らしい fact5: その不明は遊離する fact6: あの末尾は汚らしい fact7: その不明が不当利得返還請求だしそれは憚る fact8: とある物が御飯物でないしまたそれが言い辛くないとすれば遊離する fact9: その十センチメートル角はＹ先生であるしかつ治部卿局である fact10: 「言い辛い」物はあるなら「その不明が遊離するしその上汚らしい」ということは間違いだ fact11: その飛行機係は遊離する fact12: その不明は世間周知だ fact13: 全ては敗走しない fact14: その不明は汚らしい ; $hypothesis$ = その不明は遊離するししかも汚らしい ; $proof$ = 
fact5 & fact14 -> hypothesis; __PROVED__
事実1: この公定は遊離する
事実2: 「その不明は小気味良いし不当利得返還請求である」ということは本当である
事実3: 「この発信手順は遊離する」ということは本当である
事実4: その不明は出動するしその上見窄らしい
事実5: その不明は遊離する
事実6: あの末尾は汚らしい
事実7: その不明が不当利得返還請求だしそれは憚る
事実8: とある物が御飯物でないしまたそれが言い辛くないとすれば遊離する
事実9: その十センチメートル角はＹ先生であるしかつ治部卿局である
事実10: 「言い辛い」物はあるなら「その不明が遊離するしその上汚らしい」ということは間違いだ
事実11: その飛行機係は遊離する
事実12: その不明は世間周知だ
事実13: 全ては敗走しない
事実14: その不明は汚らしい

仮説: その不明は遊離するししかも汚らしい
1. 事実5と事実14から、仮説が導かれる

よって、仮説が証明されました。