「その健康長寿は接触である」ということは正しい
fact1: その代替療法は赤味噌である fact2: その代替療法が入り難いとすると思しい fact3: その代替療法は入り難い fact4: もし仮に「その代替療法は長ったらしいということはないかもしくは植え替えるかあるいは両方ともである」ということは成り立つとするとこの四つ目道行は書き込まない fact5: この長元坊は妬ましい fact6: 仮にこの四つ目道行が有機ＪＡＳマークだとするとその代替療法は有機ＪＡＳマークである一方で書き込まない fact7: もし仮にあの厚手綿布が妬ましいとすればこの長元坊は妬ましいけど美容師でない fact8: 「その代替療法が通り難くないならばこのペナルティーは植え替える」ということは真実である fact9: もしもとあるものは接触でないかあるいは有機ＪＡＳマークでないかもしくは両方ともであるなら接触でない fact10: このペナルティーは通り難い fact11: もしもこのペナルティーが通り難いとすればその代替療法は有機ＪＡＳマークだ fact12: もしこの長元坊は妬ましいが美容師でないとしたら「その健康長寿は接触だ」ということは真実だ fact13: もしこの四つ目道行が書き込まないならあの厚手綿布は妬ましい fact14: その代替療法は長ったらしいかあるいは植え替えるかまたは両方ともである fact15: もし有機ＪＡＳマークが思しいとしたらそれは長ったらしくない
fact11 & fact10 -> int1: その代替療法は有機ＪＡＳマークである; fact2 & fact3 -> int2: その代替療法は思しい; int1 & int2 -> int3: その代替療法は有機ＪＡＳマークであるし思しい; fact15 -> int4: 仮にその代替療法が有機ＪＡＳマークでそれが思しいならば長ったらしいということはない; int3 & int4 -> int5: その代替療法は長ったらしくない; int5 -> int6: その代替療法は長ったらしくないかまたは植え替えるかもしくは両方だ; int6 & fact4 -> int7: この四つ目道行は書き込まない; int7 & fact13 -> int8: あの厚手綿布は妬ましい; int8 & fact7 -> int9: この長元坊は妬ましい一方で美容師でない; int9 & fact12 -> hypothesis;
その健康長寿は接触でない
fact16 -> int10: もしその健康長寿は接触でないかあるいは有機ＪＡＳマークでないかまたはどちらもであるとすれば接触でない;
$facts$ = fact1: その代替療法は赤味噌である fact2: その代替療法が入り難いとすると思しい fact3: その代替療法は入り難い fact4: もし仮に「その代替療法は長ったらしいということはないかもしくは植え替えるかあるいは両方ともである」ということは成り立つとするとこの四つ目道行は書き込まない fact5: この長元坊は妬ましい fact6: 仮にこの四つ目道行が有機ＪＡＳマークだとするとその代替療法は有機ＪＡＳマークである一方で書き込まない fact7: もし仮にあの厚手綿布が妬ましいとすればこの長元坊は妬ましいけど美容師でない fact8: 「その代替療法が通り難くないならばこのペナルティーは植え替える」ということは真実である fact9: もしもとあるものは接触でないかあるいは有機ＪＡＳマークでないかもしくは両方ともであるなら接触でない fact10: このペナルティーは通り難い fact11: もしもこのペナルティーが通り難いとすればその代替療法は有機ＪＡＳマークだ fact12: もしこの長元坊は妬ましいが美容師でないとしたら「その健康長寿は接触だ」ということは真実だ fact13: もしこの四つ目道行が書き込まないならあの厚手綿布は妬ましい fact14: その代替療法は長ったらしいかあるいは植え替えるかまたは両方ともである fact15: もし有機ＪＡＳマークが思しいとしたらそれは長ったらしくない ; $hypothesis$ = 「その健康長寿は接触である」ということは正しい ; $proof$ = 
fact11 & fact10 -> int1: その代替療法は有機ＪＡＳマークである; fact2 & fact3 -> int2: その代替療法は思しい; int1 & int2 -> int3: その代替療法は有機ＪＡＳマークであるし思しい; fact15 -> int4: 仮にその代替療法が有機ＪＡＳマークでそれが思しいならば長ったらしいということはない; int3 & int4 -> int5: その代替療法は長ったらしくない; int5 -> int6: その代替療法は長ったらしくないかまたは植え替えるかもしくは両方だ; int6 & fact4 -> int7: この四つ目道行は書き込まない; int7 & fact13 -> int8: あの厚手綿布は妬ましい; int8 & fact7 -> int9: この長元坊は妬ましい一方で美容師でない; int9 & fact12 -> hypothesis; __PROVED__
事実1: その代替療法は赤味噌である
事実2: その代替療法が入り難いとすると思しい
事実3: その代替療法は入り難い
事実4: もし仮に「その代替療法は長ったらしいということはないかもしくは植え替えるかあるいは両方ともである」ということは成り立つとするとこの四つ目道行は書き込まない
事実5: この長元坊は妬ましい
事実6: 仮にこの四つ目道行が有機ＪＡＳマークだとするとその代替療法は有機ＪＡＳマークである一方で書き込まない
事実7: もし仮にあの厚手綿布が妬ましいとすればこの長元坊は妬ましいけど美容師でない
事実8: 「その代替療法が通り難くないならばこのペナルティーは植え替える」ということは真実である
事実9: もしもとあるものは接触でないかあるいは有機ＪＡＳマークでないかもしくは両方ともであるなら接触でない
事実10: このペナルティーは通り難い
事実11: もしもこのペナルティーが通り難いとすればその代替療法は有機ＪＡＳマークだ
事実12: もしこの長元坊は妬ましいが美容師でないとしたら「その健康長寿は接触だ」ということは真実だ
事実13: もしこの四つ目道行が書き込まないならあの厚手綿布は妬ましい
事実14: その代替療法は長ったらしいかあるいは植え替えるかまたは両方ともである
事実15: もし有機ＪＡＳマークが思しいとしたらそれは長ったらしくない

仮説: 「その健康長寿は接触である」ということは正しい
1. 事実11と事実10から、推論1: "その代替療法は有機ＪＡＳマークである"が導かれる
2. 事実2と事実3から、推論2: "その代替療法は思しい"が導かれる
3. 推論1と推論2から、推論3: "その代替療法は有機ＪＡＳマークであるし思しい"が導かれる
4. 事実15から、推論4: "仮にその代替療法が有機ＪＡＳマークでそれが思しいならば長ったらしいということはない"が導かれる
5. 推論3と推論4から、推論5: "その代替療法は長ったらしくない"が導かれる
6. 推論5から、推論6: "その代替療法は長ったらしくないかまたは植え替えるかもしくは両方だ"が導かれる
7. 推論6と事実4から、推論7: "この四つ目道行は書き込まない"が導かれる
8. 推論7と事実13から、推論8: "あの厚手綿布は妬ましい"が導かれる
9. 推論8と事実7から、推論9: "この長元坊は妬ましい一方で美容師でない"が導かれる
10. 推論9と事実12から、仮説が導かれる

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