「この池田屋事件は後ろめたいし調べ易い」ということは嘘だ
fact1: 「この池田屋事件は青くてまたそれは感じ難い」ということは間違っている fact2: もし仮にとあるものは自警団でないとしたら「この池田屋事件は作り付けるしそれは情報基盤である」ということは成り立たない fact3: 後ろめたい物はある fact4: 「「浅まし」ということは本当である」ものはある fact5: 「後ろめたくない」物はある fact6: 「この池田屋事件は自発分極するしかつ感じ難い」ということは嘘である fact7: 著しい物はある fact8: 「「この池田屋事件は後ろめたいし更にそれは起き難い」ということは成り立たない」ということは成り立つ fact9: 「その消極的運用は念じるし調べ易い」ということは成り立たない fact10: もしも「「専心しない」ということは正しい」物はあれば「その変転は十八年前で作り付ける」ということは成り立つということはない fact11: もし仮に何らかのものは作り付けないならば「この池田屋事件は後ろめたくておまけに調べ易い」ということは間違いだ fact12: 「この池田屋事件は痩せ難いしかつ念じる」ということは事実でない fact13: 「銃手でない」ものはある fact14: 「この池田屋事件は食べ続けるしかつ調べ易い」ということは誤っている fact15: 「作り付けない」ものはある
fact15 & fact11 -> hypothesis;
fact15 & fact11 -> hypothesis;
$facts$ = fact1: 「この池田屋事件は青くてまたそれは感じ難い」ということは間違っている fact2: もし仮にとあるものは自警団でないとしたら「この池田屋事件は作り付けるしそれは情報基盤である」ということは成り立たない fact3: 後ろめたい物はある fact4: 「「浅まし」ということは本当である」ものはある fact5: 「後ろめたくない」物はある fact6: 「この池田屋事件は自発分極するしかつ感じ難い」ということは嘘である fact7: 著しい物はある fact8: 「「この池田屋事件は後ろめたいし更にそれは起き難い」ということは成り立たない」ということは成り立つ fact9: 「その消極的運用は念じるし調べ易い」ということは成り立たない fact10: もしも「「専心しない」ということは正しい」物はあれば「その変転は十八年前で作り付ける」ということは成り立つということはない fact11: もし仮に何らかのものは作り付けないならば「この池田屋事件は後ろめたくておまけに調べ易い」ということは間違いだ fact12: 「この池田屋事件は痩せ難いしかつ念じる」ということは事実でない fact13: 「銃手でない」ものはある fact14: 「この池田屋事件は食べ続けるしかつ調べ易い」ということは誤っている fact15: 「作り付けない」ものはある ; $hypothesis$ = 「この池田屋事件は後ろめたいし調べ易い」ということは嘘だ ; $proof$ = 
fact15 & fact11 -> hypothesis; __PROVED__
事実1: 「この池田屋事件は青くてまたそれは感じ難い」ということは間違っている
事実2: もし仮にとあるものは自警団でないとしたら「この池田屋事件は作り付けるしそれは情報基盤である」ということは成り立たない
事実3: 後ろめたい物はある
事実4: 「「浅まし」ということは本当である」ものはある
事実5: 「後ろめたくない」物はある
事実6: 「この池田屋事件は自発分極するしかつ感じ難い」ということは嘘である
事実7: 著しい物はある
事実8: 「「この池田屋事件は後ろめたいし更にそれは起き難い」ということは成り立たない」ということは成り立つ
事実9: 「その消極的運用は念じるし調べ易い」ということは成り立たない
事実10: もしも「「専心しない」ということは正しい」物はあれば「その変転は十八年前で作り付ける」ということは成り立つということはない
事実11: もし仮に何らかのものは作り付けないならば「この池田屋事件は後ろめたくておまけに調べ易い」ということは間違いだ
事実12: 「この池田屋事件は痩せ難いしかつ念じる」ということは事実でない
事実13: 「銃手でない」ものはある
事実14: 「この池田屋事件は食べ続けるしかつ調べ易い」ということは誤っている
事実15: 「作り付けない」ものはある

仮説: 「この池田屋事件は後ろめたいし調べ易い」ということは嘘だ
1. 事実15と事実11から、仮説が導かれる

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