この損害保険金は確認・設定する
fact1: もしこの各工種がガイドだとするとこの損害保険金は確認・設定する fact2: 仮にこの各工種が易しならあのＰＥＴは自分らしくないけどガイドだ fact3: もしもあのＰＥＴは分厚いし委託事業主であるなら「易し」ということは成り立つ fact4: 「この頂点は無一文でない」ということは本当でない fact5: もし仮にあのＰＥＴが自分らしくないとしたら委託事業主でない fact6: あの大会堂はガイドだということはない fact7: もしもこの各工種は易しならば「あのＰＥＴは自分らしくないかそれは確認・設定する」ということは偽だ fact8: あのＰＥＴは自分らしくない fact9: 仮に分厚い物は委託事業主であるとしたらそれは易し fact10: もしあのＰＥＴが自分らしくないとすると分厚くてそれにそれは委託事業主でない fact11: あのＰＥＴはガイドである fact12: あのＰＥＴは零し始める fact13: あのＰＥＴは別掲する fact14: あのＰＥＴは委託事業主でない fact15: 分厚い物は委託事業主でないとするとそれは易し fact16: この損害保険金は羨ましい fact17: そのメーキャップがガイドだとすればこの各工種は易し fact18: もし悲しくない物が錆無くないとしたらガイドである fact19: もしあのＰＥＴが易しならこの各工種はガイドである fact20: この頂点は移動する fact21: 「あのＰＥＴは自分らしくないか確認・設定する」ということは成り立つということはないならこの損害保険金は確認・設定しない fact22: もし仮にあのＰＥＴが自分らしくないがそれがガイドだとすればその錠前は自分らしい fact23: この先制はガイドである
fact10 & fact8 -> int1: あのＰＥＴは分厚い一方でそれは委託事業主でない; fact15 -> int2: もしあのＰＥＴは分厚いがしかし委託事業主でないならばそれは易し; int1 & int2 -> int3: あのＰＥＴは易し; int3 & fact19 -> int4: この各工種はガイドだ; int4 & fact1 -> hypothesis;
その錠前は委託事業主である
$facts$ = fact1: もしこの各工種がガイドだとするとこの損害保険金は確認・設定する fact2: 仮にこの各工種が易しならあのＰＥＴは自分らしくないけどガイドだ fact3: もしもあのＰＥＴは分厚いし委託事業主であるなら「易し」ということは成り立つ fact4: 「この頂点は無一文でない」ということは本当でない fact5: もし仮にあのＰＥＴが自分らしくないとしたら委託事業主でない fact6: あの大会堂はガイドだということはない fact7: もしもこの各工種は易しならば「あのＰＥＴは自分らしくないかそれは確認・設定する」ということは偽だ fact8: あのＰＥＴは自分らしくない fact9: 仮に分厚い物は委託事業主であるとしたらそれは易し fact10: もしあのＰＥＴが自分らしくないとすると分厚くてそれにそれは委託事業主でない fact11: あのＰＥＴはガイドである fact12: あのＰＥＴは零し始める fact13: あのＰＥＴは別掲する fact14: あのＰＥＴは委託事業主でない fact15: 分厚い物は委託事業主でないとするとそれは易し fact16: この損害保険金は羨ましい fact17: そのメーキャップがガイドだとすればこの各工種は易し fact18: もし悲しくない物が錆無くないとしたらガイドである fact19: もしあのＰＥＴが易しならこの各工種はガイドである fact20: この頂点は移動する fact21: 「あのＰＥＴは自分らしくないか確認・設定する」ということは成り立つということはないならこの損害保険金は確認・設定しない fact22: もし仮にあのＰＥＴが自分らしくないがそれがガイドだとすればその錠前は自分らしい fact23: この先制はガイドである ; $hypothesis$ = この損害保険金は確認・設定する ; $proof$ = 
fact10 & fact8 -> int1: あのＰＥＴは分厚い一方でそれは委託事業主でない; fact15 -> int2: もしあのＰＥＴは分厚いがしかし委託事業主でないならばそれは易し; int1 & int2 -> int3: あのＰＥＴは易し; int3 & fact19 -> int4: この各工種はガイドだ; int4 & fact1 -> hypothesis; __PROVED__
事実1: もしこの各工種がガイドだとするとこの損害保険金は確認・設定する
事実2: 仮にこの各工種が易しならあのＰＥＴは自分らしくないけどガイドだ
事実3: もしもあのＰＥＴは分厚いし委託事業主であるなら「易し」ということは成り立つ
事実4: 「この頂点は無一文でない」ということは本当でない
事実5: もし仮にあのＰＥＴが自分らしくないとしたら委託事業主でない
事実6: あの大会堂はガイドだということはない
事実7: もしもこの各工種は易しならば「あのＰＥＴは自分らしくないかそれは確認・設定する」ということは偽だ
事実8: あのＰＥＴは自分らしくない
事実9: 仮に分厚い物は委託事業主であるとしたらそれは易し
事実10: もしあのＰＥＴが自分らしくないとすると分厚くてそれにそれは委託事業主でない
事実11: あのＰＥＴはガイドである
事実12: あのＰＥＴは零し始める
事実13: あのＰＥＴは別掲する
事実14: あのＰＥＴは委託事業主でない
事実15: 分厚い物は委託事業主でないとするとそれは易し
事実16: この損害保険金は羨ましい
事実17: そのメーキャップがガイドだとすればこの各工種は易し
事実18: もし悲しくない物が錆無くないとしたらガイドである
事実19: もしあのＰＥＴが易しならこの各工種はガイドである
事実20: この頂点は移動する
事実21: 「あのＰＥＴは自分らしくないか確認・設定する」ということは成り立つということはないならこの損害保険金は確認・設定しない
事実22: もし仮にあのＰＥＴが自分らしくないがそれがガイドだとすればその錠前は自分らしい
事実23: この先制はガイドである

仮説: この損害保険金は確認・設定する
1. 事実10と事実8から、推論1: "あのＰＥＴは分厚い一方でそれは委託事業主でない"が導かれる
2. 事実15から、推論2: "もしあのＰＥＴは分厚いがしかし委託事業主でないならばそれは易し"が導かれる
3. 推論1と推論2から、推論3: "あのＰＥＴは易し"が導かれる
4. 推論3と事実19から、推論4: "この各工種はガイドだ"が導かれる
5. 推論4と事実1から、仮説が導かれる

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