そのパーキンソン病症状は帰港しない
fact1: そのプレーオフは武井・同でない fact2: その結核患者はしても良くない fact3: もしもそのプレーオフは武井・同でないなら「この角館町樺細工伝承館はつれないししかも打ち当てる」ということは嘘である fact4: そのパーキンソン病症状はしても良くない fact5: もしとある物は合併し易くないとすれば「それは天使らしいしそれは小賢しい」ということは成り立たない fact6: もし「とある物はつれなくて打ち当てる」ということは間違っていればそれは打ち当てない fact7: もし仮に「何かは景色であるかまたはコーディネイトしないかもしくは両方である」ということは成り立たないならば見え易くない fact8: この面取り距離が展開し易いということはないならその結核患者はがっちりしないしまた合併し易くない fact9: 「そのパーキンソン病症状はしても良いかまたは帰港するかまたはどちらもだ」ということは間違っているとすればその結核患者は持ち出さない fact10: もし仮にこの角館町樺細工伝承館が見え易いということはないしさらに打ち当てるということはないとしたらこの面取り距離は展開し易くない fact11: もしなにかは挑み掛かるとすると「それは景色であるかまたはコーディネイトしないか両方である」ということは成り立たない fact12: 「その結核患者は帰港するかあるいはしても良い」ということは誤りである fact13: この角館町樺細工伝承館は挑み掛かる fact14: 「その結核患者はしても良いかあるいはそれは持ち出す」ということは成り立たない fact15: 仮に「「その結核患者はしても良いかあるいは持ち出す」ということは誤っている」ということは真実ならそのパーキンソン病症状は帰港しない
fact15 & fact14 -> hypothesis;
そのパーキンソン病症状は帰港する
fact21 -> int1: もし仮にその結核患者は合併し易いということはないとすると「天使らしいしそれは小賢しい」ということは事実と異なる; fact24 -> int2: 「この角館町樺細工伝承館は景色であるかもしくはそれはコーディネイトするということはないかあるいは両方ともだ」ということは事実でないとしたら「それは見え易くない」ということは成り立つ; fact23 -> int3: もしこの角館町樺細工伝承館は挑み掛かるとしたら「それは景色であるかあるいはコーディネイトしない」ということは間違いである; int3 & fact18 -> int4: 「この角館町樺細工伝承館は景色であるかまたはコーディネイトしない」ということは誤りだ; int2 & int4 -> int5: この角館町樺細工伝承館は見え易くない; fact20 -> int6: もしも「この角館町樺細工伝承館はつれないし更に打ち当てる」ということは成り立たないとすれば打ち当てるということはない; fact16 & fact17 -> int7: 「この角館町樺細工伝承館はつれないしさらに打ち当てる」ということは誤りだ; int6 & int7 -> int8: 「この角館町樺細工伝承館は打ち当てない」ということは正しい; int5 & int8 -> int9: この角館町樺細工伝承館は見え易くなくて打ち当てない; fact22 & int9 -> int10: この面取り距離は展開し易くない; fact19 & int10 -> int11: その結核患者はがっちりしなくて合併し易くない; int11 -> int12: その結核患者は合併し易くない; int1 & int12 -> int13: 「その結核患者は天使らしいしそれは小賢しい」ということは事実と異なる; int13 -> int14: 「「天使らしいし更に小賢しい」ということは間違っている」物はある;
$facts$ = fact1: そのプレーオフは武井・同でない fact2: その結核患者はしても良くない fact3: もしもそのプレーオフは武井・同でないなら「この角館町樺細工伝承館はつれないししかも打ち当てる」ということは嘘である fact4: そのパーキンソン病症状はしても良くない fact5: もしとある物は合併し易くないとすれば「それは天使らしいしそれは小賢しい」ということは成り立たない fact6: もし「とある物はつれなくて打ち当てる」ということは間違っていればそれは打ち当てない fact7: もし仮に「何かは景色であるかまたはコーディネイトしないかもしくは両方である」ということは成り立たないならば見え易くない fact8: この面取り距離が展開し易いということはないならその結核患者はがっちりしないしまた合併し易くない fact9: 「そのパーキンソン病症状はしても良いかまたは帰港するかまたはどちらもだ」ということは間違っているとすればその結核患者は持ち出さない fact10: もし仮にこの角館町樺細工伝承館が見え易いということはないしさらに打ち当てるということはないとしたらこの面取り距離は展開し易くない fact11: もしなにかは挑み掛かるとすると「それは景色であるかまたはコーディネイトしないか両方である」ということは成り立たない fact12: 「その結核患者は帰港するかあるいはしても良い」ということは誤りである fact13: この角館町樺細工伝承館は挑み掛かる fact14: 「その結核患者はしても良いかあるいはそれは持ち出す」ということは成り立たない fact15: 仮に「「その結核患者はしても良いかあるいは持ち出す」ということは誤っている」ということは真実ならそのパーキンソン病症状は帰港しない ; $hypothesis$ = そのパーキンソン病症状は帰港しない ; $proof$ = 
fact15 & fact14 -> hypothesis; __PROVED__
事実1: そのプレーオフは武井・同でない
事実2: その結核患者はしても良くない
事実3: もしもそのプレーオフは武井・同でないなら「この角館町樺細工伝承館はつれないししかも打ち当てる」ということは嘘である
事実4: そのパーキンソン病症状はしても良くない
事実5: もしとある物は合併し易くないとすれば「それは天使らしいしそれは小賢しい」ということは成り立たない
事実6: もし「とある物はつれなくて打ち当てる」ということは間違っていればそれは打ち当てない
事実7: もし仮に「何かは景色であるかまたはコーディネイトしないかもしくは両方である」ということは成り立たないならば見え易くない
事実8: この面取り距離が展開し易いということはないならその結核患者はがっちりしないしまた合併し易くない
事実9: 「そのパーキンソン病症状はしても良いかまたは帰港するかまたはどちらもだ」ということは間違っているとすればその結核患者は持ち出さない
事実10: もし仮にこの角館町樺細工伝承館が見え易いということはないしさらに打ち当てるということはないとしたらこの面取り距離は展開し易くない
事実11: もしなにかは挑み掛かるとすると「それは景色であるかまたはコーディネイトしないか両方である」ということは成り立たない
事実12: 「その結核患者は帰港するかあるいはしても良い」ということは誤りである
事実13: この角館町樺細工伝承館は挑み掛かる
事実14: 「その結核患者はしても良いかあるいはそれは持ち出す」ということは成り立たない
事実15: 仮に「「その結核患者はしても良いかあるいは持ち出す」ということは誤っている」ということは真実ならそのパーキンソン病症状は帰港しない

仮説: そのパーキンソン病症状は帰港しない
1. 事実15と事実14から、仮説が導かれる

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