この診査・観察は嬉し過ぎるし寄り合う
fact1: あの誤認が寄り合わないとするとこの診査・観察はきつい fact2: 仮に「あの誤認は見分け難いが寄り合わない」ということは成り立たないなら「嬉し過ぎない」ということは誤りでない fact3: もしこの診査・観察が観察しないならそれは嬉し過ぎるしさらにそれは増加する fact4: 「「そのＨＥＶは野太い」ということは正しいとすればあの誤認は野太い」ということは正しい fact5: もしも「あの誤認は観察しない」ということは事実なら「増加するしそれにきつい」ということは本当である fact6: そのＨＥＶは見分け難いしそれは野太い fact7: 仮に「とあるものは懐っこいし加えてダネールだ」ということは間違っているとすればそれは観察しない fact8: もしもあの誤認は寄り合うということはないとしたらこの診査・観察はきつくて加えて寄り合う fact9: 「この診査・観察は懐っこいし更にダネールである」ということは間違っている fact10: この診査・観察はきつい fact11: きついものは野太くないかもしくは載せ替えないかまたは両方だ fact12: 見分け難いということはないものは寄り合わない fact13: 仮にとある物は見分け難くないとすれば「嬉し過ぎるしまたそれは寄り合う」ということは偽だ fact14: もしそのＨＥＶがきついとするとこの診査・観察はきつい fact15: あの誤認はきついとしたら「そのＨＥＶはきつい」ということは事実である fact16: もし「とあるものは見分け難い一方で載せ替えない」ということは事実と異なるとしたらそれは寄り合わない fact17: もし「「載せ替えるし加えて寄り合う」ということは誤りである」物があるとしたらそのＨＥＶは寄り合わない fact18: もしもそのＨＥＶは見分け難いとすると「あの誤認は見分け難いが載せ替えない」ということは誤っている
fact6 -> int1: そのＨＥＶは見分け難い; int1 & fact18 -> int2: 「あの誤認は見分け難いが載せ替えない」ということは間違っている; fact16 -> int3: 仮に「あの誤認は見分け難いけれど載せ替えない」ということは事実と異なれば寄り合わない; int2 & int3 -> int4: あの誤認は寄り合わない; int4 & fact8 -> int5: この診査・観察はきついししかも寄り合う; int5 -> int6: この診査・観察は寄り合う; fact7 -> int7: もし仮に「この診査・観察は懐っこいしダネールだ」ということは成り立たないならば観察しない; int7 & fact9 -> int8: この診査・観察は観察しない; int8 & fact3 -> int9: この診査・観察は嬉し過ぎるし増加する; int9 -> int10: この診査・観察は嬉し過ぎる; int6 & int10 -> hypothesis;
あの誤認は野太い
$facts$ = fact1: あの誤認が寄り合わないとするとこの診査・観察はきつい fact2: 仮に「あの誤認は見分け難いが寄り合わない」ということは成り立たないなら「嬉し過ぎない」ということは誤りでない fact3: もしこの診査・観察が観察しないならそれは嬉し過ぎるしさらにそれは増加する fact4: 「「そのＨＥＶは野太い」ということは正しいとすればあの誤認は野太い」ということは正しい fact5: もしも「あの誤認は観察しない」ということは事実なら「増加するしそれにきつい」ということは本当である fact6: そのＨＥＶは見分け難いしそれは野太い fact7: 仮に「とあるものは懐っこいし加えてダネールだ」ということは間違っているとすればそれは観察しない fact8: もしもあの誤認は寄り合うということはないとしたらこの診査・観察はきつくて加えて寄り合う fact9: 「この診査・観察は懐っこいし更にダネールである」ということは間違っている fact10: この診査・観察はきつい fact11: きついものは野太くないかもしくは載せ替えないかまたは両方だ fact12: 見分け難いということはないものは寄り合わない fact13: 仮にとある物は見分け難くないとすれば「嬉し過ぎるしまたそれは寄り合う」ということは偽だ fact14: もしそのＨＥＶがきついとするとこの診査・観察はきつい fact15: あの誤認はきついとしたら「そのＨＥＶはきつい」ということは事実である fact16: もし「とあるものは見分け難い一方で載せ替えない」ということは事実と異なるとしたらそれは寄り合わない fact17: もし「「載せ替えるし加えて寄り合う」ということは誤りである」物があるとしたらそのＨＥＶは寄り合わない fact18: もしもそのＨＥＶは見分け難いとすると「あの誤認は見分け難いが載せ替えない」ということは誤っている ; $hypothesis$ = この診査・観察は嬉し過ぎるし寄り合う ; $proof$ = 
fact6 -> int1: そのＨＥＶは見分け難い; int1 & fact18 -> int2: 「あの誤認は見分け難いが載せ替えない」ということは間違っている; fact16 -> int3: 仮に「あの誤認は見分け難いけれど載せ替えない」ということは事実と異なれば寄り合わない; int2 & int3 -> int4: あの誤認は寄り合わない; int4 & fact8 -> int5: この診査・観察はきついししかも寄り合う; int5 -> int6: この診査・観察は寄り合う; fact7 -> int7: もし仮に「この診査・観察は懐っこいしダネールだ」ということは成り立たないならば観察しない; int7 & fact9 -> int8: この診査・観察は観察しない; int8 & fact3 -> int9: この診査・観察は嬉し過ぎるし増加する; int9 -> int10: この診査・観察は嬉し過ぎる; int6 & int10 -> hypothesis; __PROVED__
事実1: あの誤認が寄り合わないとするとこの診査・観察はきつい
事実2: 仮に「あの誤認は見分け難いが寄り合わない」ということは成り立たないなら「嬉し過ぎない」ということは誤りでない
事実3: もしこの診査・観察が観察しないならそれは嬉し過ぎるしさらにそれは増加する
事実4: 「「そのＨＥＶは野太い」ということは正しいとすればあの誤認は野太い」ということは正しい
事実5: もしも「あの誤認は観察しない」ということは事実なら「増加するしそれにきつい」ということは本当である
事実6: そのＨＥＶは見分け難いしそれは野太い
事実7: 仮に「とあるものは懐っこいし加えてダネールだ」ということは間違っているとすればそれは観察しない
事実8: もしもあの誤認は寄り合うということはないとしたらこの診査・観察はきつくて加えて寄り合う
事実9: 「この診査・観察は懐っこいし更にダネールである」ということは間違っている
事実10: この診査・観察はきつい
事実11: きついものは野太くないかもしくは載せ替えないかまたは両方だ
事実12: 見分け難いということはないものは寄り合わない
事実13: 仮にとある物は見分け難くないとすれば「嬉し過ぎるしまたそれは寄り合う」ということは偽だ
事実14: もしそのＨＥＶがきついとするとこの診査・観察はきつい
事実15: あの誤認はきついとしたら「そのＨＥＶはきつい」ということは事実である
事実16: もし「とあるものは見分け難い一方で載せ替えない」ということは事実と異なるとしたらそれは寄り合わない
事実17: もし「「載せ替えるし加えて寄り合う」ということは誤りである」物があるとしたらそのＨＥＶは寄り合わない
事実18: もしもそのＨＥＶは見分け難いとすると「あの誤認は見分け難いが載せ替えない」ということは誤っている

仮説: この診査・観察は嬉し過ぎるし寄り合う
1. 事実6から、推論1: "そのＨＥＶは見分け難い"が導かれる
2. 推論1と事実18から、推論2: "「あの誤認は見分け難いが載せ替えない」ということは間違っている"が導かれる
3. 事実16から、推論3: "仮に「あの誤認は見分け難いけれど載せ替えない」ということは事実と異なれば寄り合わない"が導かれる
4. 推論2と推論3から、推論4: "あの誤認は寄り合わない"が導かれる
5. 推論4と事実8から、推論5: "この診査・観察はきついししかも寄り合う"が導かれる
6. 推論5から、推論6: "この診査・観察は寄り合う"が導かれる
7. 事実7から、推論7: "もし仮に「この診査・観察は懐っこいしダネールだ」ということは成り立たないならば観察しない"が導かれる
8. 推論7と事実9から、推論8: "この診査・観察は観察しない"が導かれる
9. 推論8と事実3から、推論9: "この診査・観察は嬉し過ぎるし増加する"が導かれる
10. 推論9から、推論10: "この診査・観察は嬉し過ぎる"が導かれる
11. 推論6と推論10から、仮説が導かれる

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