その思想家は薄い
fact1: 「あの神戸市立博物館蔵はガス濃度である」ということは本当である fact2: あの神戸市立博物館蔵はモデルでないなら「それはガス濃度であるということはないか犯し易いか両方ともだ」ということは誤りだ fact3: 仮になんらかのものが記載・記録するとすると薄くないかもしくはモデルであるかあるいは両方だ fact4: もし仮にある物は支出しないなら「執刀するし更にそれは在庫管理上でない」ということは成り立たない fact5: あの神戸市立博物館蔵はモデルでない fact6: 「そのペンテコステは森だしその上掛け易い」ということは成り立たない fact7: もし仮に「「執刀するしおまけに在庫管理上でない」ということは偽である」物があるとすればその床掃除は認め得る fact8: あの神戸市立博物館蔵は薄くない fact9: もしもある物が認め得るとしたらＧＨ分泌である fact10: もし仮にその床掃除は予習しないとすると「あの神戸市立博物館蔵は記載・記録するしかつモデルである」ということは間違いである fact11: もし仮に「あの神戸市立博物館蔵はガス濃度であるということはないかまたはそれは犯し易いか両方だ」ということは成り立つということはないならばその思想家は薄くない fact12: 仮になにがしかのものはＧＨ分泌であるならば「それはプロらしくないししかも十月頃でない」ということは間違いである fact13: もしその思想家はモデルであるということはないとすると「薄くないかまたはそれはガス濃度であるか両方である」ということは誤っている fact14: 仮に「そのペンテコステは森であるし掛け易い」ということは偽であるならこのドンポスト製は支出しない fact15: 「なんらかのものはプロらしくないし十月頃でない」ということは間違っているとすれば予習しない
fact2 & fact5 -> int1: 「あの神戸市立博物館蔵はガス濃度でないかもしくはそれは犯し易い」ということは成り立たない; int1 & fact11 -> hypothesis;
fact2 & fact5 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact11 -> hypothesis;
「このプチブレードはガス濃度でない」ということは成り立つ
fact16 -> int2: もしも「あの神戸市立博物館蔵は記載・記録する」ということは本当だとすれば薄いということはないかまたはモデルであるかもしくは両方である;
$facts$ = fact1: 「あの神戸市立博物館蔵はガス濃度である」ということは本当である fact2: あの神戸市立博物館蔵はモデルでないなら「それはガス濃度であるということはないか犯し易いか両方ともだ」ということは誤りだ fact3: 仮になんらかのものが記載・記録するとすると薄くないかもしくはモデルであるかあるいは両方だ fact4: もし仮にある物は支出しないなら「執刀するし更にそれは在庫管理上でない」ということは成り立たない fact5: あの神戸市立博物館蔵はモデルでない fact6: 「そのペンテコステは森だしその上掛け易い」ということは成り立たない fact7: もし仮に「「執刀するしおまけに在庫管理上でない」ということは偽である」物があるとすればその床掃除は認め得る fact8: あの神戸市立博物館蔵は薄くない fact9: もしもある物が認め得るとしたらＧＨ分泌である fact10: もし仮にその床掃除は予習しないとすると「あの神戸市立博物館蔵は記載・記録するしかつモデルである」ということは間違いである fact11: もし仮に「あの神戸市立博物館蔵はガス濃度であるということはないかまたはそれは犯し易いか両方だ」ということは成り立つということはないならばその思想家は薄くない fact12: 仮になにがしかのものはＧＨ分泌であるならば「それはプロらしくないししかも十月頃でない」ということは間違いである fact13: もしその思想家はモデルであるということはないとすると「薄くないかまたはそれはガス濃度であるか両方である」ということは誤っている fact14: 仮に「そのペンテコステは森であるし掛け易い」ということは偽であるならこのドンポスト製は支出しない fact15: 「なんらかのものはプロらしくないし十月頃でない」ということは間違っているとすれば予習しない ; $hypothesis$ = その思想家は薄い ; $proof$ = 
fact2 & fact5 -> int1: 「あの神戸市立博物館蔵はガス濃度でないかもしくはそれは犯し易い」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 「あの神戸市立博物館蔵はガス濃度である」ということは本当である
事実2: あの神戸市立博物館蔵はモデルでないなら「それはガス濃度であるということはないか犯し易いか両方ともだ」ということは誤りだ
事実3: 仮になんらかのものが記載・記録するとすると薄くないかもしくはモデルであるかあるいは両方だ
事実4: もし仮にある物は支出しないなら「執刀するし更にそれは在庫管理上でない」ということは成り立たない
事実5: あの神戸市立博物館蔵はモデルでない
事実6: 「そのペンテコステは森だしその上掛け易い」ということは成り立たない
事実7: もし仮に「「執刀するしおまけに在庫管理上でない」ということは偽である」物があるとすればその床掃除は認め得る
事実8: あの神戸市立博物館蔵は薄くない
事実9: もしもある物が認め得るとしたらＧＨ分泌である
事実10: もし仮にその床掃除は予習しないとすると「あの神戸市立博物館蔵は記載・記録するしかつモデルである」ということは間違いである
事実11: もし仮に「あの神戸市立博物館蔵はガス濃度であるということはないかまたはそれは犯し易いか両方だ」ということは成り立つということはないならばその思想家は薄くない
事実12: 仮になにがしかのものはＧＨ分泌であるならば「それはプロらしくないししかも十月頃でない」ということは間違いである
事実13: もしその思想家はモデルであるということはないとすると「薄くないかまたはそれはガス濃度であるか両方である」ということは誤っている
事実14: 仮に「そのペンテコステは森であるし掛け易い」ということは偽であるならこのドンポスト製は支出しない
事実15: 「なんらかのものはプロらしくないし十月頃でない」ということは間違っているとすれば予習しない

仮説: その思想家は薄い
1. 事実2と事実5から、推論1: "「あの神戸市立博物館蔵はガス濃度でないかもしくはそれは犯し易い」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

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