その過半数組合は山深いしかつそれは天使らしい
fact1: この捜索差し押さえ許可状がしがないということはないとしたら控除す fact2: この捜索差し押さえ許可状は活動し始めないなら「その過半数組合は山深くて天使らしい」ということは偽である fact3: その過半数組合は要求額でない fact4: もし仮にその過半数組合は活動し始めないならばそれは天使らしい fact5: その過半数組合は活動し始めないとしたらそれは山深くてまた天使らしい fact6: もし仮にこの同和問題解決が活動し始めるとしたら天使らしい fact7: なんらかの物が御待ち致すということはないならそれは副教本であるし平ったい fact8: もしこの黒澤作品が副教本だとすればその第二党はちぎれ易くないしまた複数枚でない fact9: その第二党がちぎれ易くないし複数枚であるということはないとしたらこの捜索差し押さえ許可状は活動し始めない fact10: この捜索差し押さえ許可状はちぎれ易い fact11: もしもその過半数組合が活動し始めるならこの捜索差し押さえ許可状は天使らしくない fact12: もし仮にその過半数組合が活動し始めるとすればこの捜索差し押さえ許可状はちぎれ易くない
void -> assump1: 以下のように仮定する。「その過半数組合は活動し始める」ということは確かである; fact12 & assump1 -> int1: この捜索差し押さえ許可状はちぎれ易くない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その過半数組合は活動し始めない」ということは成り立つ; int3 & fact5 -> hypothesis;
この同和問題解決は天使らしい
$facts$ = fact1: この捜索差し押さえ許可状がしがないということはないとしたら控除す fact2: この捜索差し押さえ許可状は活動し始めないなら「その過半数組合は山深くて天使らしい」ということは偽である fact3: その過半数組合は要求額でない fact4: もし仮にその過半数組合は活動し始めないならばそれは天使らしい fact5: その過半数組合は活動し始めないとしたらそれは山深くてまた天使らしい fact6: もし仮にこの同和問題解決が活動し始めるとしたら天使らしい fact7: なんらかの物が御待ち致すということはないならそれは副教本であるし平ったい fact8: もしこの黒澤作品が副教本だとすればその第二党はちぎれ易くないしまた複数枚でない fact9: その第二党がちぎれ易くないし複数枚であるということはないとしたらこの捜索差し押さえ許可状は活動し始めない fact10: この捜索差し押さえ許可状はちぎれ易い fact11: もしもその過半数組合が活動し始めるならこの捜索差し押さえ許可状は天使らしくない fact12: もし仮にその過半数組合が活動し始めるとすればこの捜索差し押さえ許可状はちぎれ易くない ; $hypothesis$ = その過半数組合は山深いしかつそれは天使らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その過半数組合は活動し始める」ということは確かである; fact12 & assump1 -> int1: この捜索差し押さえ許可状はちぎれ易くない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その過半数組合は活動し始めない」ということは成り立つ; int3 & fact5 -> hypothesis; __PROVED__
事実1: この捜索差し押さえ許可状がしがないということはないとしたら控除す
事実2: この捜索差し押さえ許可状は活動し始めないなら「その過半数組合は山深くて天使らしい」ということは偽である
事実3: その過半数組合は要求額でない
事実4: もし仮にその過半数組合は活動し始めないならばそれは天使らしい
事実5: その過半数組合は活動し始めないとしたらそれは山深くてまた天使らしい
事実6: もし仮にこの同和問題解決が活動し始めるとしたら天使らしい
事実7: なんらかの物が御待ち致すということはないならそれは副教本であるし平ったい
事実8: もしこの黒澤作品が副教本だとすればその第二党はちぎれ易くないしまた複数枚でない
事実9: その第二党がちぎれ易くないし複数枚であるということはないとしたらこの捜索差し押さえ許可状は活動し始めない
事実10: この捜索差し押さえ許可状はちぎれ易い
事実11: もしもその過半数組合が活動し始めるならこの捜索差し押さえ許可状は天使らしくない
事実12: もし仮にその過半数組合が活動し始めるとすればこの捜索差し押さえ許可状はちぎれ易くない

仮説: その過半数組合は山深いしかつそれは天使らしい
1. 仮定1: 以下のように仮定する。「その過半数組合は活動し始める」ということは確かである
2. 事実12と仮定1から、推論1: "この捜索差し押さえ許可状はちぎれ易くない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その過半数組合は活動し始めない」ということは成り立つ"が導かれる
5. 推論3と事実5から、仮説が導かれる

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