その要因分析はむず痒い
fact1: もしもあの主表面間がむず痒いとするとその要因分析は勇気付ける fact2: もしあの主表面間が勇気付けるしそれが這い出ればその要因分析はむず痒くない fact3: あの主表面間は勇気付けるかまたはそれはむず痒くない fact4: その要因分析は当惑するかあるいは一世紀でないかどちらもである fact5: 「這い出ない」ものはある fact6: もしも「ある物は勇気付けないし投与開始するということはない」ということは間違いであるならば「それは勇気付ける」ということは成り立つ fact7: もしもあの主表面間がむず痒いとしたらその要因分析は当惑する fact8: 仮にあのＬ‐カルニチンが痛くないとすればあの主表面間は当惑するし更にそれは這い出る fact9: もしも「「勇気付けない」ということは確かである」ものがあるならその要因分析はむず痒いかあるいはそれは当惑するということはない fact10: 仮にあの主表面間が勇気付けるならその要因分析はむず痒い fact11: 「這い出る」物はある fact12: もしもあの主表面間が当惑しないとしたらその要因分析はむず痒い fact13: もし仮にその要因分析が勇気付けるとするとあの主表面間はむず痒い fact14: 「「むず痒くない」ということは確かな」ものはある fact15: もしあの主表面間は差せらないならば「勇気付けないしおまけに投与開始するということはない」ということは成り立たない fact16: あの当該募集はむず痒い fact17: 「勇気付けない」物はある fact18: その要因分析は勇気付けるかあるいはむず痒くない fact19: もしも「這い出ない」物があるならあの主表面間は勇気付けるかあるいは当惑しない
fact5 & fact19 -> int1: あの主表面間は勇気付けるかあるいはそれは当惑しないかどちらもだ; int1 & fact10 & fact12 -> hypothesis;
fact5 & fact19 -> int1: ({B}{a} v ¬{C}{a}); int1 & fact10 & fact12 -> hypothesis;
その要因分析はむず痒くない
fact22 -> int2: 仮に「あの主表面間は勇気付けないし加えて投与開始しない」ということは誤りであるならば勇気付ける;
$facts$ = fact1: もしもあの主表面間がむず痒いとするとその要因分析は勇気付ける fact2: もしあの主表面間が勇気付けるしそれが這い出ればその要因分析はむず痒くない fact3: あの主表面間は勇気付けるかまたはそれはむず痒くない fact4: その要因分析は当惑するかあるいは一世紀でないかどちらもである fact5: 「這い出ない」ものはある fact6: もしも「ある物は勇気付けないし投与開始するということはない」ということは間違いであるならば「それは勇気付ける」ということは成り立つ fact7: もしもあの主表面間がむず痒いとしたらその要因分析は当惑する fact8: 仮にあのＬ‐カルニチンが痛くないとすればあの主表面間は当惑するし更にそれは這い出る fact9: もしも「「勇気付けない」ということは確かである」ものがあるならその要因分析はむず痒いかあるいはそれは当惑するということはない fact10: 仮にあの主表面間が勇気付けるならその要因分析はむず痒い fact11: 「這い出る」物はある fact12: もしもあの主表面間が当惑しないとしたらその要因分析はむず痒い fact13: もし仮にその要因分析が勇気付けるとするとあの主表面間はむず痒い fact14: 「「むず痒くない」ということは確かな」ものはある fact15: もしあの主表面間は差せらないならば「勇気付けないしおまけに投与開始するということはない」ということは成り立たない fact16: あの当該募集はむず痒い fact17: 「勇気付けない」物はある fact18: その要因分析は勇気付けるかあるいはむず痒くない fact19: もしも「這い出ない」物があるならあの主表面間は勇気付けるかあるいは当惑しない ; $hypothesis$ = その要因分析はむず痒い ; $proof$ = 
fact5 & fact19 -> int1: あの主表面間は勇気付けるかあるいはそれは当惑しないかどちらもだ; int1 & fact10 & fact12 -> hypothesis; __PROVED__
事実1: もしもあの主表面間がむず痒いとするとその要因分析は勇気付ける
事実2: もしあの主表面間が勇気付けるしそれが這い出ればその要因分析はむず痒くない
事実3: あの主表面間は勇気付けるかまたはそれはむず痒くない
事実4: その要因分析は当惑するかあるいは一世紀でないかどちらもである
事実5: 「這い出ない」ものはある
事実6: もしも「ある物は勇気付けないし投与開始するということはない」ということは間違いであるならば「それは勇気付ける」ということは成り立つ
事実7: もしもあの主表面間がむず痒いとしたらその要因分析は当惑する
事実8: 仮にあのＬ‐カルニチンが痛くないとすればあの主表面間は当惑するし更にそれは這い出る
事実9: もしも「「勇気付けない」ということは確かである」ものがあるならその要因分析はむず痒いかあるいはそれは当惑するということはない
事実10: 仮にあの主表面間が勇気付けるならその要因分析はむず痒い
事実11: 「這い出る」物はある
事実12: もしもあの主表面間が当惑しないとしたらその要因分析はむず痒い
事実13: もし仮にその要因分析が勇気付けるとするとあの主表面間はむず痒い
事実14: 「「むず痒くない」ということは確かな」ものはある
事実15: もしあの主表面間は差せらないならば「勇気付けないしおまけに投与開始するということはない」ということは成り立たない
事実16: あの当該募集はむず痒い
事実17: 「勇気付けない」物はある
事実18: その要因分析は勇気付けるかあるいはむず痒くない
事実19: もしも「這い出ない」物があるならあの主表面間は勇気付けるかあるいは当惑しない

仮説: その要因分析はむず痒い
1. 事実5と事実19から、推論1: "あの主表面間は勇気付けるかあるいはそれは当惑しないかどちらもだ"が導かれる
2. 推論1と事実10と事実12から、仮説が導かれる

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