このパーク内は離れ難いか疑わしいかまたは両方だ
fact1: あの地回りは疑わしい fact2: この不始末は疑わしい fact3: 「このパーク内は泳ぎ続ける」ということは成り立つ fact4: このパーク内は差別化するかもしくは青っぽい fact5: この記録フィルムはリスペクトであるか厚かましいかもしくは両方である fact6: あの宗教界は冷え過ぎるか離れ難いかもしくは両方だ fact7: このパーク内は償却費だ fact8: このパーク内は核物理学であるかまたはそれは回収サービス業務資産だ fact9: このパーク内は疑わしいかそれは貢ぐ fact10: 「このパーク内は租税実体法である」ということは成り立つ fact11: このパーク内は疑わしい
fact11 -> hypothesis;
fact11 -> hypothesis;
$facts$ = fact1: あの地回りは疑わしい fact2: この不始末は疑わしい fact3: 「このパーク内は泳ぎ続ける」ということは成り立つ fact4: このパーク内は差別化するかもしくは青っぽい fact5: この記録フィルムはリスペクトであるか厚かましいかもしくは両方である fact6: あの宗教界は冷え過ぎるか離れ難いかもしくは両方だ fact7: このパーク内は償却費だ fact8: このパーク内は核物理学であるかまたはそれは回収サービス業務資産だ fact9: このパーク内は疑わしいかそれは貢ぐ fact10: 「このパーク内は租税実体法である」ということは成り立つ fact11: このパーク内は疑わしい ; $hypothesis$ = このパーク内は離れ難いか疑わしいかまたは両方だ ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: あの地回りは疑わしい
事実2: この不始末は疑わしい
事実3: 「このパーク内は泳ぎ続ける」ということは成り立つ
事実4: このパーク内は差別化するかもしくは青っぽい
事実5: この記録フィルムはリスペクトであるか厚かましいかもしくは両方である
事実6: あの宗教界は冷え過ぎるか離れ難いかもしくは両方だ
事実7: このパーク内は償却費だ
事実8: このパーク内は核物理学であるかまたはそれは回収サービス業務資産だ
事実9: このパーク内は疑わしいかそれは貢ぐ
事実10: 「このパーク内は租税実体法である」ということは成り立つ
事実11: このパーク内は疑わしい

仮説: このパーク内は離れ難いか疑わしいかまたは両方だ
1. 事実11から、仮説が導かれる

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