もしもあのユビキタスコラボレーションが御入ればその児童保護局は分散性でなくてその上それは張り付けするということはない
fact1: ある物が監視出来れば先進諸国だ fact2: あのユビキタスコラボレーションは張れるしさらに覚束無い fact3: その児童保護局が覚束無いとすればあのユビキタスコラボレーションは御入らない fact4: その児童保護局が引っ張り込まないとするとあのユビキタスコラボレーションは類別しないし更に張り付けしない fact5: もしもあのユビキタスコラボレーションが類別しないとすればその児童保護局は分散性でなくてかつ張り付けしない fact6: その児童保護局は張れる fact7: その児童保護局は輝かしいということはない fact8: その児童保護局が分散性だしおまけにそれは張れる fact9: もし何かは類別するし地中海世界であるとすると有事法案であるということはない fact10: もし仮にとあるものが張れるとすると引っ張り込む fact11: 「その清閑は張れる」ということは真実である fact12: あのユビキタスコラボレーションは興醒めする fact13: あのユビキタスコラボレーションは分散性である fact14: とあるものが引っ張り込むしそれにそれが御入るとするとそれは類別しない
fact2 -> int1: あのユビキタスコラボレーションは張れる; fact10 -> int2: あのユビキタスコラボレーションは張れれば「引っ張り込む」ということは成り立つ; int1 & int2 -> int3: あのユビキタスコラボレーションは引っ張り込む; void -> assump1: 以下のように仮定する。あのユビキタスコラボレーションは御入る; int3 & assump1 -> int4: あのユビキタスコラボレーションは引っ張り込むし御入る; fact14 -> int5: もしもあのユビキタスコラボレーションは引っ張り込むし御入るとすれば類別しない; int4 & int5 -> int6: あのユビキタスコラボレーションは類別しない; int6 & fact5 -> int7: その児童保護局は分散性でなくて張り付けするということはない; [assump1] & int7 -> hypothesis;
仮にあのユビキタスコラボレーションが類別するし地中海世界ならば有事法案でない
fact15 -> hypothesis;
$facts$ = fact1: ある物が監視出来れば先進諸国だ fact2: あのユビキタスコラボレーションは張れるしさらに覚束無い fact3: その児童保護局が覚束無いとすればあのユビキタスコラボレーションは御入らない fact4: その児童保護局が引っ張り込まないとするとあのユビキタスコラボレーションは類別しないし更に張り付けしない fact5: もしもあのユビキタスコラボレーションが類別しないとすればその児童保護局は分散性でなくてかつ張り付けしない fact6: その児童保護局は張れる fact7: その児童保護局は輝かしいということはない fact8: その児童保護局が分散性だしおまけにそれは張れる fact9: もし何かは類別するし地中海世界であるとすると有事法案であるということはない fact10: もし仮にとあるものが張れるとすると引っ張り込む fact11: 「その清閑は張れる」ということは真実である fact12: あのユビキタスコラボレーションは興醒めする fact13: あのユビキタスコラボレーションは分散性である fact14: とあるものが引っ張り込むしそれにそれが御入るとするとそれは類別しない ; $hypothesis$ = もしもあのユビキタスコラボレーションが御入ればその児童保護局は分散性でなくてその上それは張り付けするということはない ; $proof$ = 
fact2 -> int1: あのユビキタスコラボレーションは張れる; fact10 -> int2: あのユビキタスコラボレーションは張れれば「引っ張り込む」ということは成り立つ; int1 & int2 -> int3: あのユビキタスコラボレーションは引っ張り込む; void -> assump1: 以下のように仮定する。あのユビキタスコラボレーションは御入る; int3 & assump1 -> int4: あのユビキタスコラボレーションは引っ張り込むし御入る; fact14 -> int5: もしもあのユビキタスコラボレーションは引っ張り込むし御入るとすれば類別しない; int4 & int5 -> int6: あのユビキタスコラボレーションは類別しない; int6 & fact5 -> int7: その児童保護局は分散性でなくて張り付けするということはない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: ある物が監視出来れば先進諸国だ
事実2: あのユビキタスコラボレーションは張れるしさらに覚束無い
事実3: その児童保護局が覚束無いとすればあのユビキタスコラボレーションは御入らない
事実4: その児童保護局が引っ張り込まないとするとあのユビキタスコラボレーションは類別しないし更に張り付けしない
事実5: もしもあのユビキタスコラボレーションが類別しないとすればその児童保護局は分散性でなくてかつ張り付けしない
事実6: その児童保護局は張れる
事実7: その児童保護局は輝かしいということはない
事実8: その児童保護局が分散性だしおまけにそれは張れる
事実9: もし何かは類別するし地中海世界であるとすると有事法案であるということはない
事実10: もし仮にとあるものが張れるとすると引っ張り込む
事実11: 「その清閑は張れる」ということは真実である
事実12: あのユビキタスコラボレーションは興醒めする
事実13: あのユビキタスコラボレーションは分散性である
事実14: とあるものが引っ張り込むしそれにそれが御入るとするとそれは類別しない

仮説: もしもあのユビキタスコラボレーションが御入ればその児童保護局は分散性でなくてその上それは張り付けするということはない
1. 事実2から、推論1: "あのユビキタスコラボレーションは張れる"が導かれる
2. 事実10から、推論2: "あのユビキタスコラボレーションは張れれば「引っ張り込む」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あのユビキタスコラボレーションは引っ張り込む"が導かれる
4. 仮定1: 以下のように仮定する。あのユビキタスコラボレーションは御入る
5. 推論3と仮定1から、推論4: "あのユビキタスコラボレーションは引っ張り込むし御入る"が導かれる
6. 事実14から、推論5: "もしもあのユビキタスコラボレーションは引っ張り込むし御入るとすれば類別しない"が導かれる
7. 推論4と推論5から、推論6: "あのユビキタスコラボレーションは類別しない"が導かれる
8. 推論6と事実5から、推論7: "その児童保護局は分散性でなくて張り付けするということはない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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