この算出は罹患し易い
fact1: もし仮に「この算出は罹患し易いがしかし千九百七十年代初頭でない」ということは嘘だとするとそれは一対である fact2: 仮に狙い易いものが暑いとするとそれは罹患し易くない fact3: 「真ん丸いしそれは踏み躙らないという物はない」ということは本当である fact4: 「ある物は区別するけど呼吸出来ない」ということは正しくないならそれは中頃だ fact5: 仮に「なにがしかの物が親しめるがそれが押し付けはましくらない」ということは偽であるとすれば詰め込める fact6: もしも「この馬上杯は暑くないがしかし罹患し易い」ということは誤りであるならばこの算出は罹患し易くない fact7: 仮になんらかのものは狙い易いとすれば「それは暑くないがしかし罹患し易い」ということは誤りだ fact8: 「この算出は罹患し易いけど呼吸出来ない」ということは成り立たない fact9: もし仮にこの算出が真ん丸くないなら罹患し易い fact10: 仮に「とあるものは甚だし一方で油っぽくない」ということは成り立たないならば愛し fact11: 仮に「なんらかのものはＣＳＦであるけど移ろい易くない」ということは誤りなら「それは触診する」ということは確かである fact12: 何かは取られ兼ねらないかあるいは厚ぼったくないか両方ともであるならば狙い易い fact13: 「この算出は踏み躙るがそれは弾き易くない」ということは成り立たない fact14: もしもこの馬上杯は罹患し易くないなら「この算出は遣り続けるが踏み躙らない」ということは嘘である fact15: 真ん丸くない物は罹患し易い fact16: 仮にこの馬上杯は評するとしたら「「狙い易くない」ということは確かである」ということは間違いである fact17: もしも「この薬湯は争訟だがしかしぎごちなくない」ということは間違っているなら抜け切る fact18: もし仮に「ある物は支払える一方で説得出来ない」ということは本当でないとすればそれは女っぽい fact19: もし仮に「何かは真ん丸いがしかしそれは踏み躙らない」ということは成り立たないとするとそれは罹患し易い
fact3 -> int1: 「この算出は真ん丸いが踏み躙らない」ということは嘘である; fact19 -> int2: もし仮に「この算出は真ん丸い一方で踏み躙らない」ということは間違いなら罹患し易い; int1 & int2 -> hypothesis;
「この算出は遣り続けるけど踏み躙らない」ということは偽である
fact20 -> int3: 「もし仮にこの馬上杯が狙い易いし暑いとすればこの馬上杯は罹患し易くない」ということは成り立つ;
$facts$ = fact1: もし仮に「この算出は罹患し易いがしかし千九百七十年代初頭でない」ということは嘘だとするとそれは一対である fact2: 仮に狙い易いものが暑いとするとそれは罹患し易くない fact3: 「真ん丸いしそれは踏み躙らないという物はない」ということは本当である fact4: 「ある物は区別するけど呼吸出来ない」ということは正しくないならそれは中頃だ fact5: 仮に「なにがしかの物が親しめるがそれが押し付けはましくらない」ということは偽であるとすれば詰め込める fact6: もしも「この馬上杯は暑くないがしかし罹患し易い」ということは誤りであるならばこの算出は罹患し易くない fact7: 仮になんらかのものは狙い易いとすれば「それは暑くないがしかし罹患し易い」ということは誤りだ fact8: 「この算出は罹患し易いけど呼吸出来ない」ということは成り立たない fact9: もし仮にこの算出が真ん丸くないなら罹患し易い fact10: 仮に「とあるものは甚だし一方で油っぽくない」ということは成り立たないならば愛し fact11: 仮に「なんらかのものはＣＳＦであるけど移ろい易くない」ということは誤りなら「それは触診する」ということは確かである fact12: 何かは取られ兼ねらないかあるいは厚ぼったくないか両方ともであるならば狙い易い fact13: 「この算出は踏み躙るがそれは弾き易くない」ということは成り立たない fact14: もしもこの馬上杯は罹患し易くないなら「この算出は遣り続けるが踏み躙らない」ということは嘘である fact15: 真ん丸くない物は罹患し易い fact16: 仮にこの馬上杯は評するとしたら「「狙い易くない」ということは確かである」ということは間違いである fact17: もしも「この薬湯は争訟だがしかしぎごちなくない」ということは間違っているなら抜け切る fact18: もし仮に「ある物は支払える一方で説得出来ない」ということは本当でないとすればそれは女っぽい fact19: もし仮に「何かは真ん丸いがしかしそれは踏み躙らない」ということは成り立たないとするとそれは罹患し易い ; $hypothesis$ = この算出は罹患し易い ; $proof$ = 
fact3 -> int1: 「この算出は真ん丸いが踏み躙らない」ということは嘘である; fact19 -> int2: もし仮に「この算出は真ん丸い一方で踏み躙らない」ということは間違いなら罹患し易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「この算出は罹患し易いがしかし千九百七十年代初頭でない」ということは嘘だとするとそれは一対である
事実2: 仮に狙い易いものが暑いとするとそれは罹患し易くない
事実3: 「真ん丸いしそれは踏み躙らないという物はない」ということは本当である
事実4: 「ある物は区別するけど呼吸出来ない」ということは正しくないならそれは中頃だ
事実5: 仮に「なにがしかの物が親しめるがそれが押し付けはましくらない」ということは偽であるとすれば詰め込める
事実6: もしも「この馬上杯は暑くないがしかし罹患し易い」ということは誤りであるならばこの算出は罹患し易くない
事実7: 仮になんらかのものは狙い易いとすれば「それは暑くないがしかし罹患し易い」ということは誤りだ
事実8: 「この算出は罹患し易いけど呼吸出来ない」ということは成り立たない
事実9: もし仮にこの算出が真ん丸くないなら罹患し易い
事実10: 仮に「とあるものは甚だし一方で油っぽくない」ということは成り立たないならば愛し
事実11: 仮に「なんらかのものはＣＳＦであるけど移ろい易くない」ということは誤りなら「それは触診する」ということは確かである
事実12: 何かは取られ兼ねらないかあるいは厚ぼったくないか両方ともであるならば狙い易い
事実13: 「この算出は踏み躙るがそれは弾き易くない」ということは成り立たない
事実14: もしもこの馬上杯は罹患し易くないなら「この算出は遣り続けるが踏み躙らない」ということは嘘である
事実15: 真ん丸くない物は罹患し易い
事実16: 仮にこの馬上杯は評するとしたら「「狙い易くない」ということは確かである」ということは間違いである
事実17: もしも「この薬湯は争訟だがしかしぎごちなくない」ということは間違っているなら抜け切る
事実18: もし仮に「ある物は支払える一方で説得出来ない」ということは本当でないとすればそれは女っぽい
事実19: もし仮に「何かは真ん丸いがしかしそれは踏み躙らない」ということは成り立たないとするとそれは罹患し易い

仮説: この算出は罹患し易い
1. 事実3から、推論1: "「この算出は真ん丸いが踏み躙らない」ということは嘘である"が導かれる
2. 事実19から、推論2: "もし仮に「この算出は真ん丸い一方で踏み躙らない」ということは間違いなら罹患し易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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