このＣＩＣＡは滑り易い
fact1: もし仮にあの芹谷野が病み衰えるとしたらこのＣＩＣＡは病み衰えるということはない fact2: もし仮に「なんらかのものは懐かしないがしかし下垂する」ということは事実と異なるとするとそれは滑り易くない fact3: もし仮にとあるものは灯し難いとすると「懐かしということはなくてそれは下垂する」ということは成り立たない fact4: その宇宙感覚が仄白いということはないならあの芹谷野は病み衰える fact5: 仮にあの芹谷野が懐かしないならこのＣＩＣＡは灯台草科であるし更に滑り易い fact6: このＣＩＣＡは尤もらしい fact7: すべての物は仄白くないか病み衰えない fact8: このＣＩＣＡはタブロイド紙だ fact9: その宇宙感覚が懐かしないかまたは下垂しないかまたはどちらもであるならあの芹谷野は懐かしない fact10: 何かは灯し難いとすれば懐かしないかまたはそれは下垂しないかもしくは両方ともである fact11: その宇宙感覚が病み衰えないとするとあの芹谷野は病み衰える fact12: もしも「なにがしかの物は支払い確保である」ということは本当だとすれば「それは灯し難い」ということは成り立つ fact13: この重要施設は滑り易い fact14: その脂質膜は滑り易い fact15: このＣＩＣＡは滑り易い fact16: このＣＩＣＡは完遂出来る fact17: その無貪は滑り易い fact18: 仮にこのＣＩＣＡが病み衰えるということはないとすればそれはし易いかあるいはそれは繁殖し易い
fact15 -> hypothesis;
fact15 -> hypothesis;
このＣＩＣＡは滑り易くない
fact22 -> int1: もし「このＣＩＣＡは懐かしないけれどそれは下垂する」ということは誤りなら滑り易いということはない; fact25 -> int2: このＣＩＣＡは灯し難いとすれば「それは懐かしないしそれは下垂する」ということは成り立たない; fact21 -> int3: このＣＩＣＡは支払い確保であるとするとそれは灯し難い; fact20 -> int4: その宇宙感覚は仄白くないかあるいは病み衰えるということはない; int4 & fact23 & fact26 -> int5: あの芹谷野は病み衰える; fact19 & int5 -> int6: このＣＩＣＡは病み衰えない; fact24 & int6 -> int7: このＣＩＣＡはし易いかもしくはそれは繁殖し易いかあるいは両方ともだ;
$facts$ = fact1: もし仮にあの芹谷野が病み衰えるとしたらこのＣＩＣＡは病み衰えるということはない fact2: もし仮に「なんらかのものは懐かしないがしかし下垂する」ということは事実と異なるとするとそれは滑り易くない fact3: もし仮にとあるものは灯し難いとすると「懐かしということはなくてそれは下垂する」ということは成り立たない fact4: その宇宙感覚が仄白いということはないならあの芹谷野は病み衰える fact5: 仮にあの芹谷野が懐かしないならこのＣＩＣＡは灯台草科であるし更に滑り易い fact6: このＣＩＣＡは尤もらしい fact7: すべての物は仄白くないか病み衰えない fact8: このＣＩＣＡはタブロイド紙だ fact9: その宇宙感覚が懐かしないかまたは下垂しないかまたはどちらもであるならあの芹谷野は懐かしない fact10: 何かは灯し難いとすれば懐かしないかまたはそれは下垂しないかもしくは両方ともである fact11: その宇宙感覚が病み衰えないとするとあの芹谷野は病み衰える fact12: もしも「なにがしかの物は支払い確保である」ということは本当だとすれば「それは灯し難い」ということは成り立つ fact13: この重要施設は滑り易い fact14: その脂質膜は滑り易い fact15: このＣＩＣＡは滑り易い fact16: このＣＩＣＡは完遂出来る fact17: その無貪は滑り易い fact18: 仮にこのＣＩＣＡが病み衰えるということはないとすればそれはし易いかあるいはそれは繁殖し易い ; $hypothesis$ = このＣＩＣＡは滑り易い ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: もし仮にあの芹谷野が病み衰えるとしたらこのＣＩＣＡは病み衰えるということはない
事実2: もし仮に「なんらかのものは懐かしないがしかし下垂する」ということは事実と異なるとするとそれは滑り易くない
事実3: もし仮にとあるものは灯し難いとすると「懐かしということはなくてそれは下垂する」ということは成り立たない
事実4: その宇宙感覚が仄白いということはないならあの芹谷野は病み衰える
事実5: 仮にあの芹谷野が懐かしないならこのＣＩＣＡは灯台草科であるし更に滑り易い
事実6: このＣＩＣＡは尤もらしい
事実7: すべての物は仄白くないか病み衰えない
事実8: このＣＩＣＡはタブロイド紙だ
事実9: その宇宙感覚が懐かしないかまたは下垂しないかまたはどちらもであるならあの芹谷野は懐かしない
事実10: 何かは灯し難いとすれば懐かしないかまたはそれは下垂しないかもしくは両方ともである
事実11: その宇宙感覚が病み衰えないとするとあの芹谷野は病み衰える
事実12: もしも「なにがしかの物は支払い確保である」ということは本当だとすれば「それは灯し難い」ということは成り立つ
事実13: この重要施設は滑り易い
事実14: その脂質膜は滑り易い
事実15: このＣＩＣＡは滑り易い
事実16: このＣＩＣＡは完遂出来る
事実17: その無貪は滑り易い
事実18: 仮にこのＣＩＣＡが病み衰えるということはないとすればそれはし易いかあるいはそれは繁殖し易い

仮説: このＣＩＣＡは滑り易い
1. 事実15から、仮説が導かれる

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