その見解は妬ましいかもしくはフィジカルアセスメントであるかまたはどちらもだ
fact1: このヘイケ蛍は自己目的化するしそれに汚れる fact2: あの握り拳は汚れるしそれは届き易い fact3: あの握り拳は誘い出すかあるいはそれは御めでたいか両方ともだ fact4: もしあの編み物は汚れないならば「「このヘイケ蛍は汚れないけれどそれは黒し」ということは確かである」ということは誤っている fact5: もし仮にそのビーフステーキが汚れるしかつ誘い出すとすると「あの握り拳は御めでたいということはない」ということは正しい fact6: もし仮になにかは自己目的化するということはないならばそれは黒しないし疎開する fact7: 仮にそのビーフステーキが御めでたくないならばその見解は妬ましいかフィジカルアセスメントであるかもしくはどちらもである fact8: あの握り拳は其れらしくない fact9: もしそのビーフステーキが御めでたいしそれに考え難いとすればあの握り拳は誘い出さない fact10: このヘイケ蛍は妬ましいということはないがしかし自己目的化する fact11: 仮にそのビーフステーキが自己目的化するとしたらこのヘイケ蛍は御めでたい fact12: なにかは汚れないとしたらその自由分子は自己目的化しない fact13: このヘイケ蛍は御めでたくないとしたら「そのビーフステーキは御めでたくないが汚れる」ということは間違いだ fact14: あの握り拳は誘い出さないとしたら「あの編み物は誘い出さないがそれは黒し」ということは成り立たない fact15: このヘイケ蛍は御めでたい fact16: あの編み物は誘い出さない一方で黒し fact17: 「その見解は妬ましくない一方で汚れる」ということは成り立つということはない fact18: もしもなんらかの物は自己目的化するということはないとすると「「妬ましいかまたはそれはフィジカルアセスメントである」ということは確かだ」ということは成り立たない fact19: あの編み物は自己目的化するかもしくは誘い出す fact20: もしも考え難いものは御めでたくないとすれば「それは汚れる」ということは真実だ fact21: このヘイケ蛍は誘い出す fact22: もしもこのヘイケ蛍が汚れればそのビーフステーキは考え難い
fact1 -> int1: このヘイケ蛍は汚れる; int1 & fact22 -> int2: そのビーフステーキは考え難い; void -> assump1: 以下のように仮定する。そのビーフステーキは御めでたい; int2 & assump1 -> int3: そのビーフステーキは御めでたいしかつ考え難い; int3 & fact9 -> int4: あの握り拳は誘い出さない; int4 & fact14 -> int5: 「あの編み物は誘い出さない一方で黒し」ということは成り立つということはない; int5 & fact16 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのビーフステーキは御めでたくない; int7 & fact7 -> hypothesis;
「「その見解は妬ましいかフィジカルアセスメントであるかどちらもだ」ということは事実だ」ということは成り立つということはない
fact23 -> int8: もしその見解は自己目的化しないならば「それは妬ましいかまたはフィジカルアセスメントである」ということは誤りだ; fact24 -> int9: もし仮にその見解は考え難いがしかし御めでたくないとすればそれは汚れる; fact25 -> int10: 「「誘い出す」ということは確かである」ものはある;
$facts$ = fact1: このヘイケ蛍は自己目的化するしそれに汚れる fact2: あの握り拳は汚れるしそれは届き易い fact3: あの握り拳は誘い出すかあるいはそれは御めでたいか両方ともだ fact4: もしあの編み物は汚れないならば「「このヘイケ蛍は汚れないけれどそれは黒し」ということは確かである」ということは誤っている fact5: もし仮にそのビーフステーキが汚れるしかつ誘い出すとすると「あの握り拳は御めでたいということはない」ということは正しい fact6: もし仮になにかは自己目的化するということはないならばそれは黒しないし疎開する fact7: 仮にそのビーフステーキが御めでたくないならばその見解は妬ましいかフィジカルアセスメントであるかもしくはどちらもである fact8: あの握り拳は其れらしくない fact9: もしそのビーフステーキが御めでたいしそれに考え難いとすればあの握り拳は誘い出さない fact10: このヘイケ蛍は妬ましいということはないがしかし自己目的化する fact11: 仮にそのビーフステーキが自己目的化するとしたらこのヘイケ蛍は御めでたい fact12: なにかは汚れないとしたらその自由分子は自己目的化しない fact13: このヘイケ蛍は御めでたくないとしたら「そのビーフステーキは御めでたくないが汚れる」ということは間違いだ fact14: あの握り拳は誘い出さないとしたら「あの編み物は誘い出さないがそれは黒し」ということは成り立たない fact15: このヘイケ蛍は御めでたい fact16: あの編み物は誘い出さない一方で黒し fact17: 「その見解は妬ましくない一方で汚れる」ということは成り立つということはない fact18: もしもなんらかの物は自己目的化するということはないとすると「「妬ましいかまたはそれはフィジカルアセスメントである」ということは確かだ」ということは成り立たない fact19: あの編み物は自己目的化するかもしくは誘い出す fact20: もしも考え難いものは御めでたくないとすれば「それは汚れる」ということは真実だ fact21: このヘイケ蛍は誘い出す fact22: もしもこのヘイケ蛍が汚れればそのビーフステーキは考え難い ; $hypothesis$ = その見解は妬ましいかもしくはフィジカルアセスメントであるかまたはどちらもだ ; $proof$ = 
fact1 -> int1: このヘイケ蛍は汚れる; int1 & fact22 -> int2: そのビーフステーキは考え難い; void -> assump1: 以下のように仮定する。そのビーフステーキは御めでたい; int2 & assump1 -> int3: そのビーフステーキは御めでたいしかつ考え難い; int3 & fact9 -> int4: あの握り拳は誘い出さない; int4 & fact14 -> int5: 「あの編み物は誘い出さない一方で黒し」ということは成り立つということはない; int5 & fact16 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのビーフステーキは御めでたくない; int7 & fact7 -> hypothesis; __PROVED__
事実1: このヘイケ蛍は自己目的化するしそれに汚れる
事実2: あの握り拳は汚れるしそれは届き易い
事実3: あの握り拳は誘い出すかあるいはそれは御めでたいか両方ともだ
事実4: もしあの編み物は汚れないならば「「このヘイケ蛍は汚れないけれどそれは黒し」ということは確かである」ということは誤っている
事実5: もし仮にそのビーフステーキが汚れるしかつ誘い出すとすると「あの握り拳は御めでたいということはない」ということは正しい
事実6: もし仮になにかは自己目的化するということはないならばそれは黒しないし疎開する
事実7: 仮にそのビーフステーキが御めでたくないならばその見解は妬ましいかフィジカルアセスメントであるかもしくはどちらもである
事実8: あの握り拳は其れらしくない
事実9: もしそのビーフステーキが御めでたいしそれに考え難いとすればあの握り拳は誘い出さない
事実10: このヘイケ蛍は妬ましいということはないがしかし自己目的化する
事実11: 仮にそのビーフステーキが自己目的化するとしたらこのヘイケ蛍は御めでたい
事実12: なにかは汚れないとしたらその自由分子は自己目的化しない
事実13: このヘイケ蛍は御めでたくないとしたら「そのビーフステーキは御めでたくないが汚れる」ということは間違いだ
事実14: あの握り拳は誘い出さないとしたら「あの編み物は誘い出さないがそれは黒し」ということは成り立たない
事実15: このヘイケ蛍は御めでたい
事実16: あの編み物は誘い出さない一方で黒し
事実17: 「その見解は妬ましくない一方で汚れる」ということは成り立つということはない
事実18: もしもなんらかの物は自己目的化するということはないとすると「「妬ましいかまたはそれはフィジカルアセスメントである」ということは確かだ」ということは成り立たない
事実19: あの編み物は自己目的化するかもしくは誘い出す
事実20: もしも考え難いものは御めでたくないとすれば「それは汚れる」ということは真実だ
事実21: このヘイケ蛍は誘い出す
事実22: もしもこのヘイケ蛍が汚れればそのビーフステーキは考え難い

仮説: その見解は妬ましいかもしくはフィジカルアセスメントであるかまたはどちらもだ
1. 事実1から、推論1: "このヘイケ蛍は汚れる"が導かれる
2. 推論1と事実22から、推論2: "そのビーフステーキは考え難い"が導かれる
3. 仮定1: 以下のように仮定する。そのビーフステーキは御めでたい
4. 推論2と仮定1から、推論3: "そのビーフステーキは御めでたいしかつ考え難い"が導かれる
5. 推論3と事実9から、推論4: "あの握り拳は誘い出さない"が導かれる
6. 推論4と事実14から、推論5: "「あの編み物は誘い出さない一方で黒し」ということは成り立つということはない"が導かれる
7. 推論5と事実16から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのビーフステーキは御めでたくない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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