その人類文明は新生児・乳児でない
fact1: この寵臣は塩鮭だ fact2: 仮に切り易い物が感染し易いならその人類文明は塩鮭だ fact3: もしもとある物が三十五教であるかそれがピッチ・マッチ検査ならそれは透き通らない fact4: その人類文明は非常電源設備であるということはない fact5: もしもその人類文明は塩鮭でかつ透き通るとするとそれは新生児・乳児でない fact6: その人類文明は薄青い fact7: 「感染し易い」ものはある fact8: その人類文明は透き通る fact9: もし仮に「透き通るしおまけに冠血管な」物があるとしたらこの要求課題は信仰深い fact10: 「切り易くて感染し易い」物はある fact11: その人類文明は切り易くない fact12: 仮に「この子狐は切り易いけど新生児・乳児でない」ということは真実でないならばその人類文明は新生児・乳児である fact13: もし「この久し振りは透き通らない」ということは成り立つとすればこの微温湯は感染し易いし塩鮭である fact14: 「切り易い」物はある fact15: 仮にこの微温湯は感染し易いとすると「この子狐は切り易いがしかし新生児・乳児でない」ということは誤っている
fact10 & fact2 -> int1: その人類文明は塩鮭である; int1 & fact8 -> int2: その人類文明は塩鮭であるしそれに透き通る; int2 & fact5 -> hypothesis;
fact10 & fact2 -> int1: {C}{a}; int1 & fact8 -> int2: ({C}{a} & {D}{a}); int2 & fact5 -> hypothesis;
その人類文明は新生児・乳児である
fact16 -> int3: もしもこの久し振りは三十五教であるかもしくはピッチ・マッチ検査であるかあるいはどちらもだとしたら「透き通らない」ということは真実である;
$facts$ = fact1: この寵臣は塩鮭だ fact2: 仮に切り易い物が感染し易いならその人類文明は塩鮭だ fact3: もしもとある物が三十五教であるかそれがピッチ・マッチ検査ならそれは透き通らない fact4: その人類文明は非常電源設備であるということはない fact5: もしもその人類文明は塩鮭でかつ透き通るとするとそれは新生児・乳児でない fact6: その人類文明は薄青い fact7: 「感染し易い」ものはある fact8: その人類文明は透き通る fact9: もし仮に「透き通るしおまけに冠血管な」物があるとしたらこの要求課題は信仰深い fact10: 「切り易くて感染し易い」物はある fact11: その人類文明は切り易くない fact12: 仮に「この子狐は切り易いけど新生児・乳児でない」ということは真実でないならばその人類文明は新生児・乳児である fact13: もし「この久し振りは透き通らない」ということは成り立つとすればこの微温湯は感染し易いし塩鮭である fact14: 「切り易い」物はある fact15: 仮にこの微温湯は感染し易いとすると「この子狐は切り易いがしかし新生児・乳児でない」ということは誤っている ; $hypothesis$ = その人類文明は新生児・乳児でない ; $proof$ = 
fact10 & fact2 -> int1: その人類文明は塩鮭である; int1 & fact8 -> int2: その人類文明は塩鮭であるしそれに透き通る; int2 & fact5 -> hypothesis; __PROVED__
事実1: この寵臣は塩鮭だ
事実2: 仮に切り易い物が感染し易いならその人類文明は塩鮭だ
事実3: もしもとある物が三十五教であるかそれがピッチ・マッチ検査ならそれは透き通らない
事実4: その人類文明は非常電源設備であるということはない
事実5: もしもその人類文明は塩鮭でかつ透き通るとするとそれは新生児・乳児でない
事実6: その人類文明は薄青い
事実7: 「感染し易い」ものはある
事実8: その人類文明は透き通る
事実9: もし仮に「透き通るしおまけに冠血管な」物があるとしたらこの要求課題は信仰深い
事実10: 「切り易くて感染し易い」物はある
事実11: その人類文明は切り易くない
事実12: 仮に「この子狐は切り易いけど新生児・乳児でない」ということは真実でないならばその人類文明は新生児・乳児である
事実13: もし「この久し振りは透き通らない」ということは成り立つとすればこの微温湯は感染し易いし塩鮭である
事実14: 「切り易い」物はある
事実15: 仮にこの微温湯は感染し易いとすると「この子狐は切り易いがしかし新生児・乳児でない」ということは誤っている

仮説: その人類文明は新生児・乳児でない
1. 事実10と事実2から、推論1: "その人類文明は塩鮭である"が導かれる
2. 推論1と事実8から、推論2: "その人類文明は塩鮭であるしそれに透き通る"が導かれる
3. 推論2と事実5から、仮説が導かれる

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