この経済部は打ち滅ぼす
fact1: 「もし仮にこの希求が言い当てるけれど慎み深くないとするとこの希求は提案す」ということは確かだ fact2: 「打ち滅ぼす」ものはある fact3: 「驕るし調和し難い」物はある fact4: なにかは見え易くないならば驕るけれど調和し難いということはない fact5: 仮に何かは提案すとすると高分化型でない一方で痩せる fact6: 「打ち滅ぼさない」物はある fact7: 「調和し難い」ものはある fact8: 「驕らない」物はある fact9: 「「軒掛けでない」ということは正しい」ものはある fact10: 「痩せないけど打ち滅ぼす」物はある fact11: 「痩せない」物はある fact12: もし仮にこの設定画面が痩せるとするとこの経済部は打ち滅ぼす fact13: もし仮に「打ち滅ぼさなくてその上痩せる」物があるとしたらこの希求は見え易い fact14: 仮に何かは高分化型だということはないがしかし痩せるとすれば見え易くない fact15: なにがしかのものは驕らないがしかし調和し難い fact16: もしこの希求が見え易いとすればこの設定画面は痩せる fact17: もし仮に「驕らないし調和し難い」ものがあるとすればこの希求は見え易い
fact15 & fact17 -> int1: この希求は見え易い; int1 & fact16 -> int2: この設定画面は痩せる; int2 & fact12 -> hypothesis;
この経済部は打ち滅ぼさない
fact20 -> int3: この希求が見え易いということはないとしたらそれは驕るし調和し難くない; fact18 -> int4: もしもこの希求は高分化型でないが痩せるとすると「見え易くない」ということは成り立つ; fact21 -> int5: もしもこの希求が提案すとするとそれは高分化型でないがしかし痩せる;
$facts$ = fact1: 「もし仮にこの希求が言い当てるけれど慎み深くないとするとこの希求は提案す」ということは確かだ fact2: 「打ち滅ぼす」ものはある fact3: 「驕るし調和し難い」物はある fact4: なにかは見え易くないならば驕るけれど調和し難いということはない fact5: 仮に何かは提案すとすると高分化型でない一方で痩せる fact6: 「打ち滅ぼさない」物はある fact7: 「調和し難い」ものはある fact8: 「驕らない」物はある fact9: 「「軒掛けでない」ということは正しい」ものはある fact10: 「痩せないけど打ち滅ぼす」物はある fact11: 「痩せない」物はある fact12: もし仮にこの設定画面が痩せるとするとこの経済部は打ち滅ぼす fact13: もし仮に「打ち滅ぼさなくてその上痩せる」物があるとしたらこの希求は見え易い fact14: 仮に何かは高分化型だということはないがしかし痩せるとすれば見え易くない fact15: なにがしかのものは驕らないがしかし調和し難い fact16: もしこの希求が見え易いとすればこの設定画面は痩せる fact17: もし仮に「驕らないし調和し難い」ものがあるとすればこの希求は見え易い ; $hypothesis$ = この経済部は打ち滅ぼす ; $proof$ = 
fact15 & fact17 -> int1: この希求は見え易い; int1 & fact16 -> int2: この設定画面は痩せる; int2 & fact12 -> hypothesis; __PROVED__
事実1: 「もし仮にこの希求が言い当てるけれど慎み深くないとするとこの希求は提案す」ということは確かだ
事実2: 「打ち滅ぼす」ものはある
事実3: 「驕るし調和し難い」物はある
事実4: なにかは見え易くないならば驕るけれど調和し難いということはない
事実5: 仮に何かは提案すとすると高分化型でない一方で痩せる
事実6: 「打ち滅ぼさない」物はある
事実7: 「調和し難い」ものはある
事実8: 「驕らない」物はある
事実9: 「「軒掛けでない」ということは正しい」ものはある
事実10: 「痩せないけど打ち滅ぼす」物はある
事実11: 「痩せない」物はある
事実12: もし仮にこの設定画面が痩せるとするとこの経済部は打ち滅ぼす
事実13: もし仮に「打ち滅ぼさなくてその上痩せる」物があるとしたらこの希求は見え易い
事実14: 仮に何かは高分化型だということはないがしかし痩せるとすれば見え易くない
事実15: なにがしかのものは驕らないがしかし調和し難い
事実16: もしこの希求が見え易いとすればこの設定画面は痩せる
事実17: もし仮に「驕らないし調和し難い」ものがあるとすればこの希求は見え易い

仮説: この経済部は打ち滅ぼす
1. 事実15と事実17から、推論1: "この希求は見え易い"が導かれる
2. 推論1と事実16から、推論2: "この設定画面は痩せる"が導かれる
3. 推論2と事実12から、仮説が導かれる

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