「もし濃縮であるということはないとすると「免るか支弁しないか両方ともである」ということは成り立たない」物はある
fact1: ある物は吸収され難くないとすれば「戦車部隊であるかまたは人懐こくないかまたは両方ともである」ということは誤っている fact2: もしもあの微小変化群は濃縮でないとすると支弁する fact3: もし仮にあの微小変化群は生温かいとすると「それはＤＴＱであるかあるいはそれは感染後でないかあるいは両方ともだ」ということは成り立つということはない fact4: もしもこの権限不行使が名義借りであるということはないとしたら失礼するかもしくは特定人物でないかあるいは両方だ fact5: もし仮に「あの微小変化群は濃縮であるということはない」ということは本当なら「「免るか支弁しない」ということは確かだ」ということは嘘である fact6: 「もし調査・研究するとすると「過ごすか小煩くないかもしくは両方である」ということは偽である」ものはある fact7: 「濃縮だということはないとすれば支弁する」ものはある fact8: 仮にあの微小変化群は欲深いならば「汚いか支弁しない」ということは間違いだ fact9: 「もし仮に浅ましくないとするとエトルリア社会であるかもしくは平衡覚でない」ものはある fact10: 「もし肯定出来ないならば「節税するかまたは竜年でない」ということは真実であるということはない」物はある fact11: 「もし濃縮であるということはないならば「免るかもしくは支弁するかあるいは両方ともである」ということは成り立たない」物はある fact12: 「「濃縮でないなら免るない」物はある」ということは真実だ fact13: 「もしも「汚い」ということは間違いでないとしたら「抹殺するか収めでないか両方ともである」ということは事実でない」物はある fact14: 仮にあの微小変化群が支弁しないとすれば来るかまたは上はれないかあるいは両方ともだ fact15: 「仮に「悪戯する」ということは成り立つとすれば「感染後であるかあるいは使用すということはないかもしくは両方である」ということは誤りな」ものはある fact16: 「もし竜年でないとすると「美味しいか御書き下さるということはないかどちらもだ」ということは成り立つということはない」物はある fact17: 「仮に意味付けしないとしたら「書き立てるかもしくは辞任しない」ということは偽な」物はある
fact5 -> hypothesis;
「「もしも吸収され難くないとすると「戦車部隊であるかあるいは人懐こくない」ということは成り立たない」ものはある」ということは本当だ
fact18 -> int1: もし仮にその五十分は吸収され難くないとしたら「戦車部隊であるか人懐こくないかあるいはどちらもである」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: ある物は吸収され難くないとすれば「戦車部隊であるかまたは人懐こくないかまたは両方ともである」ということは誤っている fact2: もしもあの微小変化群は濃縮でないとすると支弁する fact3: もし仮にあの微小変化群は生温かいとすると「それはＤＴＱであるかあるいはそれは感染後でないかあるいは両方ともだ」ということは成り立つということはない fact4: もしもこの権限不行使が名義借りであるということはないとしたら失礼するかもしくは特定人物でないかあるいは両方だ fact5: もし仮に「あの微小変化群は濃縮であるということはない」ということは本当なら「「免るか支弁しない」ということは確かだ」ということは嘘である fact6: 「もし調査・研究するとすると「過ごすか小煩くないかもしくは両方である」ということは偽である」ものはある fact7: 「濃縮だということはないとすれば支弁する」ものはある fact8: 仮にあの微小変化群は欲深いならば「汚いか支弁しない」ということは間違いだ fact9: 「もし仮に浅ましくないとするとエトルリア社会であるかもしくは平衡覚でない」ものはある fact10: 「もし肯定出来ないならば「節税するかまたは竜年でない」ということは真実であるということはない」物はある fact11: 「もし濃縮であるということはないならば「免るかもしくは支弁するかあるいは両方ともである」ということは成り立たない」物はある fact12: 「「濃縮でないなら免るない」物はある」ということは真実だ fact13: 「もしも「汚い」ということは間違いでないとしたら「抹殺するか収めでないか両方ともである」ということは事実でない」物はある fact14: 仮にあの微小変化群が支弁しないとすれば来るかまたは上はれないかあるいは両方ともだ fact15: 「仮に「悪戯する」ということは成り立つとすれば「感染後であるかあるいは使用すということはないかもしくは両方である」ということは誤りな」ものはある fact16: 「もし竜年でないとすると「美味しいか御書き下さるということはないかどちらもだ」ということは成り立つということはない」物はある fact17: 「仮に意味付けしないとしたら「書き立てるかもしくは辞任しない」ということは偽な」物はある ; $hypothesis$ = 「もし濃縮であるということはないとすると「免るか支弁しないか両方ともである」ということは成り立たない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: ある物は吸収され難くないとすれば「戦車部隊であるかまたは人懐こくないかまたは両方ともである」ということは誤っている
事実2: もしもあの微小変化群は濃縮でないとすると支弁する
事実3: もし仮にあの微小変化群は生温かいとすると「それはＤＴＱであるかあるいはそれは感染後でないかあるいは両方ともだ」ということは成り立つということはない
事実4: もしもこの権限不行使が名義借りであるということはないとしたら失礼するかもしくは特定人物でないかあるいは両方だ
事実5: もし仮に「あの微小変化群は濃縮であるということはない」ということは本当なら「「免るか支弁しない」ということは確かだ」ということは嘘である
事実6: 「もし調査・研究するとすると「過ごすか小煩くないかもしくは両方である」ということは偽である」ものはある
事実7: 「濃縮だということはないとすれば支弁する」ものはある
事実8: 仮にあの微小変化群は欲深いならば「汚いか支弁しない」ということは間違いだ
事実9: 「もし仮に浅ましくないとするとエトルリア社会であるかもしくは平衡覚でない」ものはある
事実10: 「もし肯定出来ないならば「節税するかまたは竜年でない」ということは真実であるということはない」物はある
事実11: 「もし濃縮であるということはないならば「免るかもしくは支弁するかあるいは両方ともである」ということは成り立たない」物はある
事実12: 「「濃縮でないなら免るない」物はある」ということは真実だ
事実13: 「もしも「汚い」ということは間違いでないとしたら「抹殺するか収めでないか両方ともである」ということは事実でない」物はある
事実14: 仮にあの微小変化群が支弁しないとすれば来るかまたは上はれないかあるいは両方ともだ
事実15: 「仮に「悪戯する」ということは成り立つとすれば「感染後であるかあるいは使用すということはないかもしくは両方である」ということは誤りな」ものはある
事実16: 「もし竜年でないとすると「美味しいか御書き下さるということはないかどちらもだ」ということは成り立つということはない」物はある
事実17: 「仮に意味付けしないとしたら「書き立てるかもしくは辞任しない」ということは偽な」物はある

仮説: 「もし濃縮であるということはないとすると「免るか支弁しないか両方ともである」ということは成り立たない」物はある
1. 事実5から、仮説が導かれる

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