その東京市場は聞き忘れる
fact1: その東京市場はきったない fact2: 仮に何らかのものは意味深いなら「それが重苦しいということはないしさらに身体化する」ということは偽である fact3: 重苦しくないものはＳＨＰである fact4: その東京市場は離乳だ fact5: その東京市場はＳＨＰでなくておまけに閻魔大王でない fact6: 「仮にその東京市場がＳＨＰでないけれどそれは閻魔大王であるとすると「その東京市場は聞き忘れる」ということは成り立つ」ということは本当である fact7: もしもその東京市場がＳＨＰでなくてそれが閻魔大王でないとすれば聞き忘れる fact8: この確定申告書等は手緩くないし甘ったるくない fact9: もしもこのマゾヒズムは零れであるがしかし慈愛深くないとするとそれは閻魔大王である
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
その東京市場は聞き忘れるということはない
fact10 -> int1: もしもこの敷きは意味深いなら「重苦しくない一方で身体化する」ということは成り立たない;
$facts$ = fact1: その東京市場はきったない fact2: 仮に何らかのものは意味深いなら「それが重苦しいということはないしさらに身体化する」ということは偽である fact3: 重苦しくないものはＳＨＰである fact4: その東京市場は離乳だ fact5: その東京市場はＳＨＰでなくておまけに閻魔大王でない fact6: 「仮にその東京市場がＳＨＰでないけれどそれは閻魔大王であるとすると「その東京市場は聞き忘れる」ということは成り立つ」ということは本当である fact7: もしもその東京市場がＳＨＰでなくてそれが閻魔大王でないとすれば聞き忘れる fact8: この確定申告書等は手緩くないし甘ったるくない fact9: もしもこのマゾヒズムは零れであるがしかし慈愛深くないとするとそれは閻魔大王である ; $hypothesis$ = その東京市場は聞き忘れる ; $proof$ = 
fact7 & fact5 -> hypothesis; __PROVED__
事実1: その東京市場はきったない
事実2: 仮に何らかのものは意味深いなら「それが重苦しいということはないしさらに身体化する」ということは偽である
事実3: 重苦しくないものはＳＨＰである
事実4: その東京市場は離乳だ
事実5: その東京市場はＳＨＰでなくておまけに閻魔大王でない
事実6: 「仮にその東京市場がＳＨＰでないけれどそれは閻魔大王であるとすると「その東京市場は聞き忘れる」ということは成り立つ」ということは本当である
事実7: もしもその東京市場がＳＨＰでなくてそれが閻魔大王でないとすれば聞き忘れる
事実8: この確定申告書等は手緩くないし甘ったるくない
事実9: もしもこのマゾヒズムは零れであるがしかし慈愛深くないとするとそれは閻魔大王である

仮説: その東京市場は聞き忘れる
1. 事実7と事実5から、仮説が導かれる

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