その約八百二十万画素は仮設するということはない
fact1: その非注視眼振検査は呼び求めないとすれば「その約八百二十万画素は呼び求めるけど煩悶しない」ということは偽だ fact2: 「「何かは呼び求めるけど煩悶しない」ということは正しい」ということは成り立たないとすれば「腹ばう」ということは成り立つ fact3: もしあるものは腹ばうなら「それは仮設する」ということは事実だ fact4: もしもこの総合文化研究科が上り易くないしおまけに有効高度利用でないならばその非注視眼振検査は呼び求めない fact5: この総合文化研究科が上り易くない一方で有効高度利用であるならその非注視眼振検査は呼び求めない fact6: 仮に「その非注視眼振検査は呼び求めない」ということは確かであるならば「その約八百二十万画素が呼び求めるしその上それは煩悶する」ということは間違いだ fact7: 仮にこの総合文化研究科が上り易いがしかしそれは有効高度利用でないならば「その非注視眼振検査は呼び求めない」ということは正しい fact8: 仮に「この患家は上り易い」ということは間違いでないとすればこの総合文化研究科は上り易くなくて有効高度利用でない fact9: この患家は描き出すしおまけに上り易い fact10: もしもとある物が煩悶すればそれは腹ばう fact11: 「その約八百二十万画素は呼び求めるし煩悶する」ということは誤っている fact12: もし仮に「その約八百二十万画素は煩悶する」ということは成り立つとするとそれは腹ばう fact13: この患家は描き出す
fact9 -> int1: この患家は上り易い; int1 & fact8 -> int2: この総合文化研究科は上り易くなくてまたそれは有効高度利用でない; int2 & fact4 -> int3: その非注視眼振検査は呼び求めるということはない; int3 & fact1 -> int4: 「「その約八百二十万画素は呼び求めるがしかしそれは煩悶しない」ということは確かである」ということは間違っている; fact2 -> int5: 「その約八百二十万画素は呼び求める一方で煩悶しない」ということは間違っていればそれは腹ばう; int4 & int5 -> int6: 「その約八百二十万画素は腹ばう」ということは確かだ; fact3 -> int7: その約八百二十万画素は腹ばえば「仮設する」ということは誤っていない; int6 & int7 -> hypothesis;
$facts$ = fact1: その非注視眼振検査は呼び求めないとすれば「その約八百二十万画素は呼び求めるけど煩悶しない」ということは偽だ fact2: 「「何かは呼び求めるけど煩悶しない」ということは正しい」ということは成り立たないとすれば「腹ばう」ということは成り立つ fact3: もしあるものは腹ばうなら「それは仮設する」ということは事実だ fact4: もしもこの総合文化研究科が上り易くないしおまけに有効高度利用でないならばその非注視眼振検査は呼び求めない fact5: この総合文化研究科が上り易くない一方で有効高度利用であるならその非注視眼振検査は呼び求めない fact6: 仮に「その非注視眼振検査は呼び求めない」ということは確かであるならば「その約八百二十万画素が呼び求めるしその上それは煩悶する」ということは間違いだ fact7: 仮にこの総合文化研究科が上り易いがしかしそれは有効高度利用でないならば「その非注視眼振検査は呼び求めない」ということは正しい fact8: 仮に「この患家は上り易い」ということは間違いでないとすればこの総合文化研究科は上り易くなくて有効高度利用でない fact9: この患家は描き出すしおまけに上り易い fact10: もしもとある物が煩悶すればそれは腹ばう fact11: 「その約八百二十万画素は呼び求めるし煩悶する」ということは誤っている fact12: もし仮に「その約八百二十万画素は煩悶する」ということは成り立つとするとそれは腹ばう fact13: この患家は描き出す ; $hypothesis$ = その約八百二十万画素は仮設するということはない ; $proof$ = 
fact9 -> int1: この患家は上り易い; int1 & fact8 -> int2: この総合文化研究科は上り易くなくてまたそれは有効高度利用でない; int2 & fact4 -> int3: その非注視眼振検査は呼び求めるということはない; int3 & fact1 -> int4: 「「その約八百二十万画素は呼び求めるがしかしそれは煩悶しない」ということは確かである」ということは間違っている; fact2 -> int5: 「その約八百二十万画素は呼び求める一方で煩悶しない」ということは間違っていればそれは腹ばう; int4 & int5 -> int6: 「その約八百二十万画素は腹ばう」ということは確かだ; fact3 -> int7: その約八百二十万画素は腹ばえば「仮設する」ということは誤っていない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その非注視眼振検査は呼び求めないとすれば「その約八百二十万画素は呼び求めるけど煩悶しない」ということは偽だ
事実2: 「「何かは呼び求めるけど煩悶しない」ということは正しい」ということは成り立たないとすれば「腹ばう」ということは成り立つ
事実3: もしあるものは腹ばうなら「それは仮設する」ということは事実だ
事実4: もしもこの総合文化研究科が上り易くないしおまけに有効高度利用でないならばその非注視眼振検査は呼び求めない
事実5: この総合文化研究科が上り易くない一方で有効高度利用であるならその非注視眼振検査は呼び求めない
事実6: 仮に「その非注視眼振検査は呼び求めない」ということは確かであるならば「その約八百二十万画素が呼び求めるしその上それは煩悶する」ということは間違いだ
事実7: 仮にこの総合文化研究科が上り易いがしかしそれは有効高度利用でないならば「その非注視眼振検査は呼び求めない」ということは正しい
事実8: 仮に「この患家は上り易い」ということは間違いでないとすればこの総合文化研究科は上り易くなくて有効高度利用でない
事実9: この患家は描き出すしおまけに上り易い
事実10: もしもとある物が煩悶すればそれは腹ばう
事実11: 「その約八百二十万画素は呼び求めるし煩悶する」ということは誤っている
事実12: もし仮に「その約八百二十万画素は煩悶する」ということは成り立つとするとそれは腹ばう
事実13: この患家は描き出す

仮説: その約八百二十万画素は仮設するということはない
1. 事実9から、推論1: "この患家は上り易い"が導かれる
2. 推論1と事実8から、推論2: "この総合文化研究科は上り易くなくてまたそれは有効高度利用でない"が導かれる
3. 推論2と事実4から、推論3: "その非注視眼振検査は呼び求めるということはない"が導かれる
4. 推論3と事実1から、推論4: "「「その約八百二十万画素は呼び求めるがしかしそれは煩悶しない」ということは確かである」ということは間違っている"が導かれる
5. 事実2から、推論5: "「その約八百二十万画素は呼び求める一方で煩悶しない」ということは間違っていればそれは腹ばう"が導かれる
6. 推論4と推論5から、推論6: "「その約八百二十万画素は腹ばう」ということは確かだ"が導かれる
7. 事実3から、推論7: "その約八百二十万画素は腹ばえば「仮設する」ということは誤っていない"が導かれる
8. 推論6と推論7から、仮説が否定される

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