そのシャーロッキアンは夜這い男である
fact1: あの開国は夏らしい fact2: もし仮になにかは七転八倒しないとしたらそれは夏らしいしかつそれは擽る fact3: あの隠者達は夏らしくない fact4: もし仮にあの会計分離が大熊ならばあのシャーロッキアンは夜這い男だ fact5: 「このメールサーバは提言すけど毒牙でない」ということは成り立つ fact6: そのシャーロッキアンは大熊だ fact7: そのシャーロッキアンは嫌味ったらしいがそれは合わせ易くない fact8: そのシャーロッキアンは夏らしくない fact9: もしそのシャーロッキアンが夏らしい一方でそれが与え難くないならば増殖出来ない fact10: そのシャーロッキアンは寅だが一週間当たりでない fact11: そのシャーロッキアンは簡略化する fact12: そのシャーロッキアンは並び立たない fact13: 仮にそのシャーロッキアンが大熊だ一方でそれが夏らしくないとすると夜這い男でない fact14: 「この高等生物は夏らしいということはない」ということは成り立つ fact15: もし仮にその輪状披裂関節は夜這い男であるけど提言すということはないとすればそれは行列しない fact16: その世界管理は夏らしいが低アルブミン血症でない fact17: もしも何らかの物は夏らしいなら「それは大熊であるがしかし夜這い男だということはない」ということは誤っている fact18: もしもこの階段下が厚かましいということはないしさらにそれが悔しいということはないならばそれは七転八倒しない fact19: そのシャーロッキアンは熱苦しい fact20: 仮にこの階段下が七転八倒しないとすれば夏らしいということはない fact21: この投機購買は夜這い男でない fact22: 仮にその貸し出し市場が厚かましいならばそれは七転八倒しない fact23: 「この階段下は擽るかあるいは大熊でないかもしくはどちらもである」ということは確かだということはないならあの会計分離は大熊である
fact6 & fact8 -> int1: そのシャーロッキアンは大熊だ一方で夏らしくない; int1 & fact13 -> hypothesis;
「その貸し出し市場は大熊だということはない」ということは事実である
fact24 -> int2: もしその貸し出し市場は夏らしいなら「大熊だが夜這い男でない」ということは成り立たない; fact26 -> int3: もし仮に「その貸し出し市場は七転八倒しない」ということは正しいなら夏らしいし擽る;
$facts$ = fact1: あの開国は夏らしい fact2: もし仮になにかは七転八倒しないとしたらそれは夏らしいしかつそれは擽る fact3: あの隠者達は夏らしくない fact4: もし仮にあの会計分離が大熊ならばあのシャーロッキアンは夜這い男だ fact5: 「このメールサーバは提言すけど毒牙でない」ということは成り立つ fact6: そのシャーロッキアンは大熊だ fact7: そのシャーロッキアンは嫌味ったらしいがそれは合わせ易くない fact8: そのシャーロッキアンは夏らしくない fact9: もしそのシャーロッキアンが夏らしい一方でそれが与え難くないならば増殖出来ない fact10: そのシャーロッキアンは寅だが一週間当たりでない fact11: そのシャーロッキアンは簡略化する fact12: そのシャーロッキアンは並び立たない fact13: 仮にそのシャーロッキアンが大熊だ一方でそれが夏らしくないとすると夜這い男でない fact14: 「この高等生物は夏らしいということはない」ということは成り立つ fact15: もし仮にその輪状披裂関節は夜這い男であるけど提言すということはないとすればそれは行列しない fact16: その世界管理は夏らしいが低アルブミン血症でない fact17: もしも何らかの物は夏らしいなら「それは大熊であるがしかし夜這い男だということはない」ということは誤っている fact18: もしもこの階段下が厚かましいということはないしさらにそれが悔しいということはないならばそれは七転八倒しない fact19: そのシャーロッキアンは熱苦しい fact20: 仮にこの階段下が七転八倒しないとすれば夏らしいということはない fact21: この投機購買は夜這い男でない fact22: 仮にその貸し出し市場が厚かましいならばそれは七転八倒しない fact23: 「この階段下は擽るかあるいは大熊でないかもしくはどちらもである」ということは確かだということはないならあの会計分離は大熊である ; $hypothesis$ = そのシャーロッキアンは夜這い男である ; $proof$ = 
fact6 & fact8 -> int1: そのシャーロッキアンは大熊だ一方で夏らしくない; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: あの開国は夏らしい
事実2: もし仮になにかは七転八倒しないとしたらそれは夏らしいしかつそれは擽る
事実3: あの隠者達は夏らしくない
事実4: もし仮にあの会計分離が大熊ならばあのシャーロッキアンは夜這い男だ
事実5: 「このメールサーバは提言すけど毒牙でない」ということは成り立つ
事実6: そのシャーロッキアンは大熊だ
事実7: そのシャーロッキアンは嫌味ったらしいがそれは合わせ易くない
事実8: そのシャーロッキアンは夏らしくない
事実9: もしそのシャーロッキアンが夏らしい一方でそれが与え難くないならば増殖出来ない
事実10: そのシャーロッキアンは寅だが一週間当たりでない
事実11: そのシャーロッキアンは簡略化する
事実12: そのシャーロッキアンは並び立たない
事実13: 仮にそのシャーロッキアンが大熊だ一方でそれが夏らしくないとすると夜這い男でない
事実14: 「この高等生物は夏らしいということはない」ということは成り立つ
事実15: もし仮にその輪状披裂関節は夜這い男であるけど提言すということはないとすればそれは行列しない
事実16: その世界管理は夏らしいが低アルブミン血症でない
事実17: もしも何らかの物は夏らしいなら「それは大熊であるがしかし夜這い男だということはない」ということは誤っている
事実18: もしもこの階段下が厚かましいということはないしさらにそれが悔しいということはないならばそれは七転八倒しない
事実19: そのシャーロッキアンは熱苦しい
事実20: 仮にこの階段下が七転八倒しないとすれば夏らしいということはない
事実21: この投機購買は夜這い男でない
事実22: 仮にその貸し出し市場が厚かましいならばそれは七転八倒しない
事実23: 「この階段下は擽るかあるいは大熊でないかもしくはどちらもである」ということは確かだということはないならあの会計分離は大熊である

仮説: そのシャーロッキアンは夜這い男である
1. 事実6と事実8から、推論1: "そのシャーロッキアンは大熊だ一方で夏らしくない"が導かれる
2. 推論1と事実13から、仮説が否定される

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