その未指定は骨幹端だということはなくて想像し易くない
fact1: 「「あの次頁参照は長たらしいということはないけど骨幹端だ」ということは成り立たない」ということは真実だ fact2: 長たらしいということはない物は骨幹端でない fact3: この評定尺度は良しし悲鳴染みる fact4: 「その未指定はホールドイングでなくて食い止めるということはない」ということは偽だ fact5: あの次頁参照は長たらしいし加えてそれは悲鳴染みる fact6: 「その未指定は長たらしくないしその上骨幹端でない」ということは嘘だ fact7: 仮にその不染汚は骨幹端でないならば「その未指定が骨幹端だということはないしさらに想像し易いということはない」ということは誤りである fact8: 「もし仮に「あの次頁参照は悲鳴染みる」ということは間違いならば「その未指定は悲鳴染みるが想像し易いということはない」ということは誤りである」ということは誤りでない fact9: 「あの次頁参照は持ち逃げしないしぎこちないということはない」ということは成り立たない fact10: もしもその未指定が悲鳴染みないならそれは医療スタッフでない fact11: 「あの次頁参照は長たらしくないし想像し易いということはない」ということは成り立たない fact12: もしその不染汚はホールドイングでないなら「あの次頁参照はホールドイングでないが骨幹端だ」ということは偽だ fact13: 仮にその不染汚が長たらしくないならばホールドイングであるということはない fact14: もし何かはホールドイングでないとしたら骨幹端でない fact15: あの次頁参照は長たらしいし悲鳴染みるなら「その不染汚はホールドイングであるということはない」ということは間違いでない fact16: この女性科学者は想像し易い fact17: 「その未指定は想像し易いけれどすーごいない」ということは誤りだ fact18: 「その不染汚はホールドイングだということはないけれどそれは悲鳴染みる」ということは誤りだ fact19: もし仮になんらかのものは秋田蘭画でないならばきらめかない fact20: 仮に「あの次頁参照はホールドイングであるしその上それは長たらしい」ということは成り立つとすればその不染汚は骨幹端でない
fact15 & fact5 -> int1: 「その不染汚はホールドイングでない」ということは成り立つ; fact14 -> int2: もしその不染汚はホールドイングでないならそれは骨幹端でない; int1 & int2 -> int3: その不染汚は骨幹端でない; int3 & fact7 -> hypothesis;
fact15 & fact5 -> int1: ¬{B}{b}; fact14 -> int2: ¬{B}{b} -> ¬{A}{b}; int1 & int2 -> int3: ¬{A}{b}; int3 & fact7 -> hypothesis;
$facts$ = fact1: 「「あの次頁参照は長たらしいということはないけど骨幹端だ」ということは成り立たない」ということは真実だ fact2: 長たらしいということはない物は骨幹端でない fact3: この評定尺度は良しし悲鳴染みる fact4: 「その未指定はホールドイングでなくて食い止めるということはない」ということは偽だ fact5: あの次頁参照は長たらしいし加えてそれは悲鳴染みる fact6: 「その未指定は長たらしくないしその上骨幹端でない」ということは嘘だ fact7: 仮にその不染汚は骨幹端でないならば「その未指定が骨幹端だということはないしさらに想像し易いということはない」ということは誤りである fact8: 「もし仮に「あの次頁参照は悲鳴染みる」ということは間違いならば「その未指定は悲鳴染みるが想像し易いということはない」ということは誤りである」ということは誤りでない fact9: 「あの次頁参照は持ち逃げしないしぎこちないということはない」ということは成り立たない fact10: もしもその未指定が悲鳴染みないならそれは医療スタッフでない fact11: 「あの次頁参照は長たらしくないし想像し易いということはない」ということは成り立たない fact12: もしその不染汚はホールドイングでないなら「あの次頁参照はホールドイングでないが骨幹端だ」ということは偽だ fact13: 仮にその不染汚が長たらしくないならばホールドイングであるということはない fact14: もし何かはホールドイングでないとしたら骨幹端でない fact15: あの次頁参照は長たらしいし悲鳴染みるなら「その不染汚はホールドイングであるということはない」ということは間違いでない fact16: この女性科学者は想像し易い fact17: 「その未指定は想像し易いけれどすーごいない」ということは誤りだ fact18: 「その不染汚はホールドイングだということはないけれどそれは悲鳴染みる」ということは誤りだ fact19: もし仮になんらかのものは秋田蘭画でないならばきらめかない fact20: 仮に「あの次頁参照はホールドイングであるしその上それは長たらしい」ということは成り立つとすればその不染汚は骨幹端でない ; $hypothesis$ = その未指定は骨幹端だということはなくて想像し易くない ; $proof$ = 
fact15 & fact5 -> int1: 「その不染汚はホールドイングでない」ということは成り立つ; fact14 -> int2: もしその不染汚はホールドイングでないならそれは骨幹端でない; int1 & int2 -> int3: その不染汚は骨幹端でない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 「「あの次頁参照は長たらしいということはないけど骨幹端だ」ということは成り立たない」ということは真実だ
事実2: 長たらしいということはない物は骨幹端でない
事実3: この評定尺度は良しし悲鳴染みる
事実4: 「その未指定はホールドイングでなくて食い止めるということはない」ということは偽だ
事実5: あの次頁参照は長たらしいし加えてそれは悲鳴染みる
事実6: 「その未指定は長たらしくないしその上骨幹端でない」ということは嘘だ
事実7: 仮にその不染汚は骨幹端でないならば「その未指定が骨幹端だということはないしさらに想像し易いということはない」ということは誤りである
事実8: 「もし仮に「あの次頁参照は悲鳴染みる」ということは間違いならば「その未指定は悲鳴染みるが想像し易いということはない」ということは誤りである」ということは誤りでない
事実9: 「あの次頁参照は持ち逃げしないしぎこちないということはない」ということは成り立たない
事実10: もしもその未指定が悲鳴染みないならそれは医療スタッフでない
事実11: 「あの次頁参照は長たらしくないし想像し易いということはない」ということは成り立たない
事実12: もしその不染汚はホールドイングでないなら「あの次頁参照はホールドイングでないが骨幹端だ」ということは偽だ
事実13: 仮にその不染汚が長たらしくないならばホールドイングであるということはない
事実14: もし何かはホールドイングでないとしたら骨幹端でない
事実15: あの次頁参照は長たらしいし悲鳴染みるなら「その不染汚はホールドイングであるということはない」ということは間違いでない
事実16: この女性科学者は想像し易い
事実17: 「その未指定は想像し易いけれどすーごいない」ということは誤りだ
事実18: 「その不染汚はホールドイングだということはないけれどそれは悲鳴染みる」ということは誤りだ
事実19: もし仮になんらかのものは秋田蘭画でないならばきらめかない
事実20: 仮に「あの次頁参照はホールドイングであるしその上それは長たらしい」ということは成り立つとすればその不染汚は骨幹端でない

仮説: その未指定は骨幹端だということはなくて想像し易くない
1. 事実15と事実5から、推論1: "「その不染汚はホールドイングでない」ということは成り立つ"が導かれる
2. 事実14から、推論2: "もしその不染汚はホールドイングでないならそれは骨幹端でない"が導かれる
3. 推論1と推論2から、推論3: "その不染汚は骨幹端でない"が導かれる
4. 推論3と事実7から、仮説が否定される

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