あの電気街は心苦しい
fact1: もしもあの南東が血腥いならあの電気街は心苦しい fact2: 「あの南東は通じ易い」ということは成り立つ fact3: もしあの南東が心苦しいならあの電気街は血腥い fact4: あの南東は擬装民主主義であるしその上軽んずる fact5: この準備行動は擬装民主主義である fact6: もし仮にあの南東が擬装民主主義だとしたらあの電気街は血腥い fact7: その社債券不発行制度は心苦しい fact8: あの南東は擬装民主主義でおまけに血腥い fact9: あの電気街は擬装民主主義である fact10: あの南東は心苦しくてさらに振り掛ける fact11: あの電気街はＧＦＳであるしそれにそれは水差しである fact12: あの南東が血腥いとしたらあの電気街は擬装民主主義である fact13: もし仮にあの電気街が血腥いとするとあの南東は心苦しい fact14: もし仮にあの電気街が擬装民主主義であるとするとあの南東は心苦しい fact15: あの南東は心苦しい fact16: あの南東は擬装民主主義であるしその上心苦しい fact17: 「あの南東は区切れる」ということは成り立つ fact18: 「あの南東は起動出来る」ということは成り立つ fact19: あの南東は豊満だ fact20: 「あの電気街は血腥い」ということは確かである fact21: あの王女は血腥い
fact8 -> int1: あの南東は血腥い; int1 & fact1 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもあの南東が血腥いならあの電気街は心苦しい fact2: 「あの南東は通じ易い」ということは成り立つ fact3: もしあの南東が心苦しいならあの電気街は血腥い fact4: あの南東は擬装民主主義であるしその上軽んずる fact5: この準備行動は擬装民主主義である fact6: もし仮にあの南東が擬装民主主義だとしたらあの電気街は血腥い fact7: その社債券不発行制度は心苦しい fact8: あの南東は擬装民主主義でおまけに血腥い fact9: あの電気街は擬装民主主義である fact10: あの南東は心苦しくてさらに振り掛ける fact11: あの電気街はＧＦＳであるしそれにそれは水差しである fact12: あの南東が血腥いとしたらあの電気街は擬装民主主義である fact13: もし仮にあの電気街が血腥いとするとあの南東は心苦しい fact14: もし仮にあの電気街が擬装民主主義であるとするとあの南東は心苦しい fact15: あの南東は心苦しい fact16: あの南東は擬装民主主義であるしその上心苦しい fact17: 「あの南東は区切れる」ということは成り立つ fact18: 「あの南東は起動出来る」ということは成り立つ fact19: あの南東は豊満だ fact20: 「あの電気街は血腥い」ということは確かである fact21: あの王女は血腥い ; $hypothesis$ = あの電気街は心苦しい ; $proof$ = 
fact8 -> int1: あの南東は血腥い; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしもあの南東が血腥いならあの電気街は心苦しい
事実2: 「あの南東は通じ易い」ということは成り立つ
事実3: もしあの南東が心苦しいならあの電気街は血腥い
事実4: あの南東は擬装民主主義であるしその上軽んずる
事実5: この準備行動は擬装民主主義である
事実6: もし仮にあの南東が擬装民主主義だとしたらあの電気街は血腥い
事実7: その社債券不発行制度は心苦しい
事実8: あの南東は擬装民主主義でおまけに血腥い
事実9: あの電気街は擬装民主主義である
事実10: あの南東は心苦しくてさらに振り掛ける
事実11: あの電気街はＧＦＳであるしそれにそれは水差しである
事実12: あの南東が血腥いとしたらあの電気街は擬装民主主義である
事実13: もし仮にあの電気街が血腥いとするとあの南東は心苦しい
事実14: もし仮にあの電気街が擬装民主主義であるとするとあの南東は心苦しい
事実15: あの南東は心苦しい
事実16: あの南東は擬装民主主義であるしその上心苦しい
事実17: 「あの南東は区切れる」ということは成り立つ
事実18: 「あの南東は起動出来る」ということは成り立つ
事実19: あの南東は豊満だ
事実20: 「あの電気街は血腥い」ということは確かである
事実21: あの王女は血腥い

仮説: あの電気街は心苦しい
1. 事実8から、推論1: "あの南東は血腥い"が導かれる
2. 推論1と事実1から、仮説が導かれる

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