「その甍は気乗りするがしかし安堵し難くない」ということは成り立つということはない
fact1: もしある物は大后でないとすれば「それはバイオレットだし加えて書き易い」ということは成り立たない fact2: もしもこの博物館・美術館が売り始めないならばその甍は安堵し難くない一方でそれはＡＦＣである fact3: この茨は売り始めるということはない fact4: この博物館・美術館は売り始めるということはない fact5: この信用供与はスタートすらないがそれはＡＦＣである fact6: 仮になにがしかの物は憎たらしいとしたら「悪いということはないけど考え深い」ということは成り立たない fact7: もし仮にその巫女舞が母親らしくないとしたらこの博物館・美術館は大后でない fact8: 「その甍は気乗りするということはなくてまた悪いということはない」ということは成り立たないとすればそれは気乗りする fact9: もしその巫女舞が蝸牛設定でないとすればこの博物館・美術館は大后でない fact10: もし「とある物は悪くないがしかし考え深い」ということは間違いだとすると売り始めない fact11: 仮に「とあるものはバイオレットであるしかつ書き易い」ということは誤りならバイオレットでない fact12: もしもなんらかのものは売り始めないなら「それは気乗りするがしかし安堵し難くない」ということは成り立つということはない fact13: 「その巫女舞はスポーツマンらしいし加えてそれは清水課長だ」ということは嘘だ fact14: もしもその巫女舞が清水課長でないならば母親らしくないか蝸牛設定でないか両方ともだ fact15: もし「その巫女舞はスポーツマンらしいし更にそれは清水課長だ」ということは間違っているなら「清水課長でない」ということは事実だ fact16: 「その甍は気乗りしなくて加えてそれは悪いということはない」ということは成り立たない
fact2 & fact4 -> int1: その甍は安堵し難くない一方でＡＦＣだ; int1 -> int2: 「その甍は安堵し難くない」ということは成り立つ; fact16 & fact8 -> int3: その甍は気乗りする; int2 & int3 -> hypothesis;
「「その甍は気乗りするがしかし安堵し難くない」ということは成り立つ」ということは誤りだ
fact23 -> int4: その甍は売り始めないとすると「それは気乗りするし加えて安堵し難くない」ということは成り立たない; fact22 -> int5: もし仮に「その甍は悪くない一方で考え深い」ということは誤っているとしたらそれは売り始めるということはない; fact20 -> int6: 仮にその甍は憎たらしいとすれば「それは悪くないが考え深い」ということは成り立たない; fact21 -> int7: もしも「この博物館・美術館はバイオレットであるしそれは書き易い」ということは成り立つということはないならばバイオレットだということはない; fact17 -> int8: もしこの博物館・美術館は大后でないとすれば「それはバイオレットであるし書き易い」ということは嘘である; fact19 & fact25 -> int9: その巫女舞は清水課長でない; fact18 & int9 -> int10: その巫女舞は母親らしくないかもしくは蝸牛設定でないかまたは両方ともである; int10 & fact24 & fact26 -> int11: この博物館・美術館は大后であるということはない; int8 & int11 -> int12: 「この博物館・美術館はバイオレットであるししかも書き易い」ということは間違っている; int7 & int12 -> int13: この博物館・美術館はバイオレットでない; int13 -> int14: 「バイオレットでない」物はある;
$facts$ = fact1: もしある物は大后でないとすれば「それはバイオレットだし加えて書き易い」ということは成り立たない fact2: もしもこの博物館・美術館が売り始めないならばその甍は安堵し難くない一方でそれはＡＦＣである fact3: この茨は売り始めるということはない fact4: この博物館・美術館は売り始めるということはない fact5: この信用供与はスタートすらないがそれはＡＦＣである fact6: 仮になにがしかの物は憎たらしいとしたら「悪いということはないけど考え深い」ということは成り立たない fact7: もし仮にその巫女舞が母親らしくないとしたらこの博物館・美術館は大后でない fact8: 「その甍は気乗りするということはなくてまた悪いということはない」ということは成り立たないとすればそれは気乗りする fact9: もしその巫女舞が蝸牛設定でないとすればこの博物館・美術館は大后でない fact10: もし「とある物は悪くないがしかし考え深い」ということは間違いだとすると売り始めない fact11: 仮に「とあるものはバイオレットであるしかつ書き易い」ということは誤りならバイオレットでない fact12: もしもなんらかのものは売り始めないなら「それは気乗りするがしかし安堵し難くない」ということは成り立つということはない fact13: 「その巫女舞はスポーツマンらしいし加えてそれは清水課長だ」ということは嘘だ fact14: もしもその巫女舞が清水課長でないならば母親らしくないか蝸牛設定でないか両方ともだ fact15: もし「その巫女舞はスポーツマンらしいし更にそれは清水課長だ」ということは間違っているなら「清水課長でない」ということは事実だ fact16: 「その甍は気乗りしなくて加えてそれは悪いということはない」ということは成り立たない ; $hypothesis$ = 「その甍は気乗りするがしかし安堵し難くない」ということは成り立つということはない ; $proof$ = 
fact2 & fact4 -> int1: その甍は安堵し難くない一方でＡＦＣだ; int1 -> int2: 「その甍は安堵し難くない」ということは成り立つ; fact16 & fact8 -> int3: その甍は気乗りする; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしある物は大后でないとすれば「それはバイオレットだし加えて書き易い」ということは成り立たない
事実2: もしもこの博物館・美術館が売り始めないならばその甍は安堵し難くない一方でそれはＡＦＣである
事実3: この茨は売り始めるということはない
事実4: この博物館・美術館は売り始めるということはない
事実5: この信用供与はスタートすらないがそれはＡＦＣである
事実6: 仮になにがしかの物は憎たらしいとしたら「悪いということはないけど考え深い」ということは成り立たない
事実7: もし仮にその巫女舞が母親らしくないとしたらこの博物館・美術館は大后でない
事実8: 「その甍は気乗りするということはなくてまた悪いということはない」ということは成り立たないとすればそれは気乗りする
事実9: もしその巫女舞が蝸牛設定でないとすればこの博物館・美術館は大后でない
事実10: もし「とある物は悪くないがしかし考え深い」ということは間違いだとすると売り始めない
事実11: 仮に「とあるものはバイオレットであるしかつ書き易い」ということは誤りならバイオレットでない
事実12: もしもなんらかのものは売り始めないなら「それは気乗りするがしかし安堵し難くない」ということは成り立つということはない
事実13: 「その巫女舞はスポーツマンらしいし加えてそれは清水課長だ」ということは嘘だ
事実14: もしもその巫女舞が清水課長でないならば母親らしくないか蝸牛設定でないか両方ともだ
事実15: もし「その巫女舞はスポーツマンらしいし更にそれは清水課長だ」ということは間違っているなら「清水課長でない」ということは事実だ
事実16: 「その甍は気乗りしなくて加えてそれは悪いということはない」ということは成り立たない

仮説: 「その甍は気乗りするがしかし安堵し難くない」ということは成り立つということはない
1. 事実2と事実4から、推論1: "その甍は安堵し難くない一方でＡＦＣだ"が導かれる
2. 推論1から、推論2: "「その甍は安堵し難くない」ということは成り立つ"が導かれる
3. 事実16と事実8から、推論3: "その甍は気乗りする"が導かれる
4. 推論2と推論3から、仮説が否定される

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