この結石は人士だ
fact1: もし仮にこの結石は保育内容でないとしたら人士である fact2: この結石は腫瘍性であるということはないかまたは駆け込むかあるいはどちらもである fact3: 仮に「この結石は保育内容だということはないかそれは因り難いか両方ともである」ということは成り立つとすれば人士だ fact4: この結石は保育内容であるということはないかあるいはそれは因り難いかあるいは両方だ fact5: 仮に「ある物は順応し易くないけど人士である」ということは成り立たないとしたらそれは人士でない fact6: その胸骨柄が人士でなくてまた垂訓でないとしたらこの結石は贈呈しない fact7: もし「とあるものは贈呈しない」ということは確かだとするとそれは御参照下さらないかあるいは保育内容であるかどちらもだ fact8: もし「この各経済主体は腫瘍性であるけれど飛行機らしくない」ということは偽ならそれは増さない fact9: 「この各経済主体は腫瘍性であるが飛行機らしくない」ということは成り立たない fact10: この結石は保育内容であるか因り難い
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
この結石は御参照下さらないかまたはそれは保育内容であるか両方である
fact11 -> int1: もし仮にこの結石が贈呈しないとしたらそれは御参照下さらないかもしくは保育内容だ; fact13 -> int2: 「その胸骨柄は順応し易くないがそれは人士である」ということは成り立たないとしたら人士であるということはない; fact12 & fact14 -> int3: この各経済主体は増さない; int3 -> int4: 「増すということはない」物はある;
$facts$ = fact1: もし仮にこの結石は保育内容でないとしたら人士である fact2: この結石は腫瘍性であるということはないかまたは駆け込むかあるいはどちらもである fact3: 仮に「この結石は保育内容だということはないかそれは因り難いか両方ともである」ということは成り立つとすれば人士だ fact4: この結石は保育内容であるということはないかあるいはそれは因り難いかあるいは両方だ fact5: 仮に「ある物は順応し易くないけど人士である」ということは成り立たないとしたらそれは人士でない fact6: その胸骨柄が人士でなくてまた垂訓でないとしたらこの結石は贈呈しない fact7: もし「とあるものは贈呈しない」ということは確かだとするとそれは御参照下さらないかあるいは保育内容であるかどちらもだ fact8: もし「この各経済主体は腫瘍性であるけれど飛行機らしくない」ということは偽ならそれは増さない fact9: 「この各経済主体は腫瘍性であるが飛行機らしくない」ということは成り立たない fact10: この結石は保育内容であるか因り難い ; $hypothesis$ = この結石は人士だ ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの結石は保育内容でないとしたら人士である
事実2: この結石は腫瘍性であるということはないかまたは駆け込むかあるいはどちらもである
事実3: 仮に「この結石は保育内容だということはないかそれは因り難いか両方ともである」ということは成り立つとすれば人士だ
事実4: この結石は保育内容であるということはないかあるいはそれは因り難いかあるいは両方だ
事実5: 仮に「ある物は順応し易くないけど人士である」ということは成り立たないとしたらそれは人士でない
事実6: その胸骨柄が人士でなくてまた垂訓でないとしたらこの結石は贈呈しない
事実7: もし「とあるものは贈呈しない」ということは確かだとするとそれは御参照下さらないかあるいは保育内容であるかどちらもだ
事実8: もし「この各経済主体は腫瘍性であるけれど飛行機らしくない」ということは偽ならそれは増さない
事実9: 「この各経済主体は腫瘍性であるが飛行機らしくない」ということは成り立たない
事実10: この結石は保育内容であるか因り難い

仮説: この結石は人士だ
1. 事実3と事実4から、仮説が導かれる

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