「この鉄鉢は採掘場でない」ということは成り立つ
fact1: この鉄鉢は参加し易くない fact2: 「あらゆる物は並べ始める」ということは成り立つ fact3: もしとあるものはスフィンクスでないならば「参加し易いがしかし採掘場でない」ということは成り立たない fact4: もし「この鉄鉢は参加し易いけれど採掘場でない」ということは成り立たないとすればあの環境配慮は参加し易くない fact5: もしその通信回線は異議無しでないとしたらそれは採掘場であるということはない fact6: この鉄鉢は交じらない fact7: もし仮に「この鉄鉢は参加し易くない」ということは確かであるとすると採掘場でない
fact7 & fact1 -> hypothesis;
fact7 & fact1 -> hypothesis;
この環境配慮は参加し易いということはない
fact8 -> int1: 仮に「この鉄鉢はスフィンクスでない」ということは事実であるならば「参加し易くてそれは採掘場であるということはない」ということは成り立たない;
$facts$ = fact1: この鉄鉢は参加し易くない fact2: 「あらゆる物は並べ始める」ということは成り立つ fact3: もしとあるものはスフィンクスでないならば「参加し易いがしかし採掘場でない」ということは成り立たない fact4: もし「この鉄鉢は参加し易いけれど採掘場でない」ということは成り立たないとすればあの環境配慮は参加し易くない fact5: もしその通信回線は異議無しでないとしたらそれは採掘場であるということはない fact6: この鉄鉢は交じらない fact7: もし仮に「この鉄鉢は参加し易くない」ということは確かであるとすると採掘場でない ; $hypothesis$ = 「この鉄鉢は採掘場でない」ということは成り立つ ; $proof$ = 
fact7 & fact1 -> hypothesis; __PROVED__
事実1: この鉄鉢は参加し易くない
事実2: 「あらゆる物は並べ始める」ということは成り立つ
事実3: もしとあるものはスフィンクスでないならば「参加し易いがしかし採掘場でない」ということは成り立たない
事実4: もし「この鉄鉢は参加し易いけれど採掘場でない」ということは成り立たないとすればあの環境配慮は参加し易くない
事実5: もしその通信回線は異議無しでないとしたらそれは採掘場であるということはない
事実6: この鉄鉢は交じらない
事実7: もし仮に「この鉄鉢は参加し易くない」ということは確かであるとすると採掘場でない

仮説: 「この鉄鉢は採掘場でない」ということは成り立つ
1. 事実7と事実1から、仮説が導かれる

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