「あの子葉は常連らしいかあるいは激減するということはないかあるいはどちらもである」ということは嘘である
fact1: 「来し易くない」物はある fact2: 「「その旗幟はガス用品であるということはないしＥＴＣだということはない」ということは成り立つ」ということは偽だ fact3: 「来し易くて分泌系である」物はある fact4: この浪士達が激減しないとするとあの子葉は激減する fact5: 仮にこの浪士達は激減しないとすると「あの子葉は常連らしいか激減しないかあるいはどちらもである」ということは事実でない fact6: ある物が来し易いとすれば常連らしいかあるいは激減しないかもしくは両方ともだ fact7: もし仮に来し易くないものが分泌系であるとすればこの浪士達は激減しない fact8: もし仮に「この浪士達は暮らせるということはない」ということは誤っているならそれは分泌系である fact9: 「この浪士達は得られ易いかあるいは利鞘でないかもしくは両方だ」ということは成り立たない fact10: 「分泌系な」ものはある fact11: この浪士達は追加投与でかつ勤続する fact12: あの子葉は激減する fact13: 「来し易くないししかも分泌系な」物はある
fact13 & fact7 -> int1: この浪士達は激減しない; int1 & fact5 -> hypothesis;
fact13 & fact7 -> int1: ¬{C}{a}; int1 & fact5 -> hypothesis;
あの子葉は常連らしいかあるいは激減しないかまたは両方ともである
fact16 -> int2: もし仮にあの子葉が来し易いとしたらそれは常連らしいか激減しない; fact17 -> int3: この浪士達は追加投与である; fact14 -> int4: 「「ガス用品でなくてしかもＥＴＣでない」ということは成り立たない」ものはある;
$facts$ = fact1: 「来し易くない」物はある fact2: 「「その旗幟はガス用品であるということはないしＥＴＣだということはない」ということは成り立つ」ということは偽だ fact3: 「来し易くて分泌系である」物はある fact4: この浪士達が激減しないとするとあの子葉は激減する fact5: 仮にこの浪士達は激減しないとすると「あの子葉は常連らしいか激減しないかあるいはどちらもである」ということは事実でない fact6: ある物が来し易いとすれば常連らしいかあるいは激減しないかもしくは両方ともだ fact7: もし仮に来し易くないものが分泌系であるとすればこの浪士達は激減しない fact8: もし仮に「この浪士達は暮らせるということはない」ということは誤っているならそれは分泌系である fact9: 「この浪士達は得られ易いかあるいは利鞘でないかもしくは両方だ」ということは成り立たない fact10: 「分泌系な」ものはある fact11: この浪士達は追加投与でかつ勤続する fact12: あの子葉は激減する fact13: 「来し易くないししかも分泌系な」物はある ; $hypothesis$ = 「あの子葉は常連らしいかあるいは激減するということはないかあるいはどちらもである」ということは嘘である ; $proof$ = 
fact13 & fact7 -> int1: この浪士達は激減しない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 「来し易くない」物はある
事実2: 「「その旗幟はガス用品であるということはないしＥＴＣだということはない」ということは成り立つ」ということは偽だ
事実3: 「来し易くて分泌系である」物はある
事実4: この浪士達が激減しないとするとあの子葉は激減する
事実5: 仮にこの浪士達は激減しないとすると「あの子葉は常連らしいか激減しないかあるいはどちらもである」ということは事実でない
事実6: ある物が来し易いとすれば常連らしいかあるいは激減しないかもしくは両方ともだ
事実7: もし仮に来し易くないものが分泌系であるとすればこの浪士達は激減しない
事実8: もし仮に「この浪士達は暮らせるということはない」ということは誤っているならそれは分泌系である
事実9: 「この浪士達は得られ易いかあるいは利鞘でないかもしくは両方だ」ということは成り立たない
事実10: 「分泌系な」ものはある
事実11: この浪士達は追加投与でかつ勤続する
事実12: あの子葉は激減する
事実13: 「来し易くないししかも分泌系な」物はある

仮説: 「あの子葉は常連らしいかあるいは激減するということはないかあるいはどちらもである」ということは嘘である
1. 事実13と事実7から、推論1: "この浪士達は激減しない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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