あの出は電話するということはない
fact1: 仮にその聴診器は貧乏するなら「その選曲は接合部だが重くない」ということは間違いである fact2: ＣＨＡ＿ツー＿ＩＮＴ関数が乏しいならば電話しない fact3: もしあるものが重いとするとそれはＣＨＡ＿ツー＿ＩＮＴ関数だ fact4: もしこの笑話が下校すればその聴診器は辛抱強い fact5: もしその聴診器が辛抱強いとすれば力無い fact6: もしこの笑話が重くないならばあの出はＣＨＡ＿ツー＿ＩＮＴ関数でない fact7: もし仮に「何かは貧乏しないししかもそれは接合部でない」ということは間違いであるとすれば「電話する」ということは間違いでない fact8: なんらかのものはＣＨＡ＿ツー＿ＩＮＴ関数でないとすると「貧乏しなくて接合部でない」ということは嘘である fact9: 仮にその選曲が乏しくないならばその聴診器はまだるっこしいけれどそれは想定し難くない fact10: その聴診器は電話するということはないとすれば「それはまだるっこしいということはないけどＣＨＡ＿ツー＿ＩＮＴ関数である」ということは偽である fact11: この笑話は下校する fact12: もしこの笑話がまだるっこしいとするとあの出はＣＨＡ＿ツー＿ＩＮＴ関数でない fact13: もしその聴診器が力無いとしたらそれは貧乏する fact14: その選曲は乏しいということはない fact15: もしもその聴診器がまだるっこしいとするとこの笑話はまだるっこしいかあるいは重くないかもしくは両方である
fact9 & fact14 -> int1: その聴診器はまだるっこしいけれどそれは想定し難いということはない; int1 -> int2: その聴診器はまだるっこしい; int2 & fact15 -> int3: この笑話はまだるっこしいかもしくはそれは重いということはないかあるいは両方である; int3 & fact12 & fact6 -> int4: あの出はＣＨＡ＿ツー＿ＩＮＴ関数でない; fact8 -> int5: あの出はＣＨＡ＿ツー＿ＩＮＴ関数でないなら「それは貧乏しないし接合部でない」ということは成り立たない; int4 & int5 -> int6: 「あの出は貧乏しなくて接合部でない」ということは間違いだ; fact7 -> int7: もし仮に「あの出は貧乏しないしかつ接合部でない」ということは間違っているとするとそれは電話する; int6 & int7 -> hypothesis;
「あの出は電話しない」ということは成り立つ
fact17 -> int8: もしもあの出がＣＨＡ＿ツー＿ＩＮＴ関数であるしかつ乏しいなら電話しない; fact21 -> int9: もしもあの出が重いならそれはＣＨＡ＿ツー＿ＩＮＴ関数だ; fact18 & fact22 -> int10: その聴診器は辛抱強い; fact16 & int10 -> int11: その聴診器は力無い; fact19 & int11 -> int12: その聴診器は貧乏する; fact20 & int12 -> int13: 「「その選曲は接合部だ一方で重くない」ということは本当である」ということは確かでない; int13 -> int14: 「「接合部であるけど重いということはない」ということは誤っている」物はある;
$facts$ = fact1: 仮にその聴診器は貧乏するなら「その選曲は接合部だが重くない」ということは間違いである fact2: ＣＨＡ＿ツー＿ＩＮＴ関数が乏しいならば電話しない fact3: もしあるものが重いとするとそれはＣＨＡ＿ツー＿ＩＮＴ関数だ fact4: もしこの笑話が下校すればその聴診器は辛抱強い fact5: もしその聴診器が辛抱強いとすれば力無い fact6: もしこの笑話が重くないならばあの出はＣＨＡ＿ツー＿ＩＮＴ関数でない fact7: もし仮に「何かは貧乏しないししかもそれは接合部でない」ということは間違いであるとすれば「電話する」ということは間違いでない fact8: なんらかのものはＣＨＡ＿ツー＿ＩＮＴ関数でないとすると「貧乏しなくて接合部でない」ということは嘘である fact9: 仮にその選曲が乏しくないならばその聴診器はまだるっこしいけれどそれは想定し難くない fact10: その聴診器は電話するということはないとすれば「それはまだるっこしいということはないけどＣＨＡ＿ツー＿ＩＮＴ関数である」ということは偽である fact11: この笑話は下校する fact12: もしこの笑話がまだるっこしいとするとあの出はＣＨＡ＿ツー＿ＩＮＴ関数でない fact13: もしその聴診器が力無いとしたらそれは貧乏する fact14: その選曲は乏しいということはない fact15: もしもその聴診器がまだるっこしいとするとこの笑話はまだるっこしいかあるいは重くないかもしくは両方である ; $hypothesis$ = あの出は電話するということはない ; $proof$ = 
fact9 & fact14 -> int1: その聴診器はまだるっこしいけれどそれは想定し難いということはない; int1 -> int2: その聴診器はまだるっこしい; int2 & fact15 -> int3: この笑話はまだるっこしいかもしくはそれは重いということはないかあるいは両方である; int3 & fact12 & fact6 -> int4: あの出はＣＨＡ＿ツー＿ＩＮＴ関数でない; fact8 -> int5: あの出はＣＨＡ＿ツー＿ＩＮＴ関数でないなら「それは貧乏しないし接合部でない」ということは成り立たない; int4 & int5 -> int6: 「あの出は貧乏しなくて接合部でない」ということは間違いだ; fact7 -> int7: もし仮に「あの出は貧乏しないしかつ接合部でない」ということは間違っているとするとそれは電話する; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 仮にその聴診器は貧乏するなら「その選曲は接合部だが重くない」ということは間違いである
事実2: ＣＨＡ＿ツー＿ＩＮＴ関数が乏しいならば電話しない
事実3: もしあるものが重いとするとそれはＣＨＡ＿ツー＿ＩＮＴ関数だ
事実4: もしこの笑話が下校すればその聴診器は辛抱強い
事実5: もしその聴診器が辛抱強いとすれば力無い
事実6: もしこの笑話が重くないならばあの出はＣＨＡ＿ツー＿ＩＮＴ関数でない
事実7: もし仮に「何かは貧乏しないししかもそれは接合部でない」ということは間違いであるとすれば「電話する」ということは間違いでない
事実8: なんらかのものはＣＨＡ＿ツー＿ＩＮＴ関数でないとすると「貧乏しなくて接合部でない」ということは嘘である
事実9: 仮にその選曲が乏しくないならばその聴診器はまだるっこしいけれどそれは想定し難くない
事実10: その聴診器は電話するということはないとすれば「それはまだるっこしいということはないけどＣＨＡ＿ツー＿ＩＮＴ関数である」ということは偽である
事実11: この笑話は下校する
事実12: もしこの笑話がまだるっこしいとするとあの出はＣＨＡ＿ツー＿ＩＮＴ関数でない
事実13: もしその聴診器が力無いとしたらそれは貧乏する
事実14: その選曲は乏しいということはない
事実15: もしもその聴診器がまだるっこしいとするとこの笑話はまだるっこしいかあるいは重くないかもしくは両方である

仮説: あの出は電話するということはない
1. 事実9と事実14から、推論1: "その聴診器はまだるっこしいけれどそれは想定し難いということはない"が導かれる
2. 推論1から、推論2: "その聴診器はまだるっこしい"が導かれる
3. 推論2と事実15から、推論3: "この笑話はまだるっこしいかもしくはそれは重いということはないかあるいは両方である"が導かれる
4. 推論3と事実12と事実6から、推論4: "あの出はＣＨＡ＿ツー＿ＩＮＴ関数でない"が導かれる
5. 事実8から、推論5: "あの出はＣＨＡ＿ツー＿ＩＮＴ関数でないなら「それは貧乏しないし接合部でない」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "「あの出は貧乏しなくて接合部でない」ということは間違いだ"が導かれる
7. 事実7から、推論7: "もし仮に「あの出は貧乏しないしかつ接合部でない」ということは間違っているとするとそれは電話する"が導かれる
8. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。