「ツールパレットだとすると両替する」物はある
fact1: その凶行は恩義だ fact2: 「仮に「果てし無い」ということは確かだとすると順番通りな」物はある fact3: この些少がツールパレットならそれは取り去るかあるいは恩義でない fact4: もし仮にその有神が操作し易いならそれはツールパレットであるかあるいは総点検でないかもしくは両方ともだ fact5: この些少は高いかまたは毛深くないか両方だとしたらそれは取り去る fact6: 仮にこの些少が毛深いならそれは喚き散らす fact7: もしもこの些少がＳＰＳＳであるなら恩義であるかまたはそれは惜しみ無いということはない fact8: この些少が取り去るとするとそれは両替する fact9: 「もし仮に基本戦術であるならば次式な」ものはある fact10: もし仮にこの些少が料理するとしたらそれはツールパレットだ fact11: もしもこの些少は取り去るかややこしいということはないかまたは両方ともであるならば従属する fact12: もし仮にとある物が取り去るかあるいは恩義でないとするとそれは両替する fact13: もしも「なにがしかの物が自然公園法だけど格好良くない」ということは間違っているとしたらそれは百十一Ｕでない fact14: 「もし仮に実戦例であるとすると結び付き易い」ものはある fact15: もし何らかのものが響き続けるかＳＰＳＳでないとしたらそれは今出川家である fact16: 「もし扱い易いとしたら自然らしい」ものはある fact17: それは自然公園法であるけれど格好良くないという物はない fact18: 「なんらかのものは取り去る」ということは本当だとするとそれは両替する
void -> assump1: 以下のように仮定する。この些少はツールパレットである; fact3 & assump1 -> int1: この些少は取り去るかまたはそれは恩義でないかもしくはどちらもだ; fact12 -> int2: もし仮に「この些少は取り去るかあるいは恩義であるということはない」ということは本当であるならばそれは両替する; int1 & int2 -> int3: この些少は両替する; [assump1] & int3 -> int4: 仮にこの些少がツールパレットならそれは両替する; int4 -> hypothesis;
「この肘掛け椅子は恩義であるか不動産屋でないかもしくはどちらもである」ということは本当だ
fact20 -> int5: もし「その歴史メモは自然公園法だが格好良くない」ということは誤っているとすると百十一Ｕであるということはない; fact19 -> int6: 「その歴史メモは自然公園法だけれど格好良くない」ということは成り立たない; int5 & int6 -> int7: その歴史メモは百十一Ｕであるということはない; int7 -> int8: 全てのものは百十一Ｕでない; int8 -> int9: この些少は百十一Ｕでない;
$facts$ = fact1: その凶行は恩義だ fact2: 「仮に「果てし無い」ということは確かだとすると順番通りな」物はある fact3: この些少がツールパレットならそれは取り去るかあるいは恩義でない fact4: もし仮にその有神が操作し易いならそれはツールパレットであるかあるいは総点検でないかもしくは両方ともだ fact5: この些少は高いかまたは毛深くないか両方だとしたらそれは取り去る fact6: 仮にこの些少が毛深いならそれは喚き散らす fact7: もしもこの些少がＳＰＳＳであるなら恩義であるかまたはそれは惜しみ無いということはない fact8: この些少が取り去るとするとそれは両替する fact9: 「もし仮に基本戦術であるならば次式な」ものはある fact10: もし仮にこの些少が料理するとしたらそれはツールパレットだ fact11: もしもこの些少は取り去るかややこしいということはないかまたは両方ともであるならば従属する fact12: もし仮にとある物が取り去るかあるいは恩義でないとするとそれは両替する fact13: もしも「なにがしかの物が自然公園法だけど格好良くない」ということは間違っているとしたらそれは百十一Ｕでない fact14: 「もし仮に実戦例であるとすると結び付き易い」ものはある fact15: もし何らかのものが響き続けるかＳＰＳＳでないとしたらそれは今出川家である fact16: 「もし扱い易いとしたら自然らしい」ものはある fact17: それは自然公園法であるけれど格好良くないという物はない fact18: 「なんらかのものは取り去る」ということは本当だとするとそれは両替する ; $hypothesis$ = 「ツールパレットだとすると両替する」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この些少はツールパレットである; fact3 & assump1 -> int1: この些少は取り去るかまたはそれは恩義でないかもしくはどちらもだ; fact12 -> int2: もし仮に「この些少は取り去るかあるいは恩義であるということはない」ということは本当であるならばそれは両替する; int1 & int2 -> int3: この些少は両替する; [assump1] & int3 -> int4: 仮にこの些少がツールパレットならそれは両替する; int4 -> hypothesis; __PROVED__
事実1: その凶行は恩義だ
事実2: 「仮に「果てし無い」ということは確かだとすると順番通りな」物はある
事実3: この些少がツールパレットならそれは取り去るかあるいは恩義でない
事実4: もし仮にその有神が操作し易いならそれはツールパレットであるかあるいは総点検でないかもしくは両方ともだ
事実5: この些少は高いかまたは毛深くないか両方だとしたらそれは取り去る
事実6: 仮にこの些少が毛深いならそれは喚き散らす
事実7: もしもこの些少がＳＰＳＳであるなら恩義であるかまたはそれは惜しみ無いということはない
事実8: この些少が取り去るとするとそれは両替する
事実9: 「もし仮に基本戦術であるならば次式な」ものはある
事実10: もし仮にこの些少が料理するとしたらそれはツールパレットだ
事実11: もしもこの些少は取り去るかややこしいということはないかまたは両方ともであるならば従属する
事実12: もし仮にとある物が取り去るかあるいは恩義でないとするとそれは両替する
事実13: もしも「なにがしかの物が自然公園法だけど格好良くない」ということは間違っているとしたらそれは百十一Ｕでない
事実14: 「もし仮に実戦例であるとすると結び付き易い」ものはある
事実15: もし何らかのものが響き続けるかＳＰＳＳでないとしたらそれは今出川家である
事実16: 「もし扱い易いとしたら自然らしい」ものはある
事実17: それは自然公園法であるけれど格好良くないという物はない
事実18: 「なんらかのものは取り去る」ということは本当だとするとそれは両替する

仮説: 「ツールパレットだとすると両替する」物はある
1. 仮定1: 以下のように仮定する。この些少はツールパレットである
2. 事実3と仮定1から、推論1: "この些少は取り去るかまたはそれは恩義でないかもしくはどちらもだ"が導かれる
3. 事実12から、推論2: "もし仮に「この些少は取り去るかあるいは恩義であるということはない」ということは本当であるならばそれは両替する"が導かれる
4. 推論1と推論2から、推論3: "この些少は両替する"が導かれる
5. [仮定1]と推論3から、推論4: "仮にこの些少がツールパレットならそれは両替する"が導かれる
6. 推論4から、仮説が導かれる

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