その換地処分は取り難い
fact1: 「あの常宮は及ぼさない」ということは事実である fact2: その消費電力は干し葡萄でない fact3: その消費電力は働き難くない fact4: 仮にその消費電力が抽象しないならこの製品規格は及ぼすし取り難い fact5: 「取り難くない」ものはある fact6: あの常宮は抽象する fact7: 「あのフルスペック版は及ぼさない」ということは事実である fact8: 「仮にあるものは行使し得るなら「「それは及ぼさないか若いかもしくはどちらもだ」ということは成り立つ」ということは偽だ」ということは誤っていない fact9: その換地処分は抽象する fact10: あの常宮は自分らしくない fact11: もし仮にその換地処分が及ぼすとしたらあの常宮は取り難い fact12: 仮に何かは及ぼさないならその消費電力は抽象する fact13: もし仮にあの常宮が取り難いとすればその換地処分は及ぼす fact14: 仮にその消費電力が抽象すればその換地処分は取り難い fact15: 「及ぼす」物はある fact16: もし仮に取り難いということはないものがあるとすればあの換地処分は及ぼす fact17: もし仮にその消費電力が抽象しないかもしくは取り難くないかまたは両方ともだとしたらその換地処分は取り難くない fact18: 見出だし難いものは行使し得る fact19: あの反射的利益は取り難いということはない
fact1 -> int1: 「及ぼさない」物はある; int1 & fact12 -> int2: その消費電力は抽象する; int2 & fact14 -> hypothesis;
fact1 -> int1: (Ex): ¬{A}x; int1 & fact12 -> int2: {B}{a}; int2 & fact14 -> hypothesis;
この製品規格は取り難い
$facts$ = fact1: 「あの常宮は及ぼさない」ということは事実である fact2: その消費電力は干し葡萄でない fact3: その消費電力は働き難くない fact4: 仮にその消費電力が抽象しないならこの製品規格は及ぼすし取り難い fact5: 「取り難くない」ものはある fact6: あの常宮は抽象する fact7: 「あのフルスペック版は及ぼさない」ということは事実である fact8: 「仮にあるものは行使し得るなら「「それは及ぼさないか若いかもしくはどちらもだ」ということは成り立つ」ということは偽だ」ということは誤っていない fact9: その換地処分は抽象する fact10: あの常宮は自分らしくない fact11: もし仮にその換地処分が及ぼすとしたらあの常宮は取り難い fact12: 仮に何かは及ぼさないならその消費電力は抽象する fact13: もし仮にあの常宮が取り難いとすればその換地処分は及ぼす fact14: 仮にその消費電力が抽象すればその換地処分は取り難い fact15: 「及ぼす」物はある fact16: もし仮に取り難いということはないものがあるとすればあの換地処分は及ぼす fact17: もし仮にその消費電力が抽象しないかもしくは取り難くないかまたは両方ともだとしたらその換地処分は取り難くない fact18: 見出だし難いものは行使し得る fact19: あの反射的利益は取り難いということはない ; $hypothesis$ = その換地処分は取り難い ; $proof$ = 
fact1 -> int1: 「及ぼさない」物はある; int1 & fact12 -> int2: その消費電力は抽象する; int2 & fact14 -> hypothesis; __PROVED__
事実1: 「あの常宮は及ぼさない」ということは事実である
事実2: その消費電力は干し葡萄でない
事実3: その消費電力は働き難くない
事実4: 仮にその消費電力が抽象しないならこの製品規格は及ぼすし取り難い
事実5: 「取り難くない」ものはある
事実6: あの常宮は抽象する
事実7: 「あのフルスペック版は及ぼさない」ということは事実である
事実8: 「仮にあるものは行使し得るなら「「それは及ぼさないか若いかもしくはどちらもだ」ということは成り立つ」ということは偽だ」ということは誤っていない
事実9: その換地処分は抽象する
事実10: あの常宮は自分らしくない
事実11: もし仮にその換地処分が及ぼすとしたらあの常宮は取り難い
事実12: 仮に何かは及ぼさないならその消費電力は抽象する
事実13: もし仮にあの常宮が取り難いとすればその換地処分は及ぼす
事実14: 仮にその消費電力が抽象すればその換地処分は取り難い
事実15: 「及ぼす」物はある
事実16: もし仮に取り難いということはないものがあるとすればあの換地処分は及ぼす
事実17: もし仮にその消費電力が抽象しないかもしくは取り難くないかまたは両方ともだとしたらその換地処分は取り難くない
事実18: 見出だし難いものは行使し得る
事実19: あの反射的利益は取り難いということはない

仮説: その換地処分は取り難い
1. 事実1から、推論1: "「及ぼさない」物はある"が導かれる
2. 推論1と事実12から、推論2: "その消費電力は抽象する"が導かれる
3. 推論2と事実14から、仮説が導かれる

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