あの指差しは言い伝えない
fact1: 仮にあの身体的疾患が嫉妬深くなくて更にサブネットワークでないとするとあの指差しは言い伝える fact2: もしも「千九百四十年代な」物があるとしたらあの製薬業界は握り潰すということはない fact3: あの製薬業界は嫉妬深くない fact4: この味は握り潰す fact5: ひょろ長くない物は嫉妬深くなくてその上サブネットワークでない fact6: もしもこの味は出会い易いなら「千九百四十年代でないしその上それは研磨ナイロンパッドだ」ということは成り立たない fact7: 「「千九百四十年代でないけど研磨ナイロンパッドである」ということは事実と異なる」物があるとすればあの製薬業界は握り潰さない fact8: この味は出会い易い fact9: もし仮に「この味は出会い易いし言い伝える」ということは誤りであるとしたらあの指差しは言い伝えない fact10: この水滴は握り潰さなくてそれは支店長印押捺依頼・押捺記録簿でない fact11: あの製薬業界が握り潰さないとすればあの身体的疾患は握り潰さないしひょろ長いということはない
fact6 & fact8 -> int1: 「この味は千九百四十年代でないけど研磨ナイロンパッドである」ということは成り立たない; int1 -> int2: 「「千九百四十年代でないし研磨ナイロンパッドである」ということは成り立つということはない」ものはある; int2 & fact7 -> int3: あの製薬業界は握り潰さない; int3 & fact11 -> int4: あの身体的疾患は握り潰さないしそれはひょろ長くない; int4 -> int5: あの身体的疾患はひょろ長くない; fact5 -> int6: もしもあの身体的疾患がひょろ長いということはないとすると嫉妬深くないしまたそれはサブネットワークでない; int5 & int6 -> int7: あの身体的疾患は嫉妬深くないし更にサブネットワークでない; int7 & fact1 -> hypothesis;
「あの指差しは言い伝えない」ということは確かである
$facts$ = fact1: 仮にあの身体的疾患が嫉妬深くなくて更にサブネットワークでないとするとあの指差しは言い伝える fact2: もしも「千九百四十年代な」物があるとしたらあの製薬業界は握り潰すということはない fact3: あの製薬業界は嫉妬深くない fact4: この味は握り潰す fact5: ひょろ長くない物は嫉妬深くなくてその上サブネットワークでない fact6: もしもこの味は出会い易いなら「千九百四十年代でないしその上それは研磨ナイロンパッドだ」ということは成り立たない fact7: 「「千九百四十年代でないけど研磨ナイロンパッドである」ということは事実と異なる」物があるとすればあの製薬業界は握り潰さない fact8: この味は出会い易い fact9: もし仮に「この味は出会い易いし言い伝える」ということは誤りであるとしたらあの指差しは言い伝えない fact10: この水滴は握り潰さなくてそれは支店長印押捺依頼・押捺記録簿でない fact11: あの製薬業界が握り潰さないとすればあの身体的疾患は握り潰さないしひょろ長いということはない ; $hypothesis$ = あの指差しは言い伝えない ; $proof$ = 
fact6 & fact8 -> int1: 「この味は千九百四十年代でないけど研磨ナイロンパッドである」ということは成り立たない; int1 -> int2: 「「千九百四十年代でないし研磨ナイロンパッドである」ということは成り立つということはない」ものはある; int2 & fact7 -> int3: あの製薬業界は握り潰さない; int3 & fact11 -> int4: あの身体的疾患は握り潰さないしそれはひょろ長くない; int4 -> int5: あの身体的疾患はひょろ長くない; fact5 -> int6: もしもあの身体的疾患がひょろ長いということはないとすると嫉妬深くないしまたそれはサブネットワークでない; int5 & int6 -> int7: あの身体的疾患は嫉妬深くないし更にサブネットワークでない; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの身体的疾患が嫉妬深くなくて更にサブネットワークでないとするとあの指差しは言い伝える
事実2: もしも「千九百四十年代な」物があるとしたらあの製薬業界は握り潰すということはない
事実3: あの製薬業界は嫉妬深くない
事実4: この味は握り潰す
事実5: ひょろ長くない物は嫉妬深くなくてその上サブネットワークでない
事実6: もしもこの味は出会い易いなら「千九百四十年代でないしその上それは研磨ナイロンパッドだ」ということは成り立たない
事実7: 「「千九百四十年代でないけど研磨ナイロンパッドである」ということは事実と異なる」物があるとすればあの製薬業界は握り潰さない
事実8: この味は出会い易い
事実9: もし仮に「この味は出会い易いし言い伝える」ということは誤りであるとしたらあの指差しは言い伝えない
事実10: この水滴は握り潰さなくてそれは支店長印押捺依頼・押捺記録簿でない
事実11: あの製薬業界が握り潰さないとすればあの身体的疾患は握り潰さないしひょろ長いということはない

仮説: あの指差しは言い伝えない
1. 事実6と事実8から、推論1: "「この味は千九百四十年代でないけど研磨ナイロンパッドである」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「千九百四十年代でないし研磨ナイロンパッドである」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実7から、推論3: "あの製薬業界は握り潰さない"が導かれる
4. 推論3と事実11から、推論4: "あの身体的疾患は握り潰さないしそれはひょろ長くない"が導かれる
5. 推論4から、推論5: "あの身体的疾患はひょろ長くない"が導かれる
6. 事実5から、推論6: "もしもあの身体的疾患がひょろ長いということはないとすると嫉妬深くないしまたそれはサブネットワークでない"が導かれる
7. 推論5と推論6から、推論7: "あの身体的疾患は嫉妬深くないし更にサブネットワークでない"が導かれる
8. 推論7と事実1から、仮説が否定される

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