このオフェンスフォーメーションは納得し難くない
fact1: 「「根深いし茹で上がる」ということは間違っている」ものはある fact2: 「あのＨＥＰＴＡミートンは負荷山積みで加えて御了承下さる」ということは真実である fact3: もし仮に「「根深くないし茹で上がる」ということは本当でない」物があるならあのＨＥＰＴＡミートンは根深い fact4: もし仮にあのＨＥＰＴＡミートンが御了承下さるし更にそれは根深いとしたら「このオフェンスフォーメーションは納得し難いということはない」ということは確かだ fact5: 「「御了承下さらないしそれに納得し難い」ということは偽である」ものはある fact6: 「根深くなくてしかも茹で上がる」ものはある fact7: 「「根深くなくてしかも茹で上がる」ということは成り立つということはない」物はある fact8: 「根深い」物があるならあのＨＥＰＴＡミートンは根深い
fact2 -> int1: あのＨＥＰＴＡミートンは御了承下さる; fact3 & fact7 -> int2: あのＨＥＰＴＡミートンは根深い; int1 & int2 -> int3: あのＨＥＰＴＡミートンは御了承下さるしまた根深い; int3 & fact4 -> hypothesis;
$facts$ = fact1: 「「根深いし茹で上がる」ということは間違っている」ものはある fact2: 「あのＨＥＰＴＡミートンは負荷山積みで加えて御了承下さる」ということは真実である fact3: もし仮に「「根深くないし茹で上がる」ということは本当でない」物があるならあのＨＥＰＴＡミートンは根深い fact4: もし仮にあのＨＥＰＴＡミートンが御了承下さるし更にそれは根深いとしたら「このオフェンスフォーメーションは納得し難いということはない」ということは確かだ fact5: 「「御了承下さらないしそれに納得し難い」ということは偽である」ものはある fact6: 「根深くなくてしかも茹で上がる」ものはある fact7: 「「根深くなくてしかも茹で上がる」ということは成り立つということはない」物はある fact8: 「根深い」物があるならあのＨＥＰＴＡミートンは根深い ; $hypothesis$ = このオフェンスフォーメーションは納得し難くない ; $proof$ = 
fact2 -> int1: あのＨＥＰＴＡミートンは御了承下さる; fact3 & fact7 -> int2: あのＨＥＰＴＡミートンは根深い; int1 & int2 -> int3: あのＨＥＰＴＡミートンは御了承下さるしまた根深い; int3 & fact4 -> hypothesis; __PROVED__
事実1: 「「根深いし茹で上がる」ということは間違っている」ものはある
事実2: 「あのＨＥＰＴＡミートンは負荷山積みで加えて御了承下さる」ということは真実である
事実3: もし仮に「「根深くないし茹で上がる」ということは本当でない」物があるならあのＨＥＰＴＡミートンは根深い
事実4: もし仮にあのＨＥＰＴＡミートンが御了承下さるし更にそれは根深いとしたら「このオフェンスフォーメーションは納得し難いということはない」ということは確かだ
事実5: 「「御了承下さらないしそれに納得し難い」ということは偽である」ものはある
事実6: 「根深くなくてしかも茹で上がる」ものはある
事実7: 「「根深くなくてしかも茹で上がる」ということは成り立つということはない」物はある
事実8: 「根深い」物があるならあのＨＥＰＴＡミートンは根深い

仮説: このオフェンスフォーメーションは納得し難くない
1. 事実2から、推論1: "あのＨＥＰＴＡミートンは御了承下さる"が導かれる
2. 事実3と事実7から、推論2: "あのＨＥＰＴＡミートンは根深い"が導かれる
3. 推論1と推論2から、推論3: "あのＨＥＰＴＡミートンは御了承下さるしまた根深い"が導かれる
4. 推論3と事実4から、仮説が導かれる

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